Planning using situation calculus, prolog and a mobile robot.
Pilar Pozos ParraEdgardo YescasJacob VásquezPublished in: LA-NMR (2007)
Keyphrases
- situation calculus
- mobile robot
- blocks world
- logic programming language
- concurrent actions
- initial state
- sensing actions
- motion planning
- action theories
- event calculus
- modal logic
- fluent calculus
- reasoning about actions
- path planning
- planning problems
- provably correct
- reasoning tasks
- knowledge representation
- logical language
- logic programming
- heuristic search
- domain independent
- dynamic environments
- expert systems
- action language
- multi agent
- agent programming
- state space
- constraint logic programming
- heuristic function