面向Agent的程序设计语言中基于言语行为通信的形式语义研究
On the Formal Semantics of Speech-Act Based Communication in an Agent-Oriented Programming Language
摘要：
智能体通信语言的研究通常以言语行为范式为出发点。尽管他们的明显的吸引力，言语行为模型的通信有几个严重的缺点作为人工智能体系统中的通信的基础。特别是，它已被证明是非常困难的，以语音行为为基础的智能体通信语言的满意的语义。在某种程度上，问题在于言语行为语义学通常参考代理的“心理状态”（他们的信念，愿望和意图），并且通常没有办法将这种态度归因于任意的计算代理。此外，代理程序设计语言只有他们的语义形式化的抽象，独立的版本，忽略了方面，如通信原语。关于通信，实现的代理程序设计语言往往是相当特别的。本文解决了这两个问题，通过给语义的语音行为的AgentSpeak代理收到的消息。AgentSpeak是一种基于逻辑的Agent程序设计语言，它结合了反应式规划系统的PRS模型的主要特征。本文建立在一个结构操作语义，我们在以前的工作中开发的AgentSpeak。本文的主要贡献如下：我们以前的工作的AgentSpeak解释器的理论基础上的扩展;一个计算接地的语义（核心）用于言语行为为基础的智能体通信语言的施为;和一个定义良好的扩展AgentSpeak，支持智能体通信。
英文摘要：
Research on agent communication languages has typically taken the speech acts paradigm as its starting point. Despite their manifest attractions, speech-act models of communication have several serious disadvantages as a foundation for communication in artificial agent systems. In particular, it has proved to be extremely difficult to give a satisfactory semantics to speech-act based agent communication languages. In part, the problem is that speech-act semantics typically make reference to the "mental states" of agents (their beliefs, desires, and intentions), and there is in general no way to attribute such attitudes to arbitrary computational agents. In addition, agent programming languages have only had their semantics formalised for abstract, stand-alone versions, neglecting aspects such as communication primitives. With respect to communication, implemented agent programming languages have tended to be rather ad hoc. This paper addresses both of these problems, by giving semantics to speech-act based messages received by an AgentSpeak agent. AgentSpeak is a logic-based agent programming language which incorporates the main features of the PRS model of reactive planning systems. The paper builds upon a structural operational semantics to AgentSpeak that we developed in previous work. The main contributions of this paper are as follows: an extension of our earlier work on the theoretical foundations of AgentSpeak interpreters; a computationally grounded semantics for (the core) performatives used in speech-act based agent communication languages; and a well-defined extension of AgentSpeak that supports agent communication.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
