Observations and the Probabilistic Situation Calculus.
Paulo MateusAntónio PachecoJavier PintoPublished in: KR (2002)
Keyphrases
- situation calculus
- action theories
- initial state
- event calculus
- reasoning about actions
- provably correct
- logical language
- modal logic
- concurrent actions
- reasoning tasks
- fluent calculus
- bayesian networks
- general purpose
- uncertain data
- blocks world
- agent programming
- sensing actions
- probabilistic reasoning
- modal operators
- integrity constraints
- search algorithm