发帖
雷达卡
摘要翻译：
agent通信语言的研究通常以言语行为范式为出发点。尽管言语行为模型具有明显的吸引力，但作为人工agent系统中通信的基础，它们有几个严重的缺点。特别是，给基于言语行为的agent通信语言提供一个令人满意的语义是极其困难的。在某种程度上，问题在于言语行为语义学典型地提到主体的“心智状态”（他们的信念、愿望和意图），而且通常没有办法将这种态度归因于任意的计算主体。此外，代理程序设计语言只对抽象的独立版本的语义进行了形式化，忽略了通信原语等方面。就通信而言，实现的代理编程语言往往是非常特殊的。本文通过对AgentSpeak Agent接收的基于言语行为的消息给出语义来解决这两个问题。AgentSpeak是一种基于逻辑的agent编程语言，它结合了反应计划系统PRS模型的主要特征。本文建立在我们在前人工作中开发的AgentSpeak结构操作语义学的基础上。本文的主要贡献如下：扩展了前人对AgentSpeak译员理论基础的研究；基于计算的基于言语行为的agent通信语言（核心）行为语义；和一个定义良好的AgentSpeak扩展，支持agent通信。
---
英文标题：
《On the Formal Semantics of Speech-Act Based Communication in an
Agent-Oriented Programming Language》
---
作者：
R. H. Bordini, A. F. Moreira, R. Vieira, M. Wooldridge
---
最新提交年份：
2011
---
分类信息：
一级分类：Computer Science 计算机科学
二级分类：Artificial Intelligence 人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--
一级分类：Computer Science 计算机科学
二级分类：Multiagent Systems 多智能体系统
分类描述：Covers multiagent systems, distributed artificial intelligence, intelligent agents, coordinated interactions. and practical applications. Roughly covers ACM Subject Class I.2.11.
涵盖多Agent系统、分布式人工智能、智能Agent、协调交互。和实际应用。大致涵盖ACM科目I.2.11类。
--
一级分类：Computer Science 计算机科学
二级分类：Programming Languages 程序设计语言
分类描述：Covers programming language semantics, language features, programming approaches (such as object-oriented programming, functional programming, logic programming). Also includes material on compilers oriented towards programming languages; other material on compilers may be more appropriate in Architecture (AR). Roughly includes material in ACM Subject Classes D.1 and D.3.
涵盖程序设计语言语义，语言特性，程序设计方法（如面向对象程序设计，函数式程序设计，逻辑程序设计）。还包括面向编程语言的编译器的材料；关于编译器的其他材料可能在体系结构(AR)中更合适。大致包括ACM主题课程D.1和D.3中的材料。
--
---
英文摘要：
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.
---
PDF链接：
https://arxiv.org/pdf/1111.0041
京公网安备 11010802022788号
