Nonmonotonic Logic: Context-Dependent Reasoning (Artificial Intelligence)

Marek, V. Wiktor Wiktor; Truszczynski, Miroslaw

ISBN 10: 3662029081 / ISBN 13: 9783662029084

Published by Springer, 2012

About this Item

Seller Inventory # ABLIING23Mar3113020308490

Bibliographic Details

• Title: Nonmonotonic Logic: Context-Dependent Reasoning (Artificial Intelligence)
• Publisher: Springer
• Publication Date: 2012
• Language: English
• ISBN 10: 3662029081
• ISBN 13: 9783662029084
• Binding: Soft cover
• Condition: New

About this title

Synopsis

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.

Product Description

Nonmonotonic Logic 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 wor...