One relevant aspect in the development of the Semantic Web framework is the achievement of a real inter-agents communication capability at the semantic level. Agents should be able to communicate with each other freely using different communication protocols, constituted by communication acts. For that scenario, we introduce in this paper an efficient mechanism presenting the following main features: - It promotes the description of the communication acts of protocols as classes that belong to a communication acts ontology, and associates to those acts a social commitment semantics formalized through predicates in the Event Calculus. - It is sustained on the idea that different protocols can be compared semantically by looking to the set of fluents associated to each branch of the protocols. Those sets are generated using Semantic Web technology rules. - It discovers the following types of protocol relationships: equivalence, specialization, restriction, prefix, suffix, infix and complement_to_infix.
翻译:语义万维网框架发展中的一个关键方面是实现语义层面的真实智能体间通信能力。智能体应能使用由通信行为构成的不同通信协议自由地进行交互。针对这一场景,本文提出了一种高效机制,其主要特征如下:- 将协议的通信行为描述为通信行为本体中的类别,并通过事件演算中的谓词为这些行为赋予基于社会承诺的语义形式化模型;- 该机制基于"可通过分析协议各分支关联的流集合实现不同协议的语义比较"这一理念,这些流集合采用语义网技术规则生成;- 可发现以下协议关系类型:等价、特化、限制、前缀、后缀、中缀及中缀补集。