A formal semantics for ProxyCommunicative acts

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

A formal semantics for ProxyCommunicative acts

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

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

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 language	English
Title of host publication	Intelligent Agents VIII
Subtitle of host publication	Agent Theories, Architectures, and Languages - 8th International Workshop, ATAL 2001, Revised Papers
Publisher	Springer
Pages	221-234
Number of pages	14
ISBN (Print)	3540438580, 9783540438588
Publication status	Published - 1 Jan 2002
Externally published	Yes
Event	8th International Workshop on Intelligent Agents VIII: Agent Theories, Architectures, and Languages, ATAL 2001 - Seattle, United States of America Duration: 1 Aug 2001 → 3 Aug 2001

Publication series

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

Conference

Conference	8th International Workshop on Intelligent Agents VIII: Agent Theories, Architectures, and Languages, ATAL 2001
Country/Territory	United States of America
City	Seattle
Period	1/08/01 → 3/08/01

Cite this

Huber, M. J., Kumar, S., Cohen, P. R., & McGee, D. R. (2002). A formal semantics for ProxyCommunicative acts. In Intelligent Agents VIII: Agent Theories, Architectures, and Languages - 8th International Workshop, ATAL 2001, Revised Papers (pp. 221-234). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2333 LNAI). Springer.

Huber, Marcus J. ; Kumar, Sanjeev ; Cohen, Philip R. et al. / A formal semantics for ProxyCommunicative acts. Intelligent Agents VIII: Agent Theories, Architectures, and Languages - 8th International Workshop, ATAL 2001, Revised Papers. Springer, 2002. pp. 221-234 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{4dcd6ad8b68e453d8f5c733e7efe3658,

title = "A formal semantics for ProxyCommunicative acts",

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.",

author = "Huber, {Marcus J.} and Sanjeev Kumar and Cohen, {Philip R.} and McGee, {David R.}",

year = "2002",

month = jan,

day = "1",

language = "English",

isbn = "3540438580",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "221--234",

booktitle = "Intelligent Agents VIII",

note = "8th International Workshop on Intelligent Agents VIII: Agent Theories, Architectures, and Languages, ATAL 2001 ; Conference date: 01-08-2001 Through 03-08-2001",

}

Huber, MJ, Kumar, S, Cohen, PR & McGee, DR 2002, A formal semantics for ProxyCommunicative acts. in Intelligent Agents VIII: Agent Theories, Architectures, and Languages - 8th International Workshop, ATAL 2001, Revised Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2333 LNAI, Springer, pp. 221-234, 8th International Workshop on Intelligent Agents VIII: Agent Theories, Architectures, and Languages, ATAL 2001, Seattle, Washington, United States of America, 1/08/01.

A formal semantics for ProxyCommunicative acts. / Huber, Marcus J.; Kumar, Sanjeev; Cohen, Philip R. et al.
Intelligent Agents VIII: Agent Theories, Architectures, and Languages - 8th International Workshop, ATAL 2001, Revised Papers. Springer, 2002. p. 221-234 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2333 LNAI).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - A formal semantics for ProxyCommunicative acts

AU - Huber, Marcus J.

AU - Kumar, Sanjeev

AU - Cohen, Philip R.

AU - McGee, David R.

PY - 2002/1/1

Y1 - 2002/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=23144463873&partnerID=8YFLogxK

M3 - Conference Paper

AN - SCOPUS:23144463873

SN - 3540438580

SN - 9783540438588

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 221

EP - 234

BT - Intelligent Agents VIII

PB - Springer

T2 - 8th International Workshop on Intelligent Agents VIII: Agent Theories, Architectures, and Languages, ATAL 2001

Y2 - 1 August 2001 through 3 August 2001

ER -

Huber MJ, Kumar S, Cohen PR, McGee DR. A formal semantics for ProxyCommunicative acts. In Intelligent Agents VIII: Agent Theories, Architectures, and Languages - 8th International Workshop, ATAL 2001, Revised Papers. Springer. 2002. p. 221-234. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

A formal semantics for ProxyCommunicative acts

Abstract

Publication series

Conference

Other files and links

Cite this