Formal methods in artificial intelligence
著者
書誌事項
Formal methods in artificial intelligence
（Cambridge tracts in theoretical computer science, 6）
Cambridge University Press, 1991
- : pbk.
大学図書館所蔵 全12件
注記
Bibliography: p. [273]-275
Includes index
内容説明・目次
内容説明
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving including Bibel's connection method. Also covered are the advanced adaptations of classical logic now being used in artificial intelligence - temporal and modal logics, reason maintenance and intensional logic. First published in 1988, the book covers a wider range of topics than the currently available books in this area, and is more directly aimed at workers in artificial intelligence.
目次
- Preface
- 1. Logic: proofs and models
- 2. Propositional calculus
- 3. Predicate calculus
- 4. Theorem proving
- 5. Modal logic
- 6. temporal reasoning
- 7. Non-Monotonic reasoning
- 8. Properties
- 9. Alternative views
- Bibliography
- Index.
「Nielsen BookData」 より