Nonmonotonic Logic

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.

0 e This monograph gives the first comprehensive and rigorous presentation of default logic and modal nonmonotonic logics, and discusses their connections to each other and to logic programming. Addressed to the Artificial Intelligence community, it sets new standards of scholarship, elegance, and unity of perspective in the field.

Contenu
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.