Mohlo by sa vám tiež páčiť

Viac informácií o knihe Nonmonotonic Logic

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 494 bodov

Anotácia knihy

This monograph provides a thorough analysis of two important§formalisms for nonmonotonic reasoning: default logic and§modal nonmonotonic logics. It is also shown how they are§related to each other and how they provide the formal§foundations for logic programming. The discussion is§rigorous, and all main results are formally proved. Many of§the results are deep and surprising, some of them previously§unpublished.§The book has three parts, on default logic, modal§nonmonotonic logics, and connections and complexity issues,§respectively. The study of general default logic is followed§by a discussion of normal default logic and its connections§to the closed world assumption, and also a presentation of§related aspects of logic programming. The general theory of§the family of modal nonmonotonic logics introduced by§McDermott and Doyle is followed by studies of autoepistemic§logic, the logic of reflexive knowledge, and the logic of§pure necessitation, and also a short discussion of§algorithms for computing knowledge and belief sets. The§third part explores connections between default logic and§modal nonmonotonic logics and contains results on the§complexity of nonmonotonic reasoning.§The ideas are presented with an elegance and unity of§perspective that set a new standard of scholarship for books§in this area, and the work indicates that the field has§reached a very high level of maturity and sophistication.§The book is intended as a reference on default logic,§nonmonotonic logics, and related computational issues, and§is addressed to researchers, programmers, and graduate§students in the Artificial Intelligence community.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Mathematics Mathematical foundations

• Celý názov: Nonmonotonic Logic
• Podnázov: Context-Dependent Reasoning
• Autor: V. Wiktor Marek, Miroslaw Truszczynski, R. Reiter
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 420
• EAN: 9783662029084
• ISBN: 3662029081
• ID: 02007904
• Nakladateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Hmotnosť: 670 g
• Rozmery: 235 × 155 × 24 mm
• Dátum vydania: 03. November 1993

Obľúbené z iného súdka

---

---

---