基于回答集编程的多Agent规划研究

摘要

近年来，将回答集编程(Answer Set Programming，ASP)技术应用于多Agent规划已成为一个研究热点。本文主要研究如何使用ASP程序描述多Agent规划问题。当规划因为知识不一致无解时，研究如何通过删除某些Agent的知识从而形成规划。
　　本文的主要工作有：1)研究基于ASP的多Agent规划的核心问题--不一致ASP程序的处理；2)使用ASP程序描述带有协作动作的多Agent规划，将不一致处理的算法应用于规划无解的情形；3)研究存在Agent优先级情况下的多Agent规划的不一致处理。
　　本文的主要贡献有：1)提出了基于最小原则的不一致ASP程序的处理算法--IASP-MP，该算法能够在尽量保留原有的知识的基础上优先删除缺省规则；2)提出了基于ASP的带有协作动作的多Agent规划的不一致处理算法；3)定义Agent的优先级，提出了引入优先级的多Agent规划的不一致处理方法；4)通过多Agent环境下的图着色问题求解，说明以上算法的有效性。
　　本文工作对知识不一致情形下的基于ASP的多Agent规划研究具有参考价值，能够推进基于ASP的多Agent规划的发展。