针对常识推理的非单调和异常问题,构建了基于改进的主动逻辑与元认知环的机器人常识推理框架。首先,针对机器人在执行任务时易受异常情况干扰的问题,引入元认知环对异常进行监视和评估并引导机器人;其次,对主动逻辑进行改进,定义了事实、常识,及它们相互之间的蕴涵、否定和无关三种关系,给出了详细的矛盾知识的发生条件和定义,并给出了对应的矛盾知识的处理方法,提出在主动逻辑中事实包含关系的传递性及推理的非直接传递性以有效检测和处理矛盾。最后,设计的Pr2机器人取书的实验进一步验证了元认知环以及主动逻辑在机器人执行任务时对异常情况和矛盾知识处理的有效性。
This paper discussed the non-monotonic problems and perturbations with commonsense reasoning, and established a structure of robotic commonsense reasoning based on improved active logic and metacognition loop (MCL). First', as to the problem that robots were prone to suffer from perturbations when executing missions, incorporated MCL to monitor perturba- tions and to guide robots. Second, improved active logic by defining three kinds of relationship between facts and common- sense, so called contained, negated, and irrelevant. Further, according to these definitions, this paper proposed the precondi- tion and definition of contradicted knowledge and corresponding handling methods. What is more, it presented two kinds of at- tributions that the relationship of facts, namely that contained, had transitivity, and that the logic reasoning rules did not have direct transitivity. Facilitated by above improvements, active logic could deal with contradicted knowledge more efficiently. At the end, the experiment that the Pr2 robot gets a book validates the effects of the fact that MCL and improved active logic can help robots deal with perturbations and contradicted knowledge.