Zusammenfassung
WIR HABEN EINIGE ASPEKTE des Prädikatenkalküls erster Stufe als Sprache zur deklarativen Wissensrepräsentation in KI-Systemen kennengelernt. Den Prädikatenkalkül können wir zur Darstellung jeder beliebigen Konzeptualisierung verwenden, die auf Objekten und deren Relationen in der Diskurswelt basiert. Mit dem, was uns bis jetzt zur Verfügung steht, können wir uns die Arbeitsweise eines typischen KI-Systems, das die Logik erster Stufe verwendet, folgendermaßen vorstellen: Die Informationen des Systems über das Anwendungsgebiet sind als endliche Formelmenge erster Stufe A repräsentiert. Wir nennen A die Basismenge der Überzeugungen des Systems. Zur Beantwortung von Fragen oder zur Ausführung passender Aktionen muß das System normalerweise entscheiden, ob aus seinen Überzeugungen eine Formel ∅ logisch folgt oder nicht. Dies können wir uns so vorstellen, daß das System diese Entscheidung durch logische Deduktionen über Δ durchführt, zum Beispiel durch eine Resolution der Klauselform der Formel Δ Λ ¬∅. (Unsere Notation ist hierbei vereinfacht: Δ steht auch stellvertretend für die Konjunktion von Formeln aus der Menge Δ).
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
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1989 Friedr. Vieweg & Sohn Verlagsgesellschaft mbH, Braunschweig
About this chapter
Cite this chapter
Genesereth, M.R., Nilsson, N.J. (1989). Nicht-Monotones Schliessen. In: Tarnowski, M. (eds) Logische Grundlagen der Künstlichen Intelligenz. Artificial Intelligence / Künstliche Intelligenz. Vieweg+Teubner Verlag. https://doi.org/10.1007/978-3-322-92881-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-322-92881-8_6
Publisher Name: Vieweg+Teubner Verlag
Print ISBN: 978-3-528-04638-5
Online ISBN: 978-3-322-92881-8
eBook Packages: Springer Book Archive