Logic, Artificial Intelligence - General, Philosophical Methodology, Logic & Foundations of Mathematics
Log in to track your reading progress.
Overview
The formalization of ``revisable reasoning'' has been the object of numerous works, developed independently and using many diverse approaches--approaches that are purely symbolic, use numbers to quantify uncertainty, are close to formal logic or less formalized; some deal with exceptions, and a smaller number consider the problem of knowledge bases of revision. This work presents and compares several of these revisable (incomplete) reasoning methods for use in AI. Each method is systematically evaluated with a single example to give the reader an appreciation of the rationale and use of each formulation. The logics considered include: default logic, non-monotonic modal logics, the supposition-based logic, the conditional logics, and the logics of uncertainty. The book also discusses the contribution of works on truth maintenance and logic of action.Editorials
Booknews
Presents and compares several revisable (incomplete) reasoning methods for use in AI. Each method is systematically evaluated with a single example to give an appreciation of the rationale and use of each formulation. The logics considered include default logic, non- monotonic modal logics, the supposition-based logic, the conditional logics, and the logics of uncertainty. The book also discusses the contribution of works on truth maintenance and logic of action. Acidic paper. Annotation c. Book News, Inc., Portland, OR (booknews.com)Book Details
Published
October 11, 1990
Publisher
New York : Wiley, c1990.
Pages
472
Format
Hardcover
ISBN
9780471529798