Towards an Architecture for Knowledge Representation and Reasoning in Robotics.
Shiqi ZhangMohan SridharanMichael GelfondJeremy L. WyattPublished in: ICSR (2014)
Keyphrases
- knowledge representation and reasoning
- artificial intelligence
- knowledge representation
- predicate logic
- reasoning systems
- description logics
- logic programming
- computer vision
- structured knowledge
- incomplete information
- defeasible logic
- automated reasoning
- special case
- expert systems
- disjunctive logic programming
- database
- natural language