Introduction to logic-based artificial intelligence

In this chapter I provide a brief introduction to the field of Logic-Based Artificial Intelligence (LBAI). I then discuss contributions to LBAI contained in the chapters and some of the highlights that took place at the Workshop on LBAI from which the papers are drawn. The areas of LBAI represented in the book are: commonsense reasoning; knowledge representation; nonmonotonic reasoning. abductive and inductive reasoning; logic, probability and decision making; logic for causation and actions; planning and problem solving; logic, planning and high-level robotics; logic for agents and actions; theory of beliefs; logic and language; computational logic; system implementations; and logic applications to mechanical checking and data integration.