Free Shipping In Australia
Currency:
AUD $ AUD
Formal Methods in Artificial Intelligence By Allan M. Ramsay

Formal Methods in Artificial Intelligence
by Allan M. Ramsay

In Stock
$16.99
+10% GST
Artificial intelligence has recently turned to formal logic in the search for powerful yet well-behaved knowledge representation languages. This book, written for workers in artificial intelligence, 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.
Only 1 left

Formal Methods in Artificial Intelligence Summary


Formal Methods in Artificial Intelligence by Allan M. Ramsay

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.

Why buy from World of Books

Our excellent value books literally don't cost the earth
Free delivery in Australia
Read more here
Every used book bought is one saved from landfill

Formal Methods in Artificial Intelligence 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

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.

Additional information

GOR009697223
Formal Methods in Artificial Intelligence by Allan M. Ramsay
Allan M. Ramsay
Cambridge Tracts in Theoretical Computer Science
Used - Good
Paperback
Cambridge University Press
1991-07-26
292
0521424216
9780521424219
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us.