ENGLISH

Nonmonotonic Logics: Basic Concepts, Results, and Techniques

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1997
ISBN
3540624821, 9783540624820
DOI
10.1007/BFb0021104
LCC
Q339 .S35 1997
Open Library ID
OL991642M
Language
english
Format
DJVU
Filesize
3 MB (2716800 bytes)
Series
Lecture Notes in Computer Science 1187 : Lecture Notes in Artificial Intelligence
Edition
1
Pages
246\248
Topic
Mathematics Logic
Library
Kolxo3
DPI
300
Time added
2011-01-06 10:13:16

Description

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

Similar books