A formal semantics for ProxyCommunicative acts

Marcus J. Huber, Sanjeev Kumar, Philip R. Cohen, David R. McGee

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

7 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationIntelligent Agents VIII
Subtitle of host publicationAgent Theories, Architectures, and Languages - 8th International Workshop, ATAL 2001, Revised Papers
PublisherSpringer
Pages221-234
Number of pages14
ISBN (Print)3540438580, 9783540438588
Publication statusPublished - 1 Jan 2002
Externally publishedYes
Event8th International Workshop on Intelligent Agents VIII: Agent Theories, Architectures, and Languages, ATAL 2001 - Seattle, United States of America
Duration: 1 Aug 20013 Aug 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2333 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference8th International Workshop on Intelligent Agents VIII: Agent Theories, Architectures, and Languages, ATAL 2001
Country/TerritoryUnited States of America
CitySeattle
Period1/08/013/08/01

Cite this