Nonmonotonic Reasoning: An Overview - Rilegato

Brewka, Gerhard; Dix, Jürgen; Konolige, Kurt

 
9781881526841: Nonmonotonic Reasoning: An Overview

Sinossi

Nonmonotonic reasoning in its broadest sense is reasoning to conclusions on the basis of incomplete information. Given more information, previously drawn inferences may be retracted. Commonsense reasoning has a nonmonotonic component; it has been argued that almost all commonsense inferences are of this sort. From the end of the 1980s to the present there has been an explosion in research in nonmonotonic reasoning. It is now possible to understand more clearly the properties of the major formalisms from a metatheoretical point of view, the relationships among the formalisms and their connection to independently developed proof methods. The goal of this monograph is to make this understanding more accessible.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Descrizione del libro

Nonmonotonic reasoning in its broadest sense is reasoning to conclusions on the basis of incomplete information. It is now possible to understand more clearly the properties of the major formalisms from a metatheoretical point of view, the relationships among the formalisms and their connection to independently developed proof methods. The goal of this monograph is to make this understanding more accessible.

Contenuti

1. Introduction; 2. Preference logics; 3. Nonmonotonic inference relations; 4. Consistency based logics; 5. Abduction; 6. Semantics for logic programs with negation; 7. Nonmonotonicity in logic programming.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Altre edizioni note dello stesso titolo

9781881526834: Nonmonotonic Reasoning: An Overview

Edizione in evidenza

ISBN 10:  1881526836 ISBN 13:  9781881526834
Casa editrice: The Center for the Study of Lang..., 1996
Brossura