Management of preferences in assumption-based reasoning

  • C. Cayrol
  • V. Royer
  • C. Saurel
Non Monotonic Reasoning
Part of the Lecture Notes in Computer Science book series (LNCS, volume 682)


This paper presents a methodological approach to the management of symbolic preferences in integration with classical pure logical reasoning problems. We investigate two selection modes for choosing preferred sets of assumptions: democratism and elitism.

Principally we show how to manage the optimization of democratism preference criterion in the context of coherence restoration.

The use of symbolic structures for the preferences also makes possible the translation by formal duality of democratism preference-based coherence problems into elitism preference-based explanation problems.

Finally we insist on the computational aspects by considering the pragmatics of the integration problems and proposing constructive solutions.


Default Theory Duality Principle Deductive Database Explanation Problem Selective Explanation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    K.J. Arrow: Social Choice and Individual Values. Yale University Press 1963.Google Scholar
  2. 2.
    F. Achard, V. Royer, C. Saurel: Management of preferences and coherence restoration. Journées nationales du PRC-IA, Plestin les Grèves, sept. 1991.Google Scholar
  3. 3.
    G. Brewka. Preferred sub-theories-An extended logical framework for default reasoning: Proc. IJCAI 1989, pp. 1043–1048.Google Scholar
  4. 4.
    C. Cayrol: Un modèle logique général pour le raisonnement révisable. Revue d'Intelligence Artificielle 6 (3), 255–284 (1992).Google Scholar
  5. 5.
    P. Chatalic, C. Froidevaux: Graded Logics: a framework for uncertain and defeasible knowledge. Proc. ISMIS 1991, Charlotte (NC).Google Scholar
  6. 6.
    C. Cayrol, V. Royer, C. Saurel: Management of Preferences in Assumption based Reasoning. Report CERT-IRIT n∘ 92-13-R, University Paul Sabatier, March 1992.Google Scholar
  7. 7.
    D. Dubois, J. Lang, H. Prade: Inconsistency in possibilistic knowledge bases-To live or not live with it. In: Zadeh, Kacprzyk (eds.): Fuzzy Logic for the Management of Uncertainty. Wiley 1991.Google Scholar
  8. 8.
    D. Dubois, H. Prade: Possibilistic logic, preferential models, non monotonicity and related issues. Proc. IJCAI 1991, pp. 419–424.Google Scholar
  9. 9.
    J. Doyle, M.P. Wellman: Impediments to Universal Preference-Based Default Theories. Proc. 1st Conf. on Principles of Knowledge Representation and Reasoning, Toronto, pp. 94–102, 1989.Google Scholar
  10. 10.
    H. Geffner: Conditional entailment: Closing the gap between defaults and conditionals. Preprints of Third International Workshop on Nonmonotonic Reasoning, South Lake Tahoe, CA, 1990.Google Scholar
  11. 11.
    V. Lifschitz: Circumscriptive theories: a logic-based framework for knowledge representation. Proc. AAAI 1987, pp. 364–368.Google Scholar
  12. 12.
    U. Junker, G. Brewka: Handling Partially Ordered Defaults in TMS. In: Kruse, Siegel (eds.): Proc. ECSQAU. Lecture Notes in Computer Science. Springer 1991, pp. 211–218.Google Scholar
  13. 13.
    T. Przymusinski: On the declarative semantics of stratified deductive databases. Proc. Foundations of Deductive Databases and Logic programming, Washington, 1986.Google Scholar
  14. 14.
    V. Royer: Le raisonnement révisable par l'expression de préférences: méthodes et outils formels. Technical Report Onera-Cert, dec. 1990.Google Scholar
  15. 15.
    C. Saurel: Applications de raisonnement révisable dans des applications d'automatique et de robotique: Logiques préférentielles et algorithmes de maintenance de vérité. Technical Report Onera-Cert, dec. 1990.Google Scholar
  16. 16.
    Y. Shoham: NonMonotonic Logics: Meaning and Utility. Proc. IJCAI 1987, pp. 388–393.Google Scholar
  17. 17.
    J. Wrzos-Kaminski, A. Wrzos-Kaminska: Explicit Ordering of Defaults in ATMS. Proc. ECAI 1990, pp. 714–719.Google Scholar

Copyright information

© Springer-Verlag 1993

Authors and Affiliations

  • C. Cayrol
    • 1
  • V. Royer
    • 2
  • C. Saurel
    • 2
  1. 1.IRITUniversité Paul SabatierToulouseFrance
  2. 2.ONERA/CERTToulouseFrance

Personalised recommendations