A diff-Based Merging Operator
Type de document :
Communication dans un congrès avec actes
Titre :
A diff-Based Merging Operator
Auteur(s) :
Everaere, Patricia [Auteur]
Centre de Recherche en Informatique de Lens [CRIL]
Systèmes Multi-Agents et Comportements [SMAC]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Konieczny, Sébastien [Auteur]
Institut de recherche en informatique de Toulouse [IRIT]
Centre de Recherche en Informatique de Lens [CRIL]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Marquis, Pierre [Auteur]
Centre de Recherche en Informatique de Lens [CRIL]
Centre de Recherche en Informatique de Lens [CRIL]
Systèmes Multi-Agents et Comportements [SMAC]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Konieczny, Sébastien [Auteur]
Institut de recherche en informatique de Toulouse [IRIT]
Centre de Recherche en Informatique de Lens [CRIL]
Laboratoire d'Informatique Fondamentale de Lille [LIFL]
Marquis, Pierre [Auteur]
Centre de Recherche en Informatique de Lens [CRIL]
Éditeur(s) ou directeur(s) scientifique(s) :
Pagnucco
Maurice and Thielscher
Michael
Maurice and Thielscher
Michael
Titre de la manifestation scientifique :
Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08)
Ville :
Sidney
Pays :
Australie
Date de début de la manifestation scientifique :
2008-09-13
Titre de l’ouvrage :
Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08)
Titre de la revue :
Techical Report: UNSW-CSE-TR-0819
Éditeur :
University of New South Wales, School of Computer Science and Engineering
Date de publication :
2008
Discipline(s) HAL :
Informatique [cs]/Système multi-agents [cs.MA]
Informatique [cs]/Informatique et théorie des jeux [cs.GT]
Informatique [cs]/Ingénierie, finance et science [cs.CE]
Informatique [cs]/Intelligence artificielle [cs.AI]
Informatique [cs]/Logique en informatique [cs.LO]
Économie et finance quantitative [q-fin]/Finance [q-fin.GN]
Informatique [cs]/Informatique et théorie des jeux [cs.GT]
Informatique [cs]/Ingénierie, finance et science [cs.CE]
Informatique [cs]/Intelligence artificielle [cs.AI]
Informatique [cs]/Logique en informatique [cs.LO]
Économie et finance quantitative [q-fin]/Finance [q-fin.GN]
Résumé en anglais : [en]
Merging operators aim at defining the beliefs (resp. the goal) of a group of agents from a profile of bases, gathering the beliefs (resp. the goals) of each member of the group. In the propositional setting, a well-studied ...
Lire la suite >Merging operators aim at defining the beliefs (resp. the goal) of a group of agents from a profile of bases, gathering the beliefs (resp. the goals) of each member of the group. In the propositional setting, a well-studied family of merging operators are distance-based ones: the models of the merged base are the closest interpretations to the given profile. Closeness is, in this context, measured as a number resulting from the aggregation of the distances to each base of the profile. In this work we define a new kind of propositional merging operators, close to such distance-based merging operators, but relying on a set-theoretic definition of closeness, already at work in several revision/update operators from the literature. We study a specific merging operator of this family, obtained by considering set-product as the aggregation function.Lire moins >
Lire la suite >Merging operators aim at defining the beliefs (resp. the goal) of a group of agents from a profile of bases, gathering the beliefs (resp. the goals) of each member of the group. In the propositional setting, a well-studied family of merging operators are distance-based ones: the models of the merged base are the closest interpretations to the given profile. Closeness is, in this context, measured as a number resulting from the aggregation of the distances to each base of the profile. In this work we define a new kind of propositional merging operators, close to such distance-based merging operators, but relying on a set-theoretic definition of closeness, already at work in several revision/update operators from the literature. We study a specific merging operator of this family, obtained by considering set-product as the aggregation function.Lire moins >
Langue :
Interlingue
Comité de lecture :
Oui
Audience :
Internationale
Vulgarisation :
Non
Collections :
Source :