18 and 25 Feb 2004
CS 3243 - Logical Agents
2
Outline
nKnowledge-based
agents
nWumpus
world
nLogic
in general - models and entailment
nPropositional
(Boolean) logic
nEquivalence,
validity, satisfiability
nInference
rules and theorem proving
nforward
chaining
nbackward
chaining
nresolution