Nonmonotonic logics were created as an abstraction of some types of common sense reasoning, analogous to the way classical logic serves to formalize ideal reasoning about mathematical objects. These logics are nonmonotonic in the sense that enlarging the set of axioms does not necessarily imply an enlargement of the set of formulas deducible from these axioms. Such situations arise naturally, for example, in the use of information of different degrees of reliability.
This book emphasizes basic concepts by outlining connections between different formalisms of nonmonotonic logic, and gives a coherent presentation of recent research results and reasoning techniques. It provides a self-contained state-of-the-art survey of the area addressing researchers in AI lo

Keywords

Bibliographic Information

Book Title: Nonmonotonic Logics
Book Subtitle: Basic Concepts, Results, and Techniques
Editors: Karl Schlechta
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/BFb0021104
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1997
Softcover ISBN: 978-3-540-62482-0Published: 15 January 1997
eBook ISBN: 978-3-540-49736-3Published: 13 November 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: IX, 246
Topics: Artificial Intelligence, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Editors:

Sections

Buy it now

Buying options

Other ways to access

Table of contents (6 chapters)

Front Matter

Introduction

Preferential structures and related logics

Defaults as generalized quantifiers

Logic and analysis

Theory revision and probability

Structured reasoning

Back Matter

About this book