V. Wiktor Marek, Miroslaw Truszczynski

Nonmonotonic Logic (eBook, PDF)

Context-Dependent Reasoning

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 420
• Erscheinungstermin: 14. März 2013
• Englisch
• ISBN-13: 9783662029060
• Artikelnr.: 53149112

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.