A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics.
Mohan SridharanMichael GelfondShiqi ZhangJeremy L. WyattPublished in: CoRR (2015)
Keyphrases
- knowledge representation and reasoning
- artificial intelligence
- knowledge representation
- description logics
- logic programming
- reasoning systems
- incomplete information
- structured knowledge
- software architecture
- computer vision
- automated reasoning
- general purpose
- disjunctive logic programming
- software engineering
- robotic systems