INF2D: 14: Situation Calculus | Open Course Materials

14: Situation Calculus

Slides

Situation_Calculus.pdf

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

R&N Section 10.3 from the Second Edition (we are using an older version, so please read this PDF)

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