>

Laurence Cholvy

(last update January 2010)

Maître de Recherches, ONERA Centre de Toulouse.
Information Modelling Department (DTIM)
email : Firstname.Lastname@cert.fr

Research Activities

Using Logics for:

  • Information Fusion: information evaluation, logical approach to Dempster_Shafer's Theory
  • Reasoning with Inconsistency: information base updates, Consistency Restoration
  • Normative Reasoning: Normative conflicts, regulations consistency, Contrary-To-Duties, Collective obligations, regulations completeness.
  • Multi-agents: Reasoning with Goals, Preferences, Ability, Actions, Relevant information.
  • Nonclassical Answers Generation: Safe answers, Intensional answers.

    • Publications

    2009

    L. Cholvy, S. Roussel
    A formal characterization of relevant information in multi-agent systems
    NATO IST Panel Symposium IST-087 "Information Management/Exploitation", Stockholm, october 2009.

    C. Garion, S. Roussel, L. Cholvy
    How to complete regulations in multi-agent systems
    (short paper) In Proceedings of the international conference on Intelligent Agent Technology (IAT'09), Milano, september 2009.

    J. Besombes, L. Cholvy, V. Nimier
    Information Evaluation in Fusion using Information correlation
    In Proceedings of 12nd International Conference on Information Fusion (FUSION'2009), Seattle , July 2009.

    S. Roussel, L. Cholvy
    Cooperative interpersonal communication and relevant information
    Workhshop "Logical Methods for Social Concepts" (LMSC'09), Bordeaux, July 2009.

    L. Cholvy
    Using Logic to Understand relations between DSmT and Dempster-Shafer Theory (abstract)
    In Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and
    Uncertainty (ECSQARU), Verona, Italy, july 2009.

    S. Roussel, L. Cholvy
    Une définition en logique modale de la pertinence orientée agent
    In Actes des Cinquièmes Journées Francophones "MODÈLES FORMELS de l'INTERACTION" (MFI'09), Lannion, juin 2009.

    C. Garion, S. Roussel, L. Cholvy
    Une logique modale pour raisonner sur la cohérence et la complétude des réglementations
    In Actes des Cinquièmes Journées Francophones "MODÈLES FORMELS de l'INTERACTION" (MFI'09), Lannion, juin 2009.

    C. Garion L. Cholvy, S. Roussel
    A modal logic for reasoning on conistency and completeness of regulations
    International Workshop on Normative Multi Agent Systems (NorMAS'09), 16-20 mars 2009, Dagstuhl.

    L. Cholvy, C Garion
    Apports de la logique mathématique dans la modélisation formelle des informations et des systèmes
    In "Gestion de la complexité et de l'information dans les grands systèmes critiques", Editeur Alain Appriou, CNRS Edition, janvier 2009.

    J. Besombes, L. Cholvy
    Cotation des Informations en Fusion de Renseignements: utilisation d'une ontologie
    In "Gestion de la complexité et de l'information dans les grands systèmes critiques", Editeur Alain Appriou, CNRS Edition, janvier 2009.

    2008

    L. Cholvy, S. Roussel
    Towards Agent-oriented relevant Information (abstract)
    In Proceedings of the 13th International Conference on Artificial Intelligence: Methodologies, Systems and Applications (AIMSA 2008). D. Dochev, M. pistore and P. Traverso (eds). LNAI 5253, pp 22-31, Springer-Verlag, 2008.

    L. Cholvy
    Utilisation de la logique pour mettre en relation la DSmT et la théorie de Dempster-Shafer
    LFA'08 (Rencontres sur la logique floue et ses applications), Lens, Octobre 2008.

    L. Cholvy, S. Roussel
    Consistency and Completeness of Regulations
    International Workshop on Normative Multi Agent Systems (NorMAS'08), 15-18 July 2008, Luxembourg.

    L. Cholvy, C. Saurel
    Checking Compliance of a system with regulations: towards a formalisation
    International Workshop on Regulations Modelling and Deployment (REMOD'08) , in conjunction with CAISE'08, 16 June 2008, Montpellier.

    L. Cholvy
    Relation between DSmT and classical Dempster-Shafer Theory
    (unpublished note)

    2007

    L. Cholvy, S. Roussel
    Reasoning with an incomplete information exchange policy (abstract)
    In Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and
    Uncertainty (ECSQARU), Hammamet, Tunisia, october 2007.

    J. Besombes, L. Cholvy
    Information Fusion: using an ontology to information evaluation (abstract)
    In Proceedings of the International Colloquium of Information Fusion (ICIF'07), August 22-25, 2007, Xi'an, China.

    L. Cholvy
    Modelling Information Evaluation in Fusion. (abstract)
    In Proceedings of 10th International Conference on Information Fusion (FUSION'2007), Québec, July 2007.

    A.L. Jousselme, P. Maupin, Ch. Garion, L. Cholvy, Cl. Saurel
    Situation awareness and ability in coalitions
    In Proceedings of 10th International Conference on Information Fusion (FUSION'2007), Québec, July 2007.

    L. Cholvy, Ch. Garion, Cl. Saurel
    Modélisation de réglementations pour le partage d'information dans un SMA.
    Actes des Quatrièmes Journées Francophones "MODÈLES FORMELS de l'INTERACTION" (MFI'07), Paris, mai 2007.

    2006

    L. Cholvy, Ch. Garion, Cl. Saurel
    Information Sharing Policies for coalition systems
    Proceedings of NATO RTO-IST-062 Symposium on Dynamic communications management. Budapest, Hungary, october 2006.

    L. Cholvy
    Querying contradictory databases by taking into account their reliability and their number (abstract)
    Flexible Databases Supporting Imprecision and Uncertainty. Gloria Bordogna and Giuseppe Psaila editors. Springer Verlag, 2006, pp 149-168 .

    2005

    L. Cholvy, Ch. Garion, Cl Saurel
    Ability in a multi-agent context: a model in the Situation Calculus
    Proceedings of Sixth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA VI), >London, June 27-29, 2005.

    L. Cholvy
    A modal logic for reasoning with contradictory beliefs which takes into account the number and the reliability of the sources (abstract)
    In Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and
    Uncertainty (ECSQARU), Barcelona, Spain, July 2005.

    L. Cholvy, Ch. Garion, Cl Saurel
    Notion de capacité dans un contexte multi-agents: une modélisation dans le calcul des situations
    Actes des Troisièmes Journées Francophones "MODÈLES FORMELS de l'INTERACTION" (MFI'05), Caen, 25-27 mai 2005.

    L. Cholvy, Ch. Garion
    Strategies for Distributing Goals in a team of cooperative agents
    In LNAI 3451, pp 178-190, 2005, Springer-Verlag Berlin Heidelberg 2005

    2004

    L. Cholvy, Ch. Garion
    Desires, norms and constraints (abstract)
    In Proc. of 3rd Int. Joint. Conf. on Autonomous Agents and Multi-Agents Systems (AAMAS 2004), New-York, July 2004.

    L. Cholvy, Ch. Garion
    Strategies for Distributing Goals in a team of cooperative agents
    In Proc. of 5th Int. Workshop on Engineering Societies in the Agents World (ESAW 2004), Toulouse, October 2004.

    L. Cholvy
    Information Evaluation in fusion: a case study
    In Proceedings of 10th International Conference on Information Processing and management of Uncertainty in Knowledge-Based Systems (IPMU'04), Perugia, July 2004.

    L. Cholvy, Ch. Garion
    Querying several conflicting databases (abstract)
    In Journal of Applied Non-Classical Logics, Hermès Lavoisier, vol 14(3), 2004.

    L. Cholvy, Ch. Garion
    Answering queries addressed to several databases according to a majority merging approach (abstract)
    In Journal of Intelligent Information Systems, Kluwer Academic Publishers, vol 22, no 2, 2004.

    2003

    L. Cholvy
    Towards another logical interpretation of Theory of Evidence and a new combination rule
    In Intelligent Systems for Information Processing: From Representation to Applications. Ed B. Bouchon-Meunier, L. Foulloy, R.R. Yager.Elsevier, Elsevier publishers, 2003.

    L. Cholvy, V. Nimier
    Information Evaluation: discussion about STANAG 2022 recommendations
    In NATO-IST Symposium "Military data and information fusion". Prague, république Tchèque, 20-22 octobre 2003.

    L. Cholvy, Ch. Garion
    Exigences, réglementations et contraintes
    In Actes des Journées Nationales sur les Modèles de Raisonnements (JNMR-2003), Paris, Novembre 2003.

    L. Cholvy
    Information Evaluation in fusion: a case study
    In Proc of ECSQARU-03 Workshop "Uncertainty, Incompleteness, Imprecision and Conflict in Multiple Data Sources", Aalborg, July 2003.

    L. Cholvy, Ch. Garion
    Querying several conflictual databases
    In Proc of ECSQARU-03 Workshop "Uncertainty, Incompleteness, Imprecision and Conflict in Multiple Data Sources", Aalborg, July 2003.

    2002

    L. Cholvy, Ch. Garion
    Distribution of goals addressed to a group of agents (abstract)
    In Proc. of 2nd Int. Joint. Conf. on Autonomous Agents and Multi-Agents Systems (AAMAS 2003), Melbourne, July 2003.

    L. Cholvy, A. Hunter
    Merging requirements froms a set of ranked agents (abstract)
    In Knowledge-Based Systems 16 (2003) 113-126, Elsevier.

    L. Cholvy, Ch. Garion
    Methodes formelles pour l'ingenierie des exigences: fusion de points de vue par une approche majoritaire.
    In 15iemes Journees Internationales: Genie Logiciel et Ingenierie des Systemes et leurs applications (ICSSEA 2002), Paris, decembre 2002.

    L. Cholvy, Ch. Garion
    Merging conflictual requirements with a majority approach.
    In International Workshop on Requirements for High Assurance Systems (RHAS'02), september 2002, Essen, Germany.

    P. Bosc, L. Cholvy, D. dubois, N. Mouaddib, O. Pivert, H. Prade, G. Raschia, M-C. Rousset
    Les informations incompletes dans les bases de donnees et en intelligence artificielle.
    In Actes des assises du GDR I3, decembre 2002.

    L. Cholvy and Ch. Garion
    Allocation des buts affectes a un groupe d'agents.
    In Revue I3 (Information, Intelligence, Interaction), Cepadues Editions, Hors Serie 2002.

    L. Cholvy
    Towards another logical interpretation of Theory of Evidence and a new combination rule
    In Proceedings of 9th International Conference on Information Processing and management of Uncertainty in Knowledge-Based Systems (IPMU'02), Annecy, July 2002.

    L. Cholvy, Ch. Garion
    Answering queries addressed to several databases: a query evaluator which implements a majority merging approach (abstract)
    In Proceedings of XIII International Symposium on Methodologies for Intelligent Systems (ISMIS 2002), Lyon, June 2002.

    L. Cholvy, Ch. Garion
    Collective obligations, commitments and individual obligations: a preliminary study
    In Proceedings of 6th international Workshop on Deontic Logic in Computer Science (DEON'02), Londres, May 2002.

    2001

    L. Cholvy
    Fusion de croyances et revision
    In Revision, cognition et interaction, Psychologie de l'interaction No 11 et 12, L'Harmattan, 2001.

    L. Cholvy and S. Moral
    Merging Databases: Problems and Examples (abstract)
    In International Journal of Intelligent Systems, Special Issue on Data and Knowledge Fusion, 16 (10), october 2001.

    F. Cuppens and L. Cholvy and Cl. Saurel and J. Carrere
    Merging regulations: Analysis of a Practical Example
    In International Journal of Intelligent Systems, Special Issue on Data and Knowledge Fusion, 16 (11), november 2001.

    L. Cholvy
    Data Merging: Theory of Evidence vs Knowledge-Bases Merging Operators (abstract)
    In Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and
    Uncertainty (ECSQARU), Toulouse, France, September 2001.

    L. Cholvy and Ch. Garion
    An attempt to adapt a logic of conditional preferences for reasoning with Contrary-To-Duties
    In Fundamenta Informaticae, 47 (2001).

    L. Cholvy and Ch. Garion
    A logic to reason on contradictory beliefs with a majority approach
    In Workshop IJCAI "Inconsistency in Data and Knowledge", August 2001, Seattle.

    L. Cholvy and Ch. Garion
    Allocation des buts affectes a un groupe d'agents
    In Premieres Journees Francophones sur les Modeles Formels de l'Interaction, Mai 2001, Toulouse.

    L. Cholvy and Ch. Garion
    Utilisation d'une logique de preferences conditionnelles pour raisonner avec des normes Contrary-To-Duties
    In Journees Nationales sur les Modeles de Raisonnement, Mai 2001, Arras.

    2000

    L. Cholvy
    Mises a jour dans les bases de donnees
    In Le temps, l' espace et l'evolutif, Cepadues editeur, 2000.

    L. Cholvy
    Applying Theory of Evidence in multisensor data fusion: a logical interpretation
    In Proceedings of the third International Conference on FUSION, FUSION'2000, Paris, June 2000.

    L. Cholvy and Ch. Garion
    An attempt to adapt a logic of conditional preferences for reasoning with Contrary-To-Duties
    In Proceedings of DEON'00, Toulouse, France, January 2000.

    Before 2000

    L. Cholvy
    Checking regulation consistency by using SOL-deduction
    In Proceedings of AI and Law conference, Oslo, Norway, june 1999, ACM ISBN: 1-58113-165-8.

    L. Cholvy
    A general framework for reasoning about contradictory information and some of its applications
    In Proceedings of ECAI workshop "Conflicts among agents", Brighton, England, August 1998.

    L. Cholvy and F. Cuppens
    Reasoning about norms provided by conflicting regulations
    In Proceedings of DEON'98, Bologna, Italy, january 1998.
    Revised version In Norms, Logics and Infromation Systems. New studies in Deontic Logic and Computer Science.
    P. Mc Namara, H. Prakken editors, IOS Press, 1999.

    L. Cholvy, F. Cuppens, R. Demolombe
    Logiques Modales et bases de Données
    Revue TSI, vol 3, 1998, Hermès.

    L. Cholvy
    Reasoning about data provided by federated deductive databases
    In Journal of Intelligent Information Systems, Kluwer Academic Publishers, vol 10, no 1, 1998.

    L. Cholvy
    An application of SOL-deduction: checking regulation consistency
    In Poster Collection of IJCAI '97, Nagoya, Japan, august 1997

    L. Cholvy, F. Cuppens and Cl. Saurel
    Towards a logical formalization of responsibility
    In Proceedings of AI and Law , Melbourne, Australia, june 1997

    L. Cholvy and T. Hunter
    Information Fusion in Logic: a brief overview
    In Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and
    Uncertainty (ECSQARU), Bad Honnef, Germany, June 1997

    L. Cholvy and F. Cuppens
    Analysing consistency of security policies
    In Proceedings of IEEE Symposium on Security and Privacy, Oakland, USA, may 1997

    L. Cholvy
    Adding information by taking topics into account
    In Proceedings of Dagsthul Seminar "Logic databases and the meaning of changes", Dagsthul, Germany, sept 1996.

    L. Cholvy
    Answering queries addressed to a group of deductive databases
    Workshop on Flexible Query-Answering Systems, Roskilde University, Danemark, may 1996.

    L. Cholvy and F. Cuppens.
    Solving normative conflicts by merging roles..
    In Proceedings of the fifth International Conference on Artificial Intelligence and Law, Washington, May 1995.

    L. Cholvy and F. Cuppens.
    Providing Consistent Views in a Polyinstanted Database. .
    In Database Security, 8: Status and Prospects. Results of the IFIP WG 11.3 Workshop on Database Security . North Holland, 1995.

    L. Cholvy.
    Automated reasoning with merged contradictory information whose reliability depends on topics.
    In Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU), Fribourg, July 1995.

    L. Cholvy and R. Demolombe.
    Reasoning with information sources ordered by topics.
    In Proceedings of Artificial Intelligence : Methods, Systems and Applications (AIMSA). World Scientific, Sofia, september 1994.

    L. Cholvy, R. Demolombe, and A. Jones.
    Reasoning about the safety of information : from logical formalization to operational definition.
    In Lecture notes in Artificial Intelligence, number 869. Springer-Verlag, 1994.

    L. Cholvy.
    Database updates and transition constraints : a formula-based approach.
    International Journal of Intelligent Systems, 9(1), 1994.

    L. Cholvy.
    Fusion de sources d'informations contradictoires ordonnees en fonction des themes.
    Revue de l'Intelligence artificielle, 8(2), 1994.

    L. Cholvy.
    A logical approach to multi-sources reasoning.
    In Lecture notes in Artificial Intelligence, number 808. Springer-Verlag, 1994.

    Lea Sombe.
    A Glance at Revision and Updating in Knowldege Bases .
    International Journal of Intelligent Systems, 9(1), 1994.

    L. Cholvy.
    Proving theorems in a multi-sources environment.
    In Proceedings of IJCAI, pages 66--71, 1993.

    L. Cholvy.
    Updates and topics of information
    In IJCAI workshop on Reasoning about action and change, 1993.

    L. Cholvy.
    Answering queries addressed to a rule base.
    Revue d'Intelligence Artificielle, 4(1), 1990.

    L. Cholvy.
    Querying an inconsistent database.
    In Proceedings of Artificial Intelligence : Methodology, systems and applications (AIMSA). North Holland, 1990.