Complex Epistemic Modalities in the Situation Calculus.
Ryan F. KellyAdrian R. PearcePublished in: KR (2008)
Keyphrases
- situation calculus
- event calculus
- action theories
- reasoning about actions
- initial state
- modal operators
- logical language
- provably correct
- concurrent actions
- reasoning tasks
- fluent calculus
- blocks world
- modal logic
- action language
- indirect effects
- logic programming
- agent programming
- search algorithm
- reinforcement learning
- high level