研究机器人行动推理优化系统,针对传统的推理前必须预先给定所有环境状态,不能动态获取环境状态新知识。为了使得机器人在推理的过程中能动态获取环境状态新知识以提高推理的准确度,提出了行动推理过程中的两种基本动作即外部动作和感知动作进行了形式化地表示,对这两种基本动作、STRIPS推理规则以和有色网来表示机器人在不完全可知环境下进行行动推理的形式化表示,采用PNS(Petri Net for Reasoning about Action with sensor)网系统,采用CPNTools对办公环境下机器人行动推理实验,结果表明PNS网系统能使得机器人在行动推理过程中动态获取新知识目标,提高了行动推理的准确度。
