Logical Agents
Chapter 7