Cholvy, Laurence and Garion, Christophe and Saurel, Claire Modeling regulation for information sharing in a MAS: a case study. (2007) In: Actes des quatrièmes journées francophones sur les modèles formels de l'interaction - MFI'07, 30 May 2007 - 1 June 2007 (Paris, France). (Unpublished)
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 152kB |
Abstract
The aim of this paper is to define a logical language to express information sharing policies for multi-agent systems, which have to cope with dynamical environments. We propose to use a first-order logic base language to express policies via concepts like time, action, context, roles in organizations and deontic notions.We define then consistency for a sharing policy and propose two definitions for policy completeness.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Audience (conference): | National conference without published proceedings |
Uncontrolled Keywords: | |
Institution: | Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE) French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE) |
Laboratory name: | |
Statistics: | download |
Deposited On: | 18 Dec 2008 16:35 |
Repository Staff Only: item control page