Non-monotonic reasoning : formalization of commonsense reasoning
著者
書誌事項
Non-monotonic reasoning : formalization of commonsense reasoning
(Ellis Horwood series in artificial intelligence)
Ellis Horwood, 1990
大学図書館所蔵 件 / 全14件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
Progress within many areas of Artificial Intelligence, including natural language processing (NLP), vision and expert systems, depends heavily on the proper formalization of common- sense reasoning. A fundamental of this kind of reasoning is its nonmonotonicity, that is its ability to draw conclusions which can be invalidated by new information. In a systematic survey of the leading approaches to the problem of formalizing various nonmonotonic inference patterns, the book carefully blends leading edge research ideas with readability. The author has taken great care to ensure that it is a totally self-contained work, incorporating chapters on automatic theorem proving, main approaches to nonmonotonic reasoning, presenting and analysing several nonmonotonic formalisms: it is addressed to research workers in AI and many related disciplines, as well as practitioners and those involved with expert and intelligent knowledge-based systems. The book will be of benefit to researchers and practitioners interested in artificial intelligence, intelligent systems, expert systems, natural language processing, knowledge engineering and computer vision.
目次
- Elements of monotonic logics
- foundations of non-monotonic reasoning
- approaches to non-monotonic reasoning
- modal non-monotonic logics
- default logic
- default logic
- circumscription
- approaches to closed world assumptions.
「Nielsen BookData」 より