Formal Methods in Artificial Intelligence

by Allan M. Ramsay

Overview

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.

Product Details

ISBN-13:	9780521424219
Publisher:	Cambridge University Press
Publication date:	07/26/1991
Series:	Cambridge Tracts in Theoretical Computer Science , #6
Edition description:	REPRINT
Pages:	292
Product dimensions:	6.69(w) x 9.61(h) x 0.59(d)

Table of Contents

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.

Editorial Reviews

'An appropriate level of detail and technicality is well-balanced with a reasonable reflection of presented formal systems and techniques.' Zentralblatt fur Mathematik

'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

From the Publisher

Ramsay (artificial intelligence, U. of Sussex) presents the background of classical logic including the major meta-theorems and the state of the art in theorem proving. Also covered are the advanced adaptations of classical logic now being used in AI--temporal and modal logics, reason maintenance and intensional logic. Annotation c. Book News, Inc., Portland, OR (booknews.com)

Booknews