Maintaining consistency in a robot's knowledge-base via diagnostic reasoning

摘要

Non-deterministic reality is a severe challenge for autonomous robots. Malfunctioning actions, inaccurate sensor perception and exogenous events easily lead to inconsistencies between an actual situation and the internal knowledge-base encoding a rob