Skip to main content

Revising Desires – A Possibility Theory Viewpoint

  • Conference paper
  • First Online:

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 400))

Abstract

As extensively studied in the artificial intelligence literature, agents may have to revise their beliefs when they receive a new piece of information, for avoiding inconsistency in their epistemic states, since one cannot believe p and believe \(\lnot p\) at the same time. Similarly desiring p and \(\lnot p\) simultaneously does not sound reasonable, since this would amount to be pleased by anything. This motivates an approach for revising desires, a topic remained largely untouched. Desires do not behave as beliefs. While beliefs are closed under conjunction, one may argue that the disjunction of desires reflects the endorsement of each desire. In a possibility theory modeling setting, desires are expressed by a strong possibility set function, while beliefs are encoded by means of a necessity function. The paper outlines an original approach to the revision, the expansion, and the contraction of desires in the framework of possibility theory, and contrasts it with belief revision.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Benferhat, S., Dubois, D., Prade, H.: Practical handling of exception-tainted rules and independence information in possibilistic logic. Applied Intelligence 9(2), 101–127 (1998)

    Article  Google Scholar 

  2. Benferhat, S., Dubois, D., Kaci, S., Prade, H.: Bipolar possibilistic representations. In: Darwiche, A., Friedman, N. (ed.) Proc. 18th Conf. in Uncertainty in Artificial Intelligence (UAI 2002), Edmonton, Alberta, August 1–4, pp. 45–52. Morgan Kaufmann (2002)

    Google Scholar 

  3. Benferhat, S., Dubois, D., Prade, H.: A computational model for belief change and fusing ordered belief bases. In: Williams, M.-A., Rott, H. (eds.) Frontiers in Belief Revision, pp. 109–134. Publ., Kluwer Acad. (2001)

    Google Scholar 

  4. Benferhat, S., Dubois, D., Prade, H., Williams, M.-A.: A practical approach to revising prioritized knowledge bases. Studia Logica 70, 105–130 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  5. Boutilier, C.: Revision sequences and nested conditionals. In: Proc. 13th Int. Joint Conf. on Artificial Intelligence (IJCAI 1993), Chambéry, August 28 - September 3, pp. 519–525. Morgan Kaufmann (1993)

    Google Scholar 

  6. Casali, A., Godo, L., Sierra, C.: A graded BDI agent model to represent and reason about preferences. Artificial Intelligence 175, 1468–1478 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  7. Dubois, D., Le Berre, D., Prade, H., Sabbadin, R.: Logical representation and computation of optimal decisions in a qualitative setting. In: Proc. 15th National Conf. on Artificial Intelligence (AAAI 1998), July 26–30, Madison, Wisc, pp. 588–593. AAAI Press / The MIT Press (1998)

    Google Scholar 

  8. Dubois, D., Lorini, E., Prade, H.: Bipolar possibility theory as a basis for a logic of desires and beliefs. In: Liu, W., Subrahmanian, V.S., Wijsen, J. (eds.) SUM 2013. LNCS, vol. 8078, pp. 204–218. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  9. Dubois, D., Lorini, E., Prade, H.: Nonmonotonic desires - A possibility theory viewpoint. In: Booth, R., Casini, G., Klarman, S., Richard, G., Varzinczak, I.J. (eds.) Proc. Int. Workshop on Defeasible and Ampliative Reasoning (DARe@ECAI 2014), Prague, August 19, vol. 1212. CEUR Workshop Proc. (2014)

    Google Scholar 

  10. Dubois, D., Prade, H.: Epistemic entrenchment and possibilistic logic. Art. Int. 50, 223–239 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  11. Dubois, D., Prade, H.: Belief change and possibility theory. In: Głrdenfors, P. (ed.) Belief Revision, pp. 142–182. University Press, Cambridge (1992)

    Chapter  Google Scholar 

  12. Dubois, D., Prade, H.: A synthetic view of belief revision with uncertain inputs in the framework of possibility theory. Int. J. Approx. Reasoning 17(2–3), 295–324 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  13. Dubois, D., Prade, H.: Possibility theory: qualitative and quantitative aspects. In: Gabbay, D., Smets, P. (eds.) Quantified Representation of Uncertainty and Imprecision, Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol. 1, pp. 169–226. Kluwer (1998)

    Google Scholar 

  14. Dubois, D., Prade, H.: Bipolarity in flexible querying. In: Andreasen, T., Motro, A., Christiansen, H., Larsen, H.L. (eds.) FQAS 2002. LNCS (LNAI), vol. 2522, pp. 174–182. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  15. Dubois, D., Prade, H.: Possibilistic logic: a retrospective and prospective view. Fuzzy Sets and Systems 144, 3–23 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  16. Dubois, D., Prade, H.: An introduction to bipolar representations of information and preference. Int. J. of Intelligent Systems 23(8), 866–877 (2008)

    Article  MATH  Google Scholar 

  17. Dubois, D., Prade, H.: An overview of the asymmetric bipolar representation of positive and negative information in possibility theory. Fuzzy Sets and Systems 160(10), 1355–1366 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  18. Dubois, D., Prade, H.: Possibilistic logic - An overview. In: Gabbay, D.M., Siekmann, J., Woods, J. (eds.) Handbook of the History of Logic. Computational Logic, vol. 9, pp. 283–342. Elsevier (2014)

    Google Scholar 

  19. Dubois, D., Prade, H., Touazi, F.: A possibilistic logic approach to conditional preference queries. In: Larsen, H.L., Martin-Bautista, M.J., Vila, M.A., Andreasen, T., Christiansen, H. (eds.) FQAS 2013. LNCS, vol. 8132, pp. 376–388. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  20. Gärdenfors, P.: Knowledge in Flux. The MIT Press (1990)

    Google Scholar 

  21. Gärdenfors, P.: Belief revision and nonmonotonic logic: Two sides of the same coin? In: Proc. 9th Europ. Conf. on Artificial Intelligence (ECAI 1990), Stockholm, pp. 768–773 (1990)

    Google Scholar 

  22. Humberstone, I.L.: Direction of fit. Mind 101(401), 59–83 (1992)

    Article  Google Scholar 

  23. Lang, J.: Conditional desires and utilities: An alternative logical approach to qualitative decision theory. In: Wahlster, W. (ed.) Proc. 12th Eur. Conf. Artif. Intellig. (ECAI 1996), Budapest, August 11–16, pp. 318–322. J. Wiley (1996)

    Google Scholar 

  24. Lang, J., van der Torre, L.W.N., Weydert, E.: Hidden uncertainty in the logical representation of desires. In: Gottlob, G., Walsh, T. (eds.) Proc. 18th Int. Joint Conf. on Artificial Intelligence (IJCAI 2003), Acapulco, August 9–15, pp. 685–690. Morgan Kaufmann (2003)

    Google Scholar 

  25. Platts, M.: Ways of meaning. Routledge and Kegan Paul (1979)

    Google Scholar 

  26. Searle, J.: Expression and meaning. Cambridge University Press (1979)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Henri Prade .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Dubois, D., Lorini, E., Prade, H. (2016). Revising Desires – A Possibility Theory Viewpoint. In: Andreasen, T., et al. Flexible Query Answering Systems 2015. Advances in Intelligent Systems and Computing, vol 400. Springer, Cham. https://doi.org/10.1007/978-3-319-26154-6_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-26154-6_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-26153-9

  • Online ISBN: 978-3-319-26154-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics