Robot Location Estimation in the Situation Calculus.
Vaishak BelleHector J. LevesquePublished in: CoRR (2014)
Keyphrases
- situation calculus
- location estimation
- search and rescue
- mobile robot
- action theories
- binary features
- event calculus
- initial state
- fluent calculus
- modal logic
- concurrent actions
- logical language
- multi robot
- reasoning about actions
- autonomous robots
- vision system
- provably correct
- robotic systems
- path planning
- wifi
- primitive actions
- signal strength
- indirect effects
- model checking
- taxonomic reasoning