Bibtex de la publication

@InProceedings{ GaLoLoTu2008.1,
author = {Gaudou, Benoit and Longin, Dominique and Lorini, Emiliano and Tummolini, Luca},
title = "{Anchoring Institutions in Agents' Attitudes: Towards a Logical Framework for Autonomous MAS}",
booktitle = "{International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Estoril, Portugal, 12/05/2008-16/05/2008}",
year = {2008},
publisher = {ACM Press},
address = {},
pages = {728--735},
language = {anglais},
URL = {},
keywords = {Modal logic, acceptance, institutions, autonomous MAS},
abstract = {The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (`nomos') itself (`auto') independently of any external normative constraint specified by a designer. In particular, a MAS is autonomous if it is able to maintain its social institutions (i.e. rule-governed social practices) only by way of the agents' attitudes. In order to specify an autonomous MAS, we propose the logic AL (Acceptance Logic) in which the acceptance of a proposition by the agents qua group members (i.e. group acceptance) is introduced. Such propositions are true w.r.t. an institutional context and correspond to facts that are instituted in an attitude-dependent way (i.e. normative and institutional facts). Finally, we contend that the present approach paves the way for a foundation of legal institutions, for studying the interaction between social and legal institutions and, eventually, for understanding and modeling institutional change.}