A Formal Semantics for ProxyCommunicative Acts | Zendy

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

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Formal Semantics for ProxyCommunicative Acts

Author(s) -

Marcus J. Huber,

Sanjeev Kumar,

Philip R. Cohen,

David R. McGee

Publication year - 2002

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

ISBN - 3-540-43858-0

DOI - 10.1007/3-540-45448-9_16

Subject(s) - computer science , proxy (statistics) , mediation , semantics (computer science) , multi agent system , computer security , theoretical computer science , artificial intelligence , programming language , law , machine learning , political science

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research