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

作　　者：王凡[1] 范文斌[1] 张雪艳[1] 郭玉堂[1] 刘乐群[1] 

机构地区：[1]合肥师范学院计算机科学与技术系,安徽合肥230601

出　　处：《赤峰学院学报（自然科学版）》2014年第6期19-21,共3页Journal of Chifeng University(Natural Science Edition)

基　　金：安徽省高校自然科学研究重点项目(KJ2013A217);合肥师范学院2013本科教学质量提升计划(2013zyzh01);国家级大学生创新创业训练项目(201314098016)

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

关 键 词：回答集编程 家庭机器人 行动规划 逻辑推理 

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]