Allan Ramsay

Formal Methods in Artificial Intelligence

Herausgeber: Abramsky, Samson; Rijsbergen, C. J. van

• Broschiertes Buch

Produktbeschreibung

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

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 292
• Erscheinungstermin: 28. Februar 2009
• Englisch
• Abmessung: 244mm x 170mm x 16mm
• Gewicht: 508g
• ISBN-13: 9780521424219
• ISBN-10: 0521424216
• Artikelnr.: 26184094

Autorenporträt

Allan Ramsay is an Emeritus Professor. He is highly skilled in Python and has extensive knowledge of Emotion Analysis.

Inhaltsangabe

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.