Previous edition: 2003

Includes bibliographical references and index

Artificial Intelligence: -- Introduction: -- What is AI? - - Foundations of artificial intelligence -- History of artificial intelligence -- State of the art -- Summary, bibliographical and historical notes, exercises -- Intelligent agents: -- Agents and environments -- Good behavior: concept of rationality -- Nature of environments -- Structure of agents -- Summary, bibliographical and historical notes, exercises -- Problem-Solving: -- Solving problems by searching: -- Problem-solving agents -- Example problems -- Searching for solutions -- Uniformed search strategies -- Informed (heuristic) search strategies -- Heuristic functions -- Summary, bibliographical and historical notes, exercises -- Beyond classical search: -- Local search algorithms and optimization problems -- Local search in continuous spaces -- Searching with nondeterministic actions -- Searching with partial observations -- Online search agents and unknown environments -- Summary, bibliographical and historical notes, exercises -- Adversarial search: -- Games -- Optimal decisions in games -- Alpha-beta pruning -- Imperfect real-time decisions -- Stochastic games -- Partially observable games -- State-of-the-art game programs -- Alternative approaches -- Summary, bibliographical and historical notes, exercises -- Constraint satisfaction problems: -- Defining constraint satisfaction problems -- Constraint propagation: inference in CSPs -- Backtracking search for CSPs -- Local search for CSPs -- Structure of problems -- Summary, bibliographical and historical notes, exercises -- Knowledge, Reasoning, And Planning: -- Logical agents: -- Knowledge-based agents -- Wumpus world -- Logic -- Propositional logic: a very simple logic -- Propositional theorem proving -- Effective propositional model checking -- Agents based on propositional logic -- Summary, bibliographical and historical notes, exercises -- First- order logic: -- Representation revisited -- Syntax and semantics of first-order logic -- Using first-order logic -- Knowledge engineering in first-order logic -- Summary, bibliographical and historical notes, exercises -- Inference in first-order logic: -- Propositional vs first- inorder inference -- Unification and lifting -- Forward chaining -- Backward chaining -- Resolution -- Summary, bibliographical and historical notes, exercises -- Classical planning: -- Definition of classical planning -- Algorithms for planning as state-space search -- Planning graphs -- Other classical planning approaches -- Analysis of planning approaches -- Summary, bibliographical and historical notes, exercises -- Planning and acting in the real world: -- Time, schedules, and resources -- Hierarchical planning -- Planning and acting in nondeterministic domains -- Multiagent planning -- Summary, bibliographical and historical notes, exercises --Knowledge representation: -- Ontological engineering -- Categories and objects -- Events -- Mental events and mental objects -- Reasoning systems for categories -- Reasoning with default information -- Internet shopping world -- Summary, bibliographical and historical notes, exercises