面向Agent程序设计语言的语用性质研究

Agent间的合作行为是AOP理论所关注的新问题。有必要借鉴语用学研究AOP语言涉及Agent间合作交互行为的语用性质。本项目重点研究AOP语言涉及Agent间消息传递行为的语用性质，以言语行为理论为依据，采用模态逻辑方法，建立Agent基于消息传递实现合作交互的系统分析理论，并针对有一定代表性的应用领域，对消息传递行为进行较为准确的分类，提出Agent合作模型以描述和评估不同的Agent合作机制。这一研究成果可以有效地指导AOP的设计以及促进多Agent系统的开发。