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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Beierle, C., Kern-Isberner, G. (2014). Logisches Programmieren und Anwortmengen. In: Methoden wissensbasierter Systeme. Computational Intelligence. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-8348-2300-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-8348-2300-7_9
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-8348-1896-6
Online ISBN: 978-3-8348-2300-7
eBook Packages: Computer Science and Engineering (German Language)