Property persistence in the situation calculus.
Ryan F. KellyAdrian R. PearcePublished in: Artif. Intell. (2010)
Keyphrases
- situation calculus
- event calculus
- action theories
- fluent calculus
- reasoning about actions
- reasoning tasks
- concurrent actions
- initial state
- sensing actions
- blocks world
- provably correct
- logical language
- modal logic
- incomplete information
- multi agent systems
- agent programming
- temporal reasoning
- default logic
- general purpose
- universally quantified
- reinforcement learning