Non-monotonic reasoning and partial semantics
著者
書誌事項
Non-monotonic reasoning and partial semantics
(Ellis Horwood series in artificial intelligence)
Ellis Horwood, 1992
大学図書館所蔵 件 / 全11件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
Includes bibliographical references and index
内容説明・目次
内容説明
Based on the proceedings of the 1st International Workshop on Non-Monotonic Reasoning and Partial Semantics, held at the Free University of Amsterdam, this book emphasizes partial and multiple-valued approaches to non-monotonic logic, and shows how major problems can be overcome using these methods. It distinguishes between facts and default assumptions via explicit default operators; explains how information states change when (new) sentences are being uttered - "update semantics"; proposes a simple modal framework in which non-monotonic reasoning is captured in a monotonic - albeit dynamic - setting; looks at computational aspects of belief revision and uses skeptical (three-valued) semantics for non-monotonic truth maintenance; discusses a meta-level approach to non-monotonic reasoning which is based on partial logic and in which object-and meta-level are carefully distinguished, and adds a negation operator (to represent explicit negative information) to logic programming, enabling the reader to distinguish between exact and inexact predicates, which provide a capability of reasoning with empirical domains.
目次
- Distinguishing between facts and default assumptions
- non-monotonic reasoning with monotonic means
- a meta-level approach to non-monotonic reasoning
- defaults in update semantics
- logic programming with strong negation and inexact predicates
- skeptical belief revision is tractable
- reasoning with partial models
- non-monotonicity and partiality in defeasible argumentation.
「Nielsen BookData」 より