Introduction to Artificial Inteligence - Spring 2001

Using First-order logic

1. Elements, syntax, and semantics
   • Elements of FOL: objects, relations, properties, functions
   • Syntax and semantics
     • Symbols: constants, predicates, functions
     • Terms
     • Atomic sentences
     • Complext sentences
     • Quantifiers: universal, existential, nested quantifiers
     • Equality
2. Extensions and variations
   • Higher-order logic
   • Lambda calculus
   • Uniqueness quantifier and operator
   • Notational variations
3. Using FOL
   • The kinship domain
   • Axioms, definitions, and theorems
   • Sets and lists
4. Logical agent for the wumpus world
   • Simple reflex agent
   • Representing change
     • Situation calculus
     • Keeping track of location
     • The frame problem and its relatives
   • Deducing hidden properties
   • Preferences among actions
   • Goal-based agent outline