August 1, 2001
Conference Paper

A Formal Semantics for Proxy Communicative 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 com-municative acts that formally specify semantics for in-teracting with middle agents that provide proxy services. These two communicative acts are shown to have a dis-tinctly different impact upon the mental state of the agents involved and impose significantly different levels of commitment upon the middle agents.

Revised: September 18, 2003 | Published: August 1, 2001

Citation

Huber M.J., S. Kumar, P.R. Cohen, and D.R. McGee. 2001. A Formal Semantics for Proxy Communicative Acts. In Intelligent agents VIII: Agent Theories, Architectures, and Languages : 8th International Workshop, ATAL 2001, edited by Meyer, J.-J. C.; Tambe, M., VIII, 221-234. New York, New York:Springer. PNNL-SA-34283.