An Operational Semantics for Negotiating Agents

Authors:
Mohamed Jmaiel;Ahmed Hadj Kacem
Affiliations:
-;-
Venue:
Proceedings of the 5th Pacific Rim International Workshop on Multi Agents: Intelligent Agents and Multi-Agent Systems
Year:
2002

Citing 8
Cited 0

Communicating sequential processes

Communicating sequential processes
Agent-oriented programming

Artificial Intelligence
Reaching agreements through argumentation: a logical model and implementation

Artificial Intelligence
Beliefs, time and incomplete information in multiple encounter negotiations among autonomous agents

Annals of Mathematics and Artificial Intelligence
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic

ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Determining Successful Negotiation Strategies: An Evolutionary Approach

ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Negotiation in multi-agent systems

The Knowledge Engineering Review
Understanding the role of negotiation in distributed search among heterogeneous agents

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a contribution towards rigourous reasoning about negotiating agents. First, it defines formal models for negotiation and negotiating agents. These models enable to specify the relations between the concepts of plan, plan proposal and resource allocation, on the one hand, and concepts of knowledge, belief and capability, on the other hand. Second, it provides a structured negotiation language enabling to specify primitives, protocols and processes of negotiation. This language is defined by a precise syntax, and it is formally interpreted using a transition system leading to an operational semantics for negotiating agents.