Combining Uncertainty and Description Logic Rule-Based Reasoning in Situation-Aware Robots

Hans-Ulrich Krieger, Geert-Jan Kruijff

In: Proceedings of the AAAI 2011 Spring Symposium "Logical Formalizations of Commonsense Reasoning". AAAI Spring Symposium March 21-23 Stanford CA United States SS-11 06 AAAI Press 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.


Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence