Zusammenfassung
Kein anderes Gebiet im gesamten Bereich der Deduktions- und Inferenzsysteme ist so erfolgreich in praktische Anwendungen vorgedrungen wie das logische Programmieren. Beim klassischen logischen Programmieren handelt es sich um einen normalen Resolutionskalkül mit einer syntaktisch sehr einfach zu charakterisierenden Restriktion: Es werden nur Hornklauseln zugelassen, das sind Klauseln, die höchstens ein nicht-negiertes Literal enthalten. Hornklauseln entsprechen Regeln, die in ihrem Bedingungsteil nur Atome enthalten und deren Folgerungsteil aus höchstens einem Atom besteht. Diese Restriktion hat weitreichende Folgen für die Ableitungsmöglichkeiten und die dabei erzielbare Effizienz, aber auch auf das Antwortverhalten. Bei einem Inferenzsystem, das auf einem allgemeinen PL1-Kalkül basiert, können wir im Prinzip nur eine der drei folgenden Antworten erhalten: “Ja”, “Nein”, “Ich weiß nicht”, wobei die dritte Möglichkeit einer nicht terminierenden, unendlichen Ableitung entspricht. Beim klassischen logischen Programmieren sind alle Anfragen, die man an das Inferenzsystem stellt, existentiell quantifizierte Anfragen und die Antworten im positiven Fall sehr viel informativer als nur “Ja ”. Solche Anfragen werden nämlich konstruktiv im Sinne von “Ja, und zwar gilt dies für ... ” beantwortet.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2003 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Beierle, C., Kern-Isberner, G. (2003). Logisches Programmieren und Anwortmengen. In: Methoden wissensbasierter Systeme. Computational Intelligence. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-663-05681-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-663-05681-2_9
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-528-15723-4
Online ISBN: 978-3-663-05681-2
eBook Packages: Springer Book Archive