Management of preferences in assumption-based reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 682 LNCS, Issue , 1993, Pages 13-22

  Cayrol, C ^a   Royer, V ^b   Saurel, C ^b  

^a UNIVERSITÉ PAUL SABATIER   (France)

^b ONERA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE BASED SYSTEMS;

ASSUMPTION-BASED REASONING; COMPUTATIONAL ASPECTS; CONSTRUCTIVE SOLUTIONS; INTEGRATION PROBLEMS; LOGICAL REASONING; METHODOLOGICAL APPROACH; PREFERENCE-BASED;

INFORMATION MANAGEMENT;

EID: 84988820761     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-56735-6_39     Document Type: Conference Paper

References (17)

1. K.J. Arrow: Social Choice and Individual Values. Yale University Press 1963.
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.
3. G. Brewka. Preferred sub-theories-An extended logical framework for default reasoning: Proc. IJCAI 1989, pp. 1043–1048.
4. C. Cayrol: Un modèle logique général pour le raisonnement révisable. Revue d'Intelligence Artificielle 6 (3), 255–284 (1992).
5. P. Chatalic, C. Froidevaux: Graded Logics: a framework for uncertain and defeasible knowledge. Proc. ISMIS 1991, Charlotte (NC).
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.
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.
8. D. Dubois, H. Prade: Possibilistic logic, preferential models, non monotonicity and related issues. Proc. IJCAI 1991, pp. 419–424.
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.
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.
11. V. Lifschitz: Circumscriptive theories: a logic-based framework for knowledge representation. Proc. AAAI 1987, pp. 364–368.
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.
13. T. Przymusinski: On the declarative semantics of stratified deductive databases. Proc. Foundations of Deductive Databases and Logic programming, Washington, 1986.
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.
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.
16. Y. Shoham: NonMonotonic Logics: Meaning and Utility. Proc. IJCAI 1987, pp. 388–393.
17. J. Wrzos-Kaminski, A. Wrzos-Kaminska: Explicit Ordering of Defaults in ATMS. Proc. ECAI 1990, pp. 714–719.