Robot location estimation in the situation calculus.
Vaishak BelleHector J. LevesquePublished in: J. Appl. Log. (2015)
Keyphrases
- situation calculus
- location estimation
- search and rescue
- action theories
- mobile robot
- event calculus
- binary features
- fluent calculus
- initial state
- multi robot
- modal logic
- autonomous robots
- concurrent actions
- wifi
- reasoning about actions
- robotic systems
- provably correct
- vision system
- sensing actions
- path planning
- logical language
- indirect effects
- taxonomic reasoning
- indoor environments
- temporal logic
- dynamic environments
- state space