Zusammenfassung
Die Logik regelt, welche Schlüsse über einer vorgegebenen Repräsentation unter welchen Bedingungen als zulässig (weil wahrheitserhaltend) einzustufen sind. Sie beschäftigt sich mit der Bedeutung von Repräsentationen. Daneben spielt jedoch—wie wir im vorausgehenden Kapitel an der Geschichte der KI-Sprachen gesehen haben—auch jene Frage eine entscheidende Rolle, ob (und wenn ja wie) ein logischer Kalkül effizient genutzt werden kann, wie sich also steuern läßt, wann aus der Fülle logisch zulässiger Schlüsse über einer Repräsentation welcher Schluß gezogen werden soll.
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
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Beckstein, C. (1988). Logik-Programmierung. In: Zur Logik der Logik-Programmierung. Informatik-Fachberichte, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74403-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-74403-7_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-50720-8
Online ISBN: 978-3-642-74403-7
eBook Packages: Springer Book Archive