维埃拉，R。;A.F.莫雷拉。;伍尔德里奇，M。;博迪尼，R.H。 关于面向代理编程语言中基于言语行为的通信的形式语义。 （英语） Zbl 1182.68110号 J.阿蒂夫。智力。研究（JAIR） 29, 221-267 (2007). 摘要：agent通信语言的研究通常以言语行为范式为出发点。尽管言语行为通信模型具有明显的吸引力，但作为人工智能体系统中通信的基础，它有几个严重的缺点。特别是，事实证明，要为基于言语行为的agent通信语言提供令人满意的语义是极其困难的。在某种程度上，问题在于言语行为语义学通常指代代理的“心理状态”（他们的信念、愿望和意图），通常无法将这种态度归因于任意的计算代理。此外，代理编程语言的语义只针对抽象的独立版本进行了形式化，而忽略了通信原语等方面。在通信方面，实现的代理编程语言往往是非常特殊的。本文通过为AgentSpeak代理接收的基于言语行为的消息提供语义来解决这两个问题。AgentSpeak是一种基于逻辑的代理编程语言，它结合了反应式规划系统PRS模型的主要功能。本文建立在我们在先前工作中开发的AgentSpeak的结构操作语义学的基础上。本文的主要贡献如下：扩展了我们先前关于AgentSpeark口译员理论基础的工作；基于speech-act的agent通信语言中使用的（核心）性能词的计算基础语义；以及支持代理通信的AgentSpeak的定义良好的扩展。 引用于三文件 MSC公司： 第68季度55 计算理论中的语义学 关键词：沟通的言语行为模型;代理峰值代理 软件：杰森;代理发言 PDF格式BibTeX公司 XML格式引用 \textit｛R.Vieira｝等人，J.Artif。智力。研究（JAIR）29，221--267（2007；Zbl 1182.68110） 全文： arXiv公司