A Formal View of Social Dependence Networks

TY - CHAP

T1 - A Formal View of Social Dependence Networks

AU - d'Inverno, M.

AU - Luck, M.

PY - 1996

Y1 - 1996

N2 - In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agency and autonomy. In particular, this work made the claim that the framework could serve as a vehicle for the precise presentation and evaluation of models and theories of multi-agent systems. We support this claim by outlining the framework and refining it through adding further levels of detail to formalise the concepts of external descriptions and social dependence networks. Social Dependence Networks are a valuable source of information about the relationships within a multi-agent world. They allow agents to reason about the resources and capabilities of others in order that they may enter into a negotiation to persuade these others to assist them in completing their tasks. By formalising social dependence networks within the framework we are able to identify deficiencies in the original characterisation of the networks and the external descriptions of agents within them. We address these deficiencies, and offer a modified view which removes much of the ambiguity and presents a stronger and more consistent formal model. In reformulating these networks in this way, we also present a case study which shows how the formal framework that has been previously developed can be applied to provide an environment in which we can describe and reason about theories and models of multi-agent systems.

AB - In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agency and autonomy. In particular, this work made the claim that the framework could serve as a vehicle for the precise presentation and evaluation of models and theories of multi-agent systems. We support this claim by outlining the framework and refining it through adding further levels of detail to formalise the concepts of external descriptions and social dependence networks. Social Dependence Networks are a valuable source of information about the relationships within a multi-agent world. They allow agents to reason about the resources and capabilities of others in order that they may enter into a negotiation to persuade these others to assist them in completing their tasks. By formalising social dependence networks within the framework we are able to identify deficiencies in the original characterisation of the networks and the external descriptions of agents within them. We address these deficiencies, and offer a modified view which removes much of the ambiguity and presents a stronger and more consistent formal model. In reformulating these networks in this way, we also present a case study which shows how the formal framework that has been previously developed can be applied to provide an environment in which we can describe and reason about theories and models of multi-agent systems.

U2 - 10.1007/3-540-61314-5_25

DO - 10.1007/3-540-61314-5_25

M3 - Conference paper

SN - 9783540613145

VL - N/A

T3 - Lecture Notes in Artificial Intelligence

SP - 115

EP - 129

BT - Distributed Artificial Intelligence

A2 - Zhang, C.

A2 - Lukose, D.

PB - Springer Finance

CY - Berlin and New York

ER -