Abstract. In this paper, it is argued that negotiation can be regarded as a sociocognitive process for the transformation of joint commitments in multi-agent environments. To this end, a quantified multi-modal logical language is developed for reasoning about and representing agents ' mental attitudes. Drawing on this language, negotiation is formalised using the classical axiomatic-deductive methodology for theory building. Assumptions are presented, and properties discussed on a proof-theoretic basis. The explanatory breadth of the formalism is illustrated by looking at its applicability in situations in which agents are boundedly rational, have asymmetric and incomplete information, are motivated by conflicting interests, and behave opportunistically. 1
|
691
|
Intention is choice with commitment
– Cohen, Levesque
- 1990
|
|
498
|
Modal Logic: An Introduction
– Chellas
- 1980
|
|
393
|
The Intentional Stance
– Dennett
- 1987
|
|
349
|
The logic of scientific discovery
– Popper
- 1959
|
|
295
|
Knowledge and Belief
– HINTIKKA
- 1962
|
|
244
|
The Art and Science of Negotiation
– Raiffa
- 1982
|
|
235
|
Agents that reason and negotiate by arguing
– Parsons, Sierra, et al.
- 1998
|
|
229
|
Reasoning About Rational Agents
– Wooldridge
- 2000
|
|
185
|
Negotiation Decision Functions for Autonomous Agents
– Faratin, Sierra, et al.
- 1997
|
|
170
|
Reaching Agreements Through Argumentation: A Logical Model and Implementation
– Kraus, Sycara, et al.
- 1998
|
|
149
|
Commitments: From Individual Intentions to Groups and Organisations
– Castelfranchi
- 1995
|
|
103
|
Decision procedures for BDI logics
– Rao, Georgeff
- 1998
|
|
97
|
Planned Team Activity
– Kinny, Ljungberg, et al.
- 1992
|
|
92
|
Multi-Agent Systems: A Theoretical Framework for Intentions
– Singh
- 1995
|
|
46
|
The Market for Lemons: Qualitative Uncertainty and the Market Mechanism’, 84 Quarterly
– Akerlof
- 1970
|
|
43
|
Cooperative problem solving
– Wooldridge, Jennings
- 1999
|
|
35
|
Collective commitments
– Dunin-Keplicz, Verbrugge
- 1996
|
|
34
|
Dynamic goal hierarchies
– Bell, Huang
- 1997
|
|
19
|
Social mental shaping: Modelling the impact of sociality on the mental states of autonomous agents
– Panzarasa, Jennings, et al.
- 2001
|
|
14
|
Changing attitudes
– Bell
- 1995
|
|
12
|
Bargaining costs, influence costs, and the organization of economic activity
– Milgrom, Roberts
- 1990
|
|
10
|
Cognitive processes in organizations
– Weick
- 1979
|
|
8
|
The economics of moral hazard
– Pauly
- 1968
|
|
7
|
The value of cognitive foundations for dynamic social theory
– Carley
- 1989
|
|
7
|
The organisation of sociality: A manifesto for a new science of multiagent systems
– Panzarasa, Jennings
- 2001
|
|
6
|
L’acteur et le Système, Editions du Seuil
– Crozier, Friedberg
- 1977
|
|
5
|
Formalising collaborative decision-making and practical reasoning in multi-agent systems
– Panzarasa, Jennings, et al.
- 2001
|
|
4
|
A theory of practical reasoning
– Audi
- 1982
|
|
4
|
The validity of computational models in organisation science: From model realism to purpose of the model
– Burton, Obel
- 1995
|
|
4
|
Administrative Behavior. 3rd Edition
– Simon
- 1976
|
|
3
|
Practical Inferences. Routledge and Kegan
– Clarke
- 1985
|
|
3
|
A Theory of Social Action
– Tuomela
- 1984
|
|
1
|
editors. Computational Organisation Theory. Lawrence Erlbaum Associates
– Carley, Prietula
- 1994
|
|
1
|
L'Acteur et le Systme. ditions du Seuil
– Crozier, Friedberg
- 1977
|
|
1
|
Joint decision-making. The inseparability of relationships and negotiation
– Greenhalgh, Chapman
- 1995
|
|
