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 ...
Read More
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.
Read Less
Add this copy of Formal Methods in Artificial Intelligence to cart. $6.97, very good condition, Sold by ThriftBooks-Baltimore rated 4.0 out of 5 stars, ships from Halethorpe, MD, UNITED STATES, published 1988 by Cambridge University Press.
Add this copy of Formal Methods in Artificial Intelligence (Cambridge to cart. $16.96, very good condition, Sold by Robert Harper Books rated 5.0 out of 5 stars, ships from Hyattsville, MD, UNITED STATES, published 1988 by Cambridge University Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. First ed. with stamp "REVIEW COPY FROM SCIENCE; " 279 p., clean and otherwise unmarked--except for some foxing on back end page; binding tight; glossy boards have minimal ear.
Add this copy of Formal Methods in Artificial Intelligence (Cambridge to cart. $35.92, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Hialeah, FL, UNITED STATES, published 1988 by Cambridge University Press.
Add this copy of Formal Methods in Artificial Intelligence to cart. $84.14, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1988 by Cambridge University Press.
