Sensor Fusion in the Epistemic Situation Calculus. Schwering, C., Niemueller, T., Lakemeyer, G., Abdo, N., & Burgard, W. In Proceedings of the Ninth International Cognitive Robotics Workshop (CogRob-2014), Prague, Czech Republic, 2014.
Sensor Fusion in the Epistemic Situation Calculus [pdf]Paper  Sensor Fusion in the Epistemic Situation Calculus [pdf]Paper  abstract   bibtex   1 download  
Robot sensors are usually subject to error. Since in many practical scenarios a probabilistic error model is not available, sen- sor readings are often dealt with in a hard-coded, heuristic fashion. In this paper, we propose a logic to address the problem from a KR perspective. In this logic the epistemic effect of sensing actions is deferred to so-called fusion actions, which may resolve discrepan- cies and inconsistencies of recent sensing results. Moreover, a local closed world assumption can be applied dynamically. When needed, this assumption can be revoked and fusions can be undone using a form of forgetting.

Downloads: 1