Victor W. Marek, Miroslaw Truszczynski

Nonmonotonic Logic

Context-Dependent Reasoning

• Gebundenes Buch

Produktbeschreibung

Diese Monographie behandelt die beiden wichtigsten logischen Systeme für nichtmonotones Schließen sowie ihre Beziehungen zueinander und ihre grundlegende Bedeutung für die logische Programmierung. Viele Ergebnisse sind tiefliegend und überraschend, z.T. bisher unveröffentlicht. Die mathematische Strenge und Eleganz sowie die Einheitlichkeit der Darstellung setzen neue Maßstäbe für die Literatur der Künstlichen Intelligenz.

Produktdetails

• Artificial Intelligence
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-56448-5
• 1993.
• Seitenzahl: 440
• Erscheinungstermin: 3. November 1993
• Englisch
• Abmessung: 241mm x 160mm x 29mm
• Gewicht: 762g
• ISBN-13: 9783540564485
• ISBN-10: 3540564489
• Artikelnr.: 23248819

Inhaltsangabe

1 Introduction.- 2 Rudiments of logic and set theory.- 3 General default theories.- 4 Normal default theories.- 5 Representation theory for default logic.- 6 Logic programming and nonmonotonic reasoning.- 7 Modal logic.- 8 Stable theories.- 9 Modal nonmonotonic logics.- 10 Nonmonotonic logic of pure necessitation and autoepistemic logics.- 11 Topics in modal nonmonotonic logic.- 12 Relations among nonmonotonic formalisms.- 13 Complexity of some forms of nonmonotonic reasoning.- References.