Book review: Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 1. Logical Foundations. Edited by Dov M. Gabbay, C. J. Hogger, and J. A. Robinson (Claredon Press, Oxford, 1993 )
Владик Крейнович · ACM SIGART Bulletin · 1995
One of the main goals of Artificial Intelligence is to design programs (automatic systems) capable of reasoning. It is therefore natural that many of these systems use logic, i.e., a well-formalized part of human reasoning. There are different opinions in the AI community on the importance of logic: John McCarthy pioneered the approach in which logic is the main tool, while some other researchers put more hope into domain-specific heuristics, expert's knowledge, simulating physiology (like neural networks), etc. However, most AI researchers, even those who do not consider logic the main basis for AI, agree that logic is important for AI. This book is the first volume of a series that presents logic to AI researchers, with an emphasis on those parts of logic that are applicable and useful to AI.