Skip to main content
SpringerLink
Log in
Book cover

Künstliche Intelligenz pp 255–264Cite as

Mehrwertige Funktionen als Alternative zu Prädikaten

  • Conference paper

  • 117 Accesses

Part of the book series: Informatik-Fachberichte ((2252,volume 181))

Zusammenfassung

Eine aktuelle Tendenz auf dem Gebiet der KI-Sprachen ist die Integration logischer und funktionaler Konzepte. LISPLOG [BeDaMe], LOGLISP [RoSi], FRESH [Sm] und QUTE [SaSa] seien hier exemplarisch genannt; einen überblick über eine größere Auswahl einschlägiger Modelle liefert [DeLi]. In der vorliegenden Arbeit wird die Sprache FPS (funktionale Pro- duktionssysteme) vorgestellt, die auf der Basis mehrwertiger Funktionen die Vorteile kon- ventioneller Funktionen mit dem Nichtdeterminismus von Prädikaten vereinigt und kom- pakte Programmierung auf der Grundlage eines einfachen, neuen Formalismus ermöglicht. Mehrwertigkeit ist hierbei so zu verstehen, daß ein Funktionsaufruf eine Ergebnis menge (oder synonym: formale Sprache) anstelle eines einzelnen Ergebnisses liefert.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. A. Bernardi, M. Dahmen, M. Meyer: LISPLOG Benutzerhandbuch. SEKI-Working-Pa- per 87–01, Fachbereich Informatik, Universität Kaiserslautern 1987

    Google Scholar 

  2. A. Colmerauer: Metamorphosis grammars. In: Natural language communication with computers (Ed: L. Bolc), Springer LNCS 63, Berlin 1978

    Google Scholar 

  3. D. DeGroot, G. Lindstrom (Eds): Logic programming: functions, relations and equations. Prentice-Hall, Englewood Cliffs, New Jersey 1986

    MATH  Google Scholar 

  4. M.J. Fischer: Grammars with macro-like produktions. Proc 9th IEEE Conference on Switching and Automata Theory 1968

    Google Scholar 

  5. J.A. Goguen, J. Meseguer: Equality, types, moduls and generics for logic programming. Proc. 2nd International Logic Programming Conference, Uppsala 1984

    Google Scholar 

  6. B. Kremmer: Ein funktionales Produktionssystem zur Beschreibung der englischen Syntax. Diplomarbeit, Inst. f. Informatik u. prakt. Math., Christian-Albrechts-Universität Kiel 1987

    Google Scholar 

  7. K. Oesterle: Eine Implementierung funktionaler Produktionssysteme in der Programmiersprache Simula an der Siemens-Anlage 7.760. Diplomarbeit, Institut für Informatik und praktische Mathematik, Christian-Albrechts-Universität Kiel 1986

    Google Scholar 

  8. F.C.N. Pereira, D.H.D. Warren: Definite clause grammars for language analysis — a survey of the formalism and a comparison with augmented transition networks. Artificial Intelligence 13 1980

    Google Scholar 

  9. J.A. Robinson, E.E. Sibert: Loglisp: an alternative to Prolog. Machine Intelligence 10, Ellis Horwood Ltd., Chichester 1982

    Google Scholar 

  10. M. Sato, T. Sakurai: Qute — a Prolog/Lisp type language for logic programming. Proc. 8th IJCAI 1983

    Google Scholar 

  11. G. Smolka: FRESH: A higher-order language based on unification. In [DeLi]

    Google Scholar 

  12. A. van Wijngaarden: Orthogonal design and description of formal language. MR76, Mathematisch Centrum Amsterdam 1965

    Google Scholar 

  13. Th. Wilmes: Funktionale Grammatiken — ein universelles Spezifikationsmittel. Dissertation, Abteilung Informatik, Universität Dortmund, Bericht 164 1983

    Google Scholar 

  14. Th. Wilmes: A unification of functional and logic programming based on many-valued functions. Bericht 8716, Inst. f. Informatik u. prakt. Math., Christian-Albrechts-Uni Kiel 1987

    Google Scholar 

  15. Th. Wilmes: Funktionale Produktionssysteme und ihre Anwendung in der Linguistik. Bericht 8720, Inst. f. Informatik u. prakt. Math., Christian-Albrechts-Universität Kiel 1987

    Google Scholar 

  16. K. Wolff: Eine Implementierung funktionaler Produktionssysteme in Pascal auf einem Personal Computer. Diplomarbeit, Institut für Informatik u. praktische Mathematik, Christian-Albrechts-Universität Kiel 1987

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik und praktische Mathematik, Christian-Albrechts-Universität Kiel, Deutschland

    Thomas Wilmes

Authors
  1. Thomas Wilmes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Informatik - WISBER, Universität Hamburg, Postfach 302762, D-2000, Hamburg 36, Deutschland

    Wolfgang Hoeppner

  2. EWH Koblenz, Rheinau 3-4, D-5400, Koblenz, Deutschland

    Wolfgang Hoeppner

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wilmes, T. (1988). Mehrwertige Funktionen als Alternative zu Prädikaten. In: Hoeppner, W. (eds) Künstliche Intelligenz. Informatik-Fachberichte, vol 181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74064-0_28

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-74064-0_28

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50293-7

  • Online ISBN: 978-3-642-74064-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation