Publication
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, USA, Vol. SS-11, No. 06, AAAI Press, Menlo Park, CA, 3/2011.
Abstract
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.