提高回答集编程在家庭机器人仿真上求解效率初探

王 凡，范文斌，张雪艳，郭玉堂，刘乐群

（合肥师范学院 计算机科学与技术系，安徽 合肥 230601）

提高回答集编程在家庭机器人仿真上求解效率初探

王 凡，范文斌，张雪艳，郭玉堂，刘乐群

（合肥师范学院 计算机科学与技术系，安徽 合肥 230601）

家庭机器人仿真比赛是由中科大发起的一项基于简单机器人模型在一定范围内实现任务规划的比赛.Answer Set Programm ing（回答集编程）是一种非单调逻辑编程技术，是在融合逻辑编程理论基础上发展而来的.独创性的提出合并关联原子动作来提高回答集编程的求解效率，并在家庭机器人仿真比赛中实现较高效率的自动规划.

回答集编程；家庭机器人；行动规划；逻辑推理

家庭机器人是在家庭环境下为为人类服务的一种机器人，能够代替人类完成家庭中的各种繁重且重复的工作[1,2].家庭机器人仿真比赛是一项关于家庭机器人如何对给定的一系列任务进行合理的规划的问题的比赛，服务器会给出一组场景信息和任务信息，通过程序在规定的时间内能算出一套最佳的动作序列，服务器对给出的动作序列进行鉴定模拟，计算成绩[3].

回答集编程（Answer Set Programming）技术是近年来比较流行的解决人工智能问题的一种非单调推理编程技术，已成为很多的研究者用于非单调推理的知识表示和推理的工具，经过研究者们多年的工作积累，回答集编程理论方面己相对成熟，但是，其常例化穷举的本质使得其求解器的效率不是很高，影响……