Advertisement

Possibilistic Logic in Decision

  • Didier Dubois
  • Henri Prade
Chapter
Part of the The International Series on Asian Studies in Computer and Information Science book series (ASIS, volume 6)

Abstract

This short overview paper provides a preliminary investigation of the potentials of possibilistic logic in decision analysis. Indeed a possibilistic logic base can not only be seen as a set of more or less certain pieces of information (which was the original understanding when possibilistic logic was introduced), but also as a layered set of propositions expressing goal shaving different levels of priority. The paper surveys applications to multiple criteria decision (specification of preferences and goals, modeling of various types of aggregation and weighting procedures), and to decision under uncertainty. Preference revision or combination, and analysis of conflicts between goals are also briefly discussed. The possibilistic logic framework clearly supports a qualitative view of decision based on the use of ordinal scales.

Keywords

Possibilistic logic nonmonotonic reasoning multiple criteria decision 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bellman, R.; Zadeh, L.A. Decision-making in a fuzzy environment. Management Sciences, 1970, 17, 141–164.MathSciNetCrossRefGoogle Scholar
  2. Benferhat, S.; Dubois, D.; Prade, H. Representing default rules in possibilistic logic. Proc. of the 3rd Inter.Conf. on Principles of Knowledge Representation and Reasoning (KR’92), Cambridge, Mass., Oct., 673–684, 1992.Google Scholar
  3. Benferhat, S.; Dubois, D.; Prade; H. Reasoning in inconsistent stratified knowledge bases. Proc. of the 26 Inter. Symp. on Multiple-Valued Logic (ISMVL’96), Santiago de Compostela, Spain, 1996 29-31 May, 184–189.Google Scholar
  4. Benferhat, S.; Dubois, D.; Prade, H. Nonmonotonic reasoning, conditional objects and possibility theory. Artificial Intelligence, 1997a, 92, [pp259-276}.Google Scholar
  5. Benferhat, S.; Dubois, D.; Prade, H. From semantic to syntactic approaches to information combination in possibilistic logic. In: Aggregation and Fusion of Imperfect Information, Studies in Fuzziness and Soft Computing Series, (B. Bouchon-Meunier, ed.), PhysicaVerlag, 1997b, 141–161.Google Scholar
  6. Benferhat, S.; Garcia, L. Dealing with locally-prioritized inconsistent knowledge bases and its application to default reasoning. Proc. of Posters of the 15th Int. Joint Conf. on Artif. Intellig., Nagoya, Japan, 1997 Aug. 23–27, 14.Google Scholar
  7. Boutilier, C. Toward a logic for qualitative decision theory Proc. Of the 4th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-94), Bonn, (J. Doyle, E. Sandewall, P. Torasso, eds.), Morgan Kaufmann, 1994, 75–86.Google Scholar
  8. Boutilier, C; Brafman, R.; Geib, C; Poole, D. A constraint-based approach to preference elicitation and decision making. Working Notes of the AAAI’97 Spring Symp. Series on Qualitative Preferences in Deliberation and Practical Reasoning, Stanford, CA, 1997, Mar.24-26, 19–28.Google Scholar
  9. Dubois, D.; Farinas, L.; Herzig, A.; Prade, H. Qualitative relevance and independence: a roadmap. Proc. of the 15th Int. Joint Conf. on Artif. Intellig., (IJCAI-97), Nagoya, Japan, 1997a Aug. 23–27, 62-67.Google Scholar
  10. Dubois, D.; Grabisch, M; Modave, F.; Prade, H. Relating decision under uncertainty and MCDM models. Working Notes of the AAAI’97 Fall Symp. Series on Frontiers in Soft Computing and Decision Systems, Boston, 1997b November, 8-10, (L. Medsker, ed.), 6–15.Google Scholar
  11. Dubois, D.; Lang, J.; Prade, H. Automated reasoning using possibilistic logic: semantics, belief revision and variable certainty weights. IEEE Trans. on Data and Knowledge Engineering, 1994, 6 (1), 64–71.Google Scholar
  12. Dubois, D.; Le Berre, D.; Prade, H.; Sabbadin, R. Logical representation and computation of optimal decisions in a qualitative setting. Proc. 15thNational Conf. on Artif. Intellig., Madison, Wi July 26-30, 1998(AAAI-98), 588–593.Google Scholar
  13. Dubois, D.; Prade, H. Possibility theory as a basis for qualitative decision theory. Proc. of the 14th Inter. Joint Conf. on Artificial Intelligence (IJCAT95), Montreal, Canada, 1995 Aug. 20-25, 1924–1930.Google Scholar
  14. Dubois, D.; Prade, H. Constraint satisfaction and decision under uncertainty based on qualitative possibility theory. Proc. of the 6th Int. Conf. on Fuzzy Sytems (FUZZ-IEEE’97), 1997a, 23–30. A revised version is to appear in the Int. J. of Intelligent Systems.Google Scholar
  15. Dubois, D.; Prade, H. A synthetic view of belief revision with uncertain inputs in the framework of possibility theory. Int. J. Approx. Reasoning, 1997b, 17, 295–324.MathSciNetzbMATHCrossRefGoogle Scholar
  16. Dubois, D.; Prade, H.; Sabbadin, R. A possibilistic machinery for qualitative decision. Working Notes of the AAAI’97 Spring Symp. Series on Qualitative Preferences in Deliberation and Practical Reasoning, Stanford, CA, 1997 March 24-26, 47–54.Google Scholar
  17. Felix, R. Towards a goal-oriented application of aggregation operators in fuzzy decision-making. Proc. of the Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems(IPMU-92), Mallorca, 1992 July 6-10, 585–588.Google Scholar
  18. Lacroix, M.; Lavency, P. Preferences: Putting more knowledge into queries. Proc. of the 13rd Inter. Conf. on Very Large Data Bases, Brighton, UK, 1987, 215–225.Google Scholar
  19. Lang, J. Conditional desires and utilities — an alternative logical framework for qualitative decision theory. Proc. 12th European Conf. On Artif. Intellig. (ECAI-96), Budapest, Wiley, U.K., 1996, 318–322.Google Scholar
  20. Moura-Pires, J.; Prade, H. “Logical analysis of fuzzy constraint satisfaction problems. Proc. of the 1998 IEEE Int. Conf. on Fuzzy Systems (FUZZ-IEEE’98), Anchorage, Alaska, 1998 May 4-9, 1998,857–862.Google Scholar
  21. Moura-Pires, J.; Dubois, D.; Prade, H. Fuzzy constraint problems with general aggregation operations under possibilistic logic form. Proc. 6th Europ. Cong, on Intellig. Techniques & Soft Comput., Aachen, Germany, 1998 Sept.7-10, 535–539.Google Scholar
  22. Ryan, J.; Williams, M.-A. Modelling changes in preference: an implementation. ISRR-027-1997, Dept of Management, Univ. of Newcastle, NSW, Australia 1997.Google Scholar
  23. Spohn, W. Ordinal conditional functions: a dynamic theory ofepistemic states. In: Causation in Decicion, Belief Change and Statistics, Vol. 2, (W. L. Harper and B. Skyrms, eds.), Reidel, Dordrecht, 1988, 105–134.Google Scholar
  24. Williams, M.-A. Transmutations of knowledges systems. Proc.4th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR-94),Bonn, (J. Doyle, E. Sandewall, P. Torasso, eds.), Morgan Kaufmann, 1994, 619–629.Google Scholar
  25. Zadeh, L. A. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1978, 1, 3–28.MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 1999

Authors and Affiliations

  • Didier Dubois
    • 1
  • Henri Prade
    • 1
  1. 1.Institut de Recherche en Informatique de Toulouse — CNRSUniversité Paul SabatierToulouse Cedex 4France

Personalised recommendations