Nonmonotonic reasoning : an overview
著者
書誌事項
Nonmonotonic reasoning : an overview
(CSLI lecture notes, no. 73)
CSLI Publications, c1997
- : hbk
- : pbk
大学図書館所蔵 件 / 全27件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. 145-173
Includes index
内容説明・目次
内容説明
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.
目次
- 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.
「Nielsen BookData」 より