iCORPP: Interleaved commonsense reasoning and probabilistic planning on robots.
Shiqi ZhangPiyush KhandelwalPeter StonePublished in: Robotics Auton. Syst. (2024)
Keyphrases
- commonsense reasoning
- probabilistic planning
- nonmonotonic reasoning
- event calculus
- heuristic search
- planning problems
- knowledge representation
- incomplete information
- mobile robot
- planning under uncertainty
- missing information
- formal theory
- markov decision process
- classical logic
- logic programming
- artificial intelligence
- deductive databases
- belief revision
- markov chain
- partially observable
- finite automata