14: Situation Calculus
Slides
Situation_Calculus.pdf (Skolem function update on slides 19 and 20, updated on 16 Feb)
Contents
- A presentation of Situation Calculus – a fragment of First-Order Logic for reasoning about results of actions.
- 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.