Nonmonotonic Logic: Context-Dependent Reasoning / Edition 1

Nonmonotonic Logic: Context-Dependent Reasoning / Edition 1

ISBN-10:
3540564489
ISBN-13:
9783540564485
Pub. Date:
12/16/1993
Publisher:
Springer Berlin Heidelberg
ISBN-10:
3540564489
ISBN-13:
9783540564485
Pub. Date:
12/16/1993
Publisher:
Springer Berlin Heidelberg
Nonmonotonic Logic: Context-Dependent Reasoning / Edition 1

Nonmonotonic Logic: Context-Dependent Reasoning / Edition 1

Hardcover

$169.99 Current price is , Original price is $169.99. You
$169.99 
  • SHIP THIS ITEM
    Qualifies for Free Shipping
  • PICK UP IN STORE
    Check Availability at Nearby Stores

Overview

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.


Product Details

ISBN-13: 9783540564485
Publisher: Springer Berlin Heidelberg
Publication date: 12/16/1993
Series: Artificial Intelligence
Edition description: 1993
Pages: 420
Product dimensions: 6.10(w) x 9.25(h) x 0.04(d)

Table of Contents

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.

From the B&N Reads Blog

Customer Reviews