Formalising collaborative decision-making and practical reasoning in multi-agent systems

P. Panzarasa, N. R. Jennings, Timothy J Norman

Research output: Contribution to journalArticle

56 Citations (Scopus)

Abstract

In this paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through to joint decision. In a multi-agent environment, where self-motivated autonomous agents try to pursue their own goals, a joint decision cannot be taken for granted. In order to decide effectively, agents need the ability to (a) represent and maintain a model of their own mental attitudes, (b) reason about other agents' mental attitudes, and (c) influence other agents' mental states. Social mental shaping is advocated as a general mechanism for attempting to have an impact on agents' mental states in order to increase their cooperativeness towards a joint decision, Our approach is to specify a novel, high-level architecture for collaborative decision-making in which the mentalistic notions of belief, desire, goal, intention, preference and commitment play a central role in guiding the individual agent's and the group's decision-making behaviour. We identify preconditions that must be fulfilled before collaborative decision-making can commence and prescribe how cooperating agents should behave, in terms of their own decision-making apparatus and their interactions with others, when the decision-making process is progressing satisfactorily. The model is formalized through a new, many-sorted, multi-modal logic.

Original languageEnglish
Pages (from-to)55-117
Number of pages62
JournalJournal of Logic and Computation
Volume12
Issue number1
DOIs
Publication statusPublished - Jan 2002

Keywords

  • multi-agent systems
  • BDI logic
  • joint mental attitudes
  • inter-agent social behaviour
  • AGENTS
  • TEAMWORK

Cite this

Formalising collaborative decision-making and practical reasoning in multi-agent systems. / Panzarasa, P.; Jennings, N. R.; Norman, Timothy J.

In: Journal of Logic and Computation, Vol. 12, No. 1, 01.2002, p. 55-117.

Research output: Contribution to journalArticle

Panzarasa, P. ; Jennings, N. R. ; Norman, Timothy J. / Formalising collaborative decision-making and practical reasoning in multi-agent systems. In: Journal of Logic and Computation. 2002 ; Vol. 12, No. 1. pp. 55-117.
@article{0f9d5ff0bc3844ae91b38e8969bb1915,
title = "Formalising collaborative decision-making and practical reasoning in multi-agent systems",
abstract = "In this paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through to joint decision. In a multi-agent environment, where self-motivated autonomous agents try to pursue their own goals, a joint decision cannot be taken for granted. In order to decide effectively, agents need the ability to (a) represent and maintain a model of their own mental attitudes, (b) reason about other agents' mental attitudes, and (c) influence other agents' mental states. Social mental shaping is advocated as a general mechanism for attempting to have an impact on agents' mental states in order to increase their cooperativeness towards a joint decision, Our approach is to specify a novel, high-level architecture for collaborative decision-making in which the mentalistic notions of belief, desire, goal, intention, preference and commitment play a central role in guiding the individual agent's and the group's decision-making behaviour. We identify preconditions that must be fulfilled before collaborative decision-making can commence and prescribe how cooperating agents should behave, in terms of their own decision-making apparatus and their interactions with others, when the decision-making process is progressing satisfactorily. The model is formalized through a new, many-sorted, multi-modal logic.",
keywords = "multi-agent systems, BDI logic, joint mental attitudes, inter-agent social behaviour, AGENTS, TEAMWORK",
author = "P. Panzarasa and Jennings, {N. R.} and Norman, {Timothy J}",
year = "2002",
month = "1",
doi = "10.1093/logcom/12.1.55",
language = "English",
volume = "12",
pages = "55--117",
journal = "Journal of Logic and Computation",
issn = "0955-792X",
publisher = "Oxford University Press",
number = "1",

}

TY - JOUR

T1 - Formalising collaborative decision-making and practical reasoning in multi-agent systems

AU - Panzarasa, P.

AU - Jennings, N. R.

AU - Norman, Timothy J

PY - 2002/1

Y1 - 2002/1

N2 - In this paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through to joint decision. In a multi-agent environment, where self-motivated autonomous agents try to pursue their own goals, a joint decision cannot be taken for granted. In order to decide effectively, agents need the ability to (a) represent and maintain a model of their own mental attitudes, (b) reason about other agents' mental attitudes, and (c) influence other agents' mental states. Social mental shaping is advocated as a general mechanism for attempting to have an impact on agents' mental states in order to increase their cooperativeness towards a joint decision, Our approach is to specify a novel, high-level architecture for collaborative decision-making in which the mentalistic notions of belief, desire, goal, intention, preference and commitment play a central role in guiding the individual agent's and the group's decision-making behaviour. We identify preconditions that must be fulfilled before collaborative decision-making can commence and prescribe how cooperating agents should behave, in terms of their own decision-making apparatus and their interactions with others, when the decision-making process is progressing satisfactorily. The model is formalized through a new, many-sorted, multi-modal logic.

AB - In this paper, we present an abstract formal model of decision-making in a social setting that covers all aspects of the process, from recognition of a potential for cooperation through to joint decision. In a multi-agent environment, where self-motivated autonomous agents try to pursue their own goals, a joint decision cannot be taken for granted. In order to decide effectively, agents need the ability to (a) represent and maintain a model of their own mental attitudes, (b) reason about other agents' mental attitudes, and (c) influence other agents' mental states. Social mental shaping is advocated as a general mechanism for attempting to have an impact on agents' mental states in order to increase their cooperativeness towards a joint decision, Our approach is to specify a novel, high-level architecture for collaborative decision-making in which the mentalistic notions of belief, desire, goal, intention, preference and commitment play a central role in guiding the individual agent's and the group's decision-making behaviour. We identify preconditions that must be fulfilled before collaborative decision-making can commence and prescribe how cooperating agents should behave, in terms of their own decision-making apparatus and their interactions with others, when the decision-making process is progressing satisfactorily. The model is formalized through a new, many-sorted, multi-modal logic.

KW - multi-agent systems

KW - BDI logic

KW - joint mental attitudes

KW - inter-agent social behaviour

KW - AGENTS

KW - TEAMWORK

U2 - 10.1093/logcom/12.1.55

DO - 10.1093/logcom/12.1.55

M3 - Article

VL - 12

SP - 55

EP - 117

JO - Journal of Logic and Computation

JF - Journal of Logic and Computation

SN - 0955-792X

IS - 1

ER -