| Formal Methods in Artificial Intelligence Revised Edition Contributor(s): Ramsay, Allan M. (Author) |
|
 |
ISBN: 0521424216 ISBN-13: 9780521424219 Publisher: Cambridge University Press OUR PRICE: $45.59 Product Type: Paperback - Other Formats Published: July 1991 Annotation: This book covers the background of classical logic, including the major meta-theorems, and the state of the art in theorem proving. |
| Additional Information |
| BISAC Categories: - Computers | Intelligence (ai) & Semantics - Computers | Programming Languages - General |
| Dewey: 006.3 |
| Series: Cambridge Tracts in Theoretical Computer Science (Paperback) |
| Physical Information: 0.71" H x 6.87" W x 9.63" (1.11 lbs) 292 pages |
| Descriptions, Reviews, Etc. |
| Publisher 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. |