Self-Maintenance for Autonomous Robots in the Situation Calculus.
Stefan SchifferAndreas WortmannGerhard LakemeyerPublished in: Cognitive Robotics (2010)
Keyphrases
- situation calculus
- autonomous robots
- mobile robot
- robot navigation
- event calculus
- action theories
- robotic systems
- motion control
- reasoning about actions
- multi robot systems
- robot control
- reasoning tasks
- modal logic
- initial state
- provably correct
- concurrent actions
- blocks world
- logical language
- fluent calculus
- real time
- general purpose
- agent programming
- logical theories
- universally quantified
- programming language
- indirect effects