Formal Methods in Artificial Intelligence

This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving.

Allan M. Ramsay (Author)

9780521424219, Cambridge University Press

Paperback, published 26 July 1991

292 pages
24.4 x 17 x 1.5 cm, 0.47 kg

'This is an excellent book. It is well written, covers a well thought out area of theoretical computer science, and is most appropriate for anyone interested in research, or a better understanding of techniques in theoretical artificial intelligence.' Australian Computer Journal

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.

Subject Areas: Artificial intelligence [UYQ]