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.
منابع مشابه
Formal semantics of speech acts for argumentative dialogues
In this paper, we give formal semantics to speech acts for argumentative dialogues in the context of an agent-oriented programming language. Our approach to giving formal semantics to such speech acts uses operational semantics and builds upon existing work that provides computationally grounded semantics for agent mental attitudes such as beliefs and goals.
متن کاملA formal computational semantics and pragmatics of speech acts
This paper outlines a formal computational semantics and pragmatics of the major speech act types. A theory of force is given that allows us to give a semantically and pragmaticaly motivated taxonomy of speech acts. The relevance of the communication theory to complex distributed artificial intellince, DAI, systems is described. l Introduction In a system that engages in a dialogue with a user ...
متن کاملSpeech Acts, Dialogues and the Common Ground
The formal semantics of speech acts, even in the classical framework of illocutionary logic, requires considerations that go beyond individual speech activity and beyond the interpretation of individual sentences. We show how the formal semantics of speech acts can be extended to take into account the social effects and interactive aspects of illocutionary activity. To illustrate our approach, ...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل