Formal Methods in Artificial Intelligence: 6

Formal Methods in Artificial Intelligence: 6

Author(s): Allan Ramsay (Author)

• Publisher: Cambridge University Press
• Publication Date: 2 April 2009
• Edition: Revised ed.
• Language: English
• Print length: 292 pages
• ISBN-10: 0521424216
• ISBN-13: 9780060893392

Book Description

Editorial Reviews

View on Amazon

{"@context":"https://schema.org","@type":"Book","name":"Formal Methods in Artificial Intelligence: 6","image":"https://m.media-amazon.com/images/I/51w1s7H5LGS._SY445_SX342_ML2_.jpg","author":{"@type":"Person","name":"Allan Ramsay (Author)"},"publisher":{"@type":"Organization","name":"Cambridge University Press"},"datePublished":"2 April 2009","isbn":"9780060893392","numberOfPages":292,"inLanguage":"English","description":"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.","bookEdition":"Revised ed.","url":"https://www.amazon.co.uk/dp/0521424216/","bookFormat":"http://schema.org/EBook","additionalType":"http://schema.org/PDF","fileSize":"16 MB","accessibilityFeature":["login required","member access only"],"accessibilitySummary":"PDF version available to authenticated members only. File size: 16 MB."}