Using possibilistic logic for modeling qualitative decision: ATMS-based algorithms

Fundamenta Informaticae

Volumn 37, Issue 1, 1999, Pages 1-30

  Dubois, Didier ^a   Le Berre, Daniel ^a   Prade, Henri ^a   Sabbadin, Régis ^a  

^a IRIT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; PROBABILISTIC LOGICS;

POSSIBILISTIC LOGICS;

DECISION THEORY;

EID: 0032644406     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1999-371201     Document Type: Article

References (32)

1. S. Benferhat, D. Dubois, H. Prade. Representing default rules in possibilistic logic. In Proc. 3rd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'92) (B. Nebel, C. Rich, W. Swartout eds.), pp. 673-684, Cambridge, MA, Oct. 25-29, 1992.
2. B. Bonet, H. Geffner. Arguing for decisions : a qualitative model of decision making. In Proc. of the 12th Conf. on Uncertainty in Artificial Intelligence (UAI'96) (E. Horwitz, F. Jensen, eds.), pp. 98-105, Portland, Oregon, July 31-Aug. 4 1996.
3. C. Boutilier. Toward a logic for qualitative decision theory. In Proc. 4th Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'94) (J. Doyle, E. Sandewall, P. Torasso, eds.), pp. 75-86, Bonn, Germany, May 24-27, 1994.
4. R. I. Brafman, M. Tennenholtz. On the foundations of qualitative decision theory. In Proc. 12th National Conf. on Artificial Intelligence (AAAI'96), pp. 1291-1296, Portland, Oregon, Aug. 4-8, 1996.
5. T. Castell, M. Cayrol. Computation of prime implicates and prime implicants by the davis and putnam procedure. In Proc. ECAI'96 Workshop on Advances in Propositional Deduction, pp. 61-64, Budapest, 1996.
6. T. Castell, C. Cayrol, M. Cayrol, D. Le Berre. Efficient computation of preferred models with Davis and Putnam procedure. In Proc. European Conference on Artificial Intelligence (ECAI'96), pp. 354-358, 1996.
7. T. Castell, C. Cayrol, M. Cayrol, D. Le Berre. Modèles P-restreints. Applications à l'inférence proportionnelle. In Proc. Reconnaissance des Formes et Intelligence Artificielle (RFIA'98), Clermont-Ferrand, France, Jan 20-22, pp. 205-214, 1998.
8. D. Cayrac, D. Dubois, D. Prade. Practical model-based diagnosis with qualitative possibilistic uncertainty. In Proc. of the 11th Conf. on Uncertainty in Artificial Intelligence (UAI'95), pp. 68-76, Montreal, Canada, Aug. 1995.
9. H. Davis and L. Putnam. A computing procedure for quantification theory, Journal of the ACM (7), pp 201-215, 1960.
10. H. Davis, G. Logemann and D. Loveland. A machine program for theorem proving, Commun. ACM (5), pp 394-397, 1962.
11. J. De Kleer. An assumption based truth maintenance system. In Artificial Intelligence, (28) pp. 127-162, 1986.
12. J. De Kleer. Extending the ATMS. InArtificial Intelligence, (28) pp. 163-196, 1986.
13. O. Dubois, P. André, Y. Boufkhad, J. Carlier. Sat vs. unsat. In 2nd DIMACS Implementation Challenge, volume 26 of DIMACS series, pp 415-436. American Mathematical Society, 1996.
14. D. Dubois, H. Fargier, H. Prade. Decision-making under ordinal preferences and uncertainty. In Proc. of 13th Nat. Conf on Uncertainty in Artificial Intelligence (UAI'97), pp. 157-164, Providence R.I., 1997.
15. D. Dubois, J. Lang, H. Prade. Automated reasoning using possibilistic logic: Semantics, belief revision, and variable certainty weights. IEEE Trans. on Knowledge and Data Engineering, 6(1):64-69, 1994.
16. D. Dubois, D. Le Berre, H. Prade, R. Sabbadin. Logical representation and computation of optimal decisions in a qualitative setting. In Proc. 14th Nat. Conf on Artificial Intelligence (AAAI'98), pp. 588-593. Madison, Wisconsin, July 26-30, 1998.
17. D. Dubois, H. Prade. Possibility theory as a basis for qualitative decision theory. In Proc. of the 14th Inter. Joint Conf. on Artificial Intelligence (IJCAI'95), pp. 1925-1930, Montreal, Canada, Aug. 20-25, 1995.
18. D. Dubois, H. Prade. Possibilistic mixtures and their applications to qualitative utility theory. Part II: decision under incomplete knowledge. In Proc. of Foundations and Applications of Possibility Theory (FAPT'95), (G. de Cooman, Da Ruan, E.E. Kerre, eds.), pp. 256-266, Ghent, Belgium, Dec. 13-15, 1995.
19. D. Dubois, H. Prade. Combining hypothetical reasoning and plausible inference in possibilistic logic. Multiple Valued Logic, 1, pp. 219-239, 1996.
20. D. Dubois, H. Prade, R. Sabbadin. A possibilistic logic machinery for qualitative decision. In Proc. of the AAAI 1997 Spring Symposium Series (Qualitative Preferences in Deliberation and Practical Reasoning, Standford University, California, March 24-26, 1997.
21. D. Dubois, H. Prade, R. Sabbadin. Towards axiomatic foundations for decision under qualitative uncertainty. In Proc. of the 7th Conf. International Fuzzy Systems Association (IFSA'97), pp. 441-446, Prague, Czech Republic, June 25-29, 1997.
22. D. Dubois, H. Prade, R. Sabbadin. Qualitative decision theory with Sugeno integrals. In Proc. 14th Conf. Uncertainty in artificial Intelligence (UAI'98), pp. 121-128. Madison, July 24-26, 1998.
23. H. Fargier, J. Lang, R. Sabbadin. Towards qualitative approaches to multistage decision making. In Proc. of the 6th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-based Systems (IPMU'96), pp. 31-36, Granada (Spain), July 1-5, 1996.
24. D. Le Berre. Le calcul de modèles possibles basé sur la procédure de Davis et Putnam, et ses applications. Technical report IRIT / 96-32-R, September 1996.
25. D. Le Berre, R. Sabbadin. Decision-theoretic diagnosis and repair: representational and computational issues. In Proc. of the 8th International Workshop on Principles of Diagnosis (DX'97), pp. 141-145, Le Mont-Saint-Michel, France, September 15-18, 1997.
26. Chu Min Li, Anbulagan. Heuristics based on unit propagation for satisfiability problems. In Proc. of the 15th Inter. Joint Conf. on Artificial Intelligence (IJCAI'97), pp. 366-371, 1997.
27. W. Hamscher, L. Console, J. de Kleer (eds). Readings in Model-Based Diagnosis. Morgan Kaufmann Publishers, San Mateo, CA, 1992.
28. J. Pearl. System Z: A natural ordering of defaults with tractable applications to default reasoning. In Proc of the 3rd Conf. on Theoretical Aspects of Reasoning About Knowledge (TARK'90),pp. 121-135, Morgan Kaufmann, 1990.
29. J. Pearl. From conditional oughts to qualitative decision theory. In Proc. of the 9th Conf. on Uncertainty in Artificial Intelligence (UAI'93),(D. Heckerman, A. Mamdani eds.), pp. 12-20, Washington, DC, July 9-11, 1993.
30. H. Prade. Model semantics and fuzzy set theory. In Fuzzy Sets and Possibility theory. Recent Developments . R.R Yager Ed, Pergamon Press, pp. 232-246, 1982.
31. L. J. Savage. The Foundations of Statistics. Dover, New York, 1972.
32. S. W. Tan and J. Pearl. Qualitative decision theory. In Proc. 11th National Conf. on Artificial Intelligence (AAAI'94), pp. 928-933, Seattle, WA, July 31-Aug. 4, 1994.