Reasoning under incomplete information in artificial intelligence : a comparison of formalisms using a single example
著者
書誌事項
Reasoning under incomplete information in artificial intelligence : a comparison of formalisms using a single example
(Wiley professional computing)
Wiley, c1990
- タイトル別名
-
Raisonnements sur des informations incomplètes en intelligence artificielle
大学図書館所蔵 件 / 全14件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Special issue of international journal of intelligent systems, v. 5, no. 4, Sept. 1990
Includes bibliographical references
内容説明・目次
内容説明
The formalization of "revisable reasoning" has been the object of numerous works, developed independently and using diverse approaches - approaches that are purely symbolic, that use numbers to quantify uncertainty, and that are close to formal logic or less formalized. This work presents and compares several of these revisable (incomplete) reasoning methods used in artificial intelligence. Each method is systematically evaluated with a single example to give the reader an appreciation of the rationale and use of each formulation. Topics considered include: default logic, non-monotonic modal logics, the supposition-based logic, and the conditional logics of uncertainty. The book also discusses the contribution of works on truth maintenance and the logic of action.
目次
Why New Logics Are Needed. Default Logic. Nonmonotonic Modal Logics. Closed World Assumption and Circumscription. A Nonmonotonic Logic Based on Suppositions. Conditional Logics and ''Rough'' Implications. Logics of Uncertainty. Fuzzy Logic. Numerical Quantifiers and Conditional Probabilities. Causal Models. Reasoning by Analogy. Truth-Maintenance Systems. Theories of Action and the Frame Problem. Revision Theory. A Tentative Conclusion. References. Index.
「Nielsen BookData」 より