Recommended product

Popular links

Popular links


Formal Methods in Artificial Intelligence

Formal Methods in Artificial Intelligence

Formal Methods in Artificial Intelligence

Allan M. Ramsay , University College Dublin
August 1991
Paperback
9780521424219

Looking for an inspection copy?

This title is not currently available for inspection.

£41.00
GBP
Paperback

    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.

    Reviews & endorsements

    '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

    See more reviews

    Product details

    August 1991
    Paperback
    9780521424219
    292 pages
    244 × 170 × 15 mm
    0.47kg
    Available

    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.
      Author
    • Allan M. Ramsay , University College Dublin