Representing Non-deterministic Actions within the Situation Calculus for Autonomous Characters.

Xiangyang Huang Xiao Xin Wenjun Wu

Published in: IITSI (2010)

Keyphrases

situation calculus
action theories
reasoning about actions
concurrent actions
event calculus
initial state
fluent calculus
sensing actions
provably correct
primitive actions
blocks world
modal logic
action language
agent programming
logical language
reasoning tasks
indirect effects
temporal information