Planning in Uncertain Environments through Situation Calculus.
Olga StepánkováPublished in: AISB/GI (ECAI) (1978)
Keyphrases
- uncertain environments
- situation calculus
- autonomous systems
- blocks world
- action theories
- initial state
- event calculus
- multi robot
- sensing actions
- modal logic
- concurrent actions
- provably correct
- logical language
- reasoning about actions
- fluent calculus
- behavior recognition
- heuristic search
- situation awareness
- indirect effects
- incomplete information
- mobile robot
- search space