KR$^3$: An Architecture for Knowledge Representation and Reasoning in Robotics.
Shiqi ZhangMohan SridharanMichael GelfondJeremy L. WyattPublished in: CoRR (2014)
Keyphrases
- knowledge representation and reasoning
- artificial intelligence
- knowledge representation
- reasoning systems
- description logics
- predicate logic
- logic programming
- structured knowledge
- automated reasoning
- defeasible logic
- incomplete information
- computer vision
- disjunctive logic programming
- probabilistic model
- expert systems
- knowledge base
- update semantics