Skip to Main content Skip to Navigation
Theses

Systèmes d'agents normatifs: concepts et outils logiques

Abstract : The word agent has been introduced to hide the different origins of the participants of an interaction, which could be software products or human beings. An agent may be considered as a black box having the capacity for controlling its behavior. This property, called autonomy, is in contradiction with the possibility to control the agent's behavior from outside. In this thesis, the social norms are proposed as a trade-off solution to solve this contradiction. A norm has the double role to inform of the desired behavior and to influence the agents to follow it. This report is divided in two parts: one introduces the concepts, the other describes the tools. The first part is built on the social paradigm of the MAS conception. We show how the notions of social dependence, organization and role offer a better way to describe the interaction among agents. In order to highlight the meaning we give to the notion of norm, we study the way this concept is used in other domains such as law, computer security, distributed systems and agent-based systems. Then we describe our solutions to the problems concerning the normative interaction. The architectural structures that we propose are called Normative Agent Systems (NAS). We also give a description of the main actors of such systems and we show what tools are needed to build them. The description of the norms makes use of certain concepts such as action, time, obligations or agency. The second part describes how these concepts are formalized in the literature (e.g. temporal logic, deontic logic, action logic) and which are their shortcomings. We propose a temporal formalism that allows us to describe the normative interaction and we show its applicability. The formalism is used to provide the tools necessary to the construction of the main actors of a NAS: agent behavior monitoring, violation detection, deontic scheduling or planning, normative communication.
Document type :
Theses
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-00005215
Contributor : Tiberiu Stratulat <>
Submitted on : Friday, March 5, 2004 - 3:39:36 PM
Last modification on : Monday, October 19, 2020 - 10:55:17 AM
Long-term archiving on: : Monday, June 27, 2011 - 3:07:08 PM

Identifiers

  • HAL Id : tel-00005215, version 2

Citation

Tiberiu Stratulat. Systèmes d'agents normatifs: concepts et outils logiques. Génie logiciel [cs.SE]. Université de Caen, 2002. Français. ⟨tel-00005215v2⟩

Share

Metrics

Record views

562

Files downloads

1522