DFKI-LT - Combining Uncertainty and Description Logic Rule-Based Reasoning in Situation-Aware Robots
Combining Uncertainty and Description Logic Rule-Based Reasoning in Situation-Aware Robots
2 Proceedings of the AAAI 2011 Spring Symposium "Logical Formalizations of Commonsense Reasoning" volume SS-11 number 06, Stanford, CA, USA, AAAI Press, AAAI, Menlo Park, CA, 3/2011
The paper addresses how a robot can maintain a state representation of all that it knows about the environment over time and space, given its observations and its domain knowledge. The advantage in combining domain knowledge and observations is that the robot can in this way project from the past into the future, and reason from observations to more general statements to help guide how it plans to act and interact. The difficulty lies in the fact that observations are typically uncertain and logical inference for completion against a knowledge base is computationally hard.