Lecture Artificial Intelligence - Chapter 7: Logical agents. The main contents of this chapter include all of the following: Knowledge-based agents, wumpus world, logic in general—models and entailment, propositional (boolean) logic; equivalence, validity, satisfiability; inference rules and theorem proving. |