A Formal Semantics for ProxyCommunicative Acts

机译：代理交往行为的形式语义

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Mediation services are becoming increasingly important in multiagent systems. An agent that can act on behalf of another agent is one important example of mediation functionality commonly required. Within this paper, we define and analyze PROXY and PROXY-WEAK communicative acts that formally specify semantics for interacting with middle agents that provide proxy services. These two communicative acts are shown to have a distinctly different impact upon the mental state of the agents involved and impose significantly different levels of commitment upon the middle agents.

机译：中介服务在多代理系统中变得越来越重要。可以代表另一个代理进行操作的代理是通常需要的中介功能的一个重要示例。在本文中，我们定义并分析了PROXY和PROXY-WEAK沟通行为，这些行为正式指定了与提供代理服务的中间代理进行交互的语义。这两种交往行为显示出对所涉特工的心理状态有明显不同的影响，并对中间特工施加了显着不同的承诺水平。

著录项

来源
《8th International Workshop on Intelligent Agents VIII: Agent Theories, Architectures, and Languages ATAL 2001, Aug 1-3, 2001, Seattle, WA, USA》|2001年|p.221-234|共14页
会议地点 Seattle WA(US);Seattle WA(US)
作者
Marcus J. Huber; Sanjeev Kumar; Philip R. Cohen; David R. McGee;
展开▼
作者单位

Computer Science and Engineering, Oregon Graduate Institute 20000 NW Walker Road, Beaverton, OR 97006, USA;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Computing semantic relatedness using latent semantic analysis and fuzzy formal concept analysis [J] . Shivani Jain, K.R. Seeja, Rajni Jindal International journal of reasoning-based intelligent systems . 2021,第2期

机译：使用潜在语义分析和模糊正式概念分析计算语义相关性
2. Semantic web service composition using semantic similarity measures and formal concept analysis [J] . Ahmed Abid, Mohsen Rouached, Nizar Messai Multimedia Tools and Applications . 2020,第9a10期

机译：语义Web服务组合使用语义相似度量和正式概念分析
3. Formal Definition of the Term “Semantics” as a Foundation for Semantic Interoperability in the Industrial Internet of Things [J] . Tizian Schr?der, Christian Diedrich IFAC PapersOnLine . 2020,第2期

机译：“语义”一词的正式定义是工业互联网中语义互操作性的基础
4. A Formal Semantics for ProxyCommunicative Acts [C] . Marcus J. Huber, Sanjeev Kumar, Philip R. Cohen, International Workshop on Agent Theories, Architectures, and Languages . 2002

机译：ProxyComunicative行为的正式语义
5. Formal Semantics and Scalable Verification for the Border Gateway Protocol using Proof Assistants and SMT Solvers. [D] . Weitz, Konstantin. 2017

机译：使用证明助手和SMT解算器的边界网关协议的形式语义和可扩展验证。
6. How to Constrain and Maintain a Lexicon for the Treatment of Progressive Semantic Naming Deficits: Principles of Item Selection for Formal Semantic Therapy [O] . Jamie Reilly -1

机译：如何限制和维护用于逐步进行语义命名不足的词汇：形式语义疗法的项目选择原则
7. A Formal Computational Semantics and Pragmatics of Speech Acts [O] . Eric Werner 1988

机译：言语行为的形式计算语义学和语用学

A Formal Semantics for ProxyCommunicative Acts

摘要

著录项

相似文献

相关主题

期刊订阅