Nondeterminism and Uncertainty in the Situation Calculus.
Javier PintoAmílcar SernadasCristina SernadasPaulo MateusPublished in: FLAIRS Conference (1999)
Keyphrases
- situation calculus
- sensing actions
- event calculus
- action theories
- initial state
- reasoning about actions
- fluent calculus
- modal logic
- blocks world
- reasoning tasks
- logical language
- uncertain data
- concurrent actions
- agent programming
- provably correct
- incomplete information
- logical theories
- universally quantified
- data model