Changing Beliefs about Domain Dynamics in the Situation Calculus.

Toryn Q. Klassen Sheila A. McIlraith Hector J. Levesque

Published in: KR (2020)

Keyphrases

situation calculus
action theories
blocks world
sensing actions
event calculus
initial state

taxonomic reasoning
reasoning about actions
provably correct
logical language
reasoning tasks
action language

concurrent actions
fluent calculus
modal logic
domain independent
agent programming

belief revision
modal operators
domain specific
dynamical systems
multi agent systems