Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version.

Bita Banihashemi Giuseppe De Giacomo Yves Lespérance

Published in: CoRR (2023)

Keyphrases

situation calculus
action theories
initial state
event calculus
reasoning about actions
fluent calculus
incomplete information
high level
modal logic
finite state
concurrent actions
indirect effects
action language
decision problems
optimal policy
state space
data model
search algorithm