Jack Minker,
Logic-Based Artificial Intelligence,
Kluwer Academic Publishers, 606pp.
2000.
Logic-Based Artificial Intelligence
Logic-Based Artificial Intelligence
Jack Minker, Editor
The Table of Contents of the book is available in postscript.
The book jacket, designed by Sally Minker, follows
Abstract
This landmark volume represents the culmination of
over 40 years of research in the use of logic as a
basis for representing and manipulating problems in
the field of artificial intelligence. The use of
logic as a basis for commonsense reasoning was started
by John McCarthy in 1959. The collection consists of
both original research and surveys of almost every subject
that uses logic in AI, contributed by leading scientists,
and grew out of preliminary work presented at the
Workshop on Logic-Based Artificial Intelligence held in
Washington, DC, June 1999. All papers have been
extensively refereed and revised.
The introductory article presents background on research
that has transpired since 1959 and discusses the significance
of each chapter in this context. The topics covered in the
book are commonsense reasoning, knowledge representation,
nonmonotonic reasoning, logic for causation and actions,
planning and problem solving, cognitive robotics, logic
for agents and actions, inductive reasoning, possibilistic
logic, logic and beliefs, logic and language, computational
logic, knowledge base system implementations, and applications
of theorem proving and logic programming.
The book is invaluable to graduate students and researchers in artificial
intelligence, and advanced methods for database and knowledge
base systems. LOGIC-BASED ARTIFICIAL INTELLIGENCE will also
be of interest to those applying theorem proving methods to
problems in program and hardware verification,
to those who deal with large knowledge base systems, those
developing cognitive robotics, and for those interested
in the solution of McCarthy's 1959
``oldest planning problem in AI: getting from home to the
airport.''
