INF2D: 14: Situation Calculus

14: Situation Calculus

Slides

Situation_Calculus.pdf (Skolem function update on slides 19 and 20, updated on 16 Feb)

Contents

  1. A presentation of Situation Calculus – a fragment of First-Order Logic for reasoning about results of actions.
  2. A presentation of the Frame Problem and of a (partial) solution using Situation Calculus.

Required Reading

NOTE: The abbreviation R&N refers to : 
“Artificial Intelligence: A Modern Approach”, Russell R & Norvig P, Prentice Hall.
License
All rights reserved The University of Edinburgh