Ben Choi
Abstract
This book covers a range of applications of logic to AI, from resolution to reflection. Some of the chapters cover current "hot" topics such as nonmonotonic reasoning and epistemic logic for which textbook summaries have not been available. Each chapter ends with a brief bibliographic essay covering work through 1987. For those who haven't kept up with the literature in each of the half-dozen current research areas covered, this book will serve as an admirable vade mecum. It is well-designed as a text for a theoretical course in artificial intelligence as well, provided one finds the logical point of view congenial.
- Charniak, Eugene & McDermott, Drew. Introduction to Artificial Intelligence. Addison-Wesley, 1985. Google Scholar
Digital Library
- Fischler, Martin & Firschein Oscar. Intelligence: the Eye, the Brain, and the Computer. Addison-Wesley. 1987. Google ScholarDigital Library
- McDermott, Drew. A Critique of Pure Reason. Computational Intelligence. (forthcoming)Google Scholar
- Nilsson, Nils, Principles of Artificial Intelligence. Tioga, 1980. Google ScholarDigital Library
- Nilsson, Nils. Probabilistic Logic. Artificial Intelligence 28.1(1986): 71 -- 87. Google ScholarDigital Library
Index Terms
- Book review: Parallel Execution of Logic Programs by John S. Conery (Kluwer Academic Publiishers 1987)
Recommendations
Constructing the Least Models for Positive Modal Logic Programs
We give algorithms to construct the least L-model for a given positive modal logic program P, where L can be one of the modal logics KD, T, KDB, B, KD4, S4, KD5, KD45, and S5. If L ∈ {KD5,KD45,S5}, or L ∈ {KD,T,KDB,B} and the modal depth of P is ...
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
We propose a modal logic programming language called MProlog, which is as expressive as the general modal Horn fragment. We give a fixpoint semantics and an SLD-resolution calculus for MProlog in all of the basic serial modal logics KD, T, KDB, B, KD4, ...
Comments