Skip to main content
SpringerLink
Log in

A brief overview of possibilistic logic

  • Conference paper
  • First Online:
Symbolic and Quantitative Approaches to Uncertainty (ECSQARU 1991)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 548))

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Dubois D., Lang J., Prade H. (1987) Theorem-proving under uncertainty — A possibilistic theory-based approach. Proc. 10th Inter. Joint Conf. on Artificial Intelligence, Milano, Italy, 984–986.

    Google Scholar 

  • Dubois D., Lang J., Prade H. (1989) Automated reasoning using possibilistic logic: semantics, belief revision, variable certainty weights. Proc. 5th Workshop on Uncertainty in A.I., Windsor, Ont., 81–87.

    Google Scholar 

  • Dubois D., Lang J., Prade H. (1990) Handling uncertain knowledge in an ATMS using possibilistic logic. In: Methodologies for Intelligent Systems 5 (Z.W. Ras, M. Zemankova, M.L. Emrich, eds.), North-Holland, Amsterdam, 252–259.

    Google Scholar 

  • Dubois D., Lang J., Prade H. (1991a) Fuzzy sets in approximate reasoning — Part 2: Logical approaches. Fuzzy Sets and Systems, 25th Anniversary Memorial Volume, 40, 203–244.

    Google Scholar 

  • Dubois D., Lang J., Prade H. (1991b) Towards possibilistic logic programming. Proc. 8th Inter. Conf. on Logic Programming (ICLP'91), Paris, June 25–28, (K. Furukawa, ed.), The MIT Press, Cambridge, Mass., 581–595.

    Google Scholar 

  • Dubois D., Lang J., Prade H. (1991c) Inconsistency in possibilistic knowledge bases — To live or not live with it. In: Fuzzy Logic for the Management of Uncertainty (L.A. Zadeh, J. Kacprzyk, eds.), Wiley, to appear.

    Google Scholar 

  • Dubois D., Lang J., Prade H. (1991d) A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision. Proc. ECAI Workshop on Truth-Maintenance Systems, Stockholm, Aug. 6, 1990, Lecture Notes in Computer Sciences, Springer Verlag (J.P. Martins, M. Reinfrank, eds.), to appear.

    Google Scholar 

  • Dubois D., Lang J., Prade H. (1991e) Handling uncertainty, context, vague predicates, and partial inconsistency in possibilistic logic. Proc. “Fuzzy Logic in Artificial Intelligence”: a Workshop to be held in conjunction with the 12th Inter. Joint Conf. on Artificial Intelligence (IJCAI-91), Sydney, Australia, Aug. 25.

    Google Scholar 

  • Dubois D., Prade H. (1987) Necessity measures and the resolution principle. IEEE Trans. on Systems, Man and Cybernetics, 17, 474–478.

    Google Scholar 

  • Dubois D., Prade H. (1988) (with the collab. of H. Farreny, R. Martin-Clouaire, C. Testemale) Possibility Theory — An Approach to Computerized Processing of Uncertainty. Plenum Press, New York.

    Google Scholar 

  • Dubois D., Prade H. (1990a) Resolution principles in possibilistic logic. Int. J. of Approx. Reas., 4, 1–21.

    Google Scholar 

  • Dubois D., Prade H. (1990b) Epistemic entrenchment and possibilistic logic. In: Tech. Report IRIT/90-2/R, IRIT, Univ. P. Sabatier, Toulouse, France. Artificial Intelligence, to appear.

    Google Scholar 

  • Dubois D., Prade H. (1990c) Inference in possibilistic hypergraphs. Abridged version in Proc. 3rd Inter. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 2–6, 1990, 228–230. Full version to appear in (B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh, eds.), Lecture Notes in Computer Science Series nℴ 521, Springer Verlag, 1991.

    Google Scholar 

  • Dubois D., Prade H. (1990d) Updating with belief functions, ordinal conditional functions and possibility measures. Preprints 6th Conf. on Uncertainty in A.I., Cambridge, Mass., July 27–29, 307–315. To appear in: Uncertainty in Artificial Intelligence 6 (P.P. Bonissone, M. Henrion, L.N. Kanal, J.F. Lemmer, eds.), North-Holland, Amsterdam.

    Google Scholar 

  • Dubois D., Prade H. (1991a) Fuzzy sets in approximate reasoning — Part 1: Inference with possibility distributions. Fuzzy Sets and Systems, 25th Anniversary Memorial Volume, 40, 143–202.

    Google Scholar 

  • Dubois D., Prade H. (1991b) Possibilistic logic, preference models, non-monotonicity and related issues. Proc. 12th Inter. Joint Conf. on Artificial Intelligence, Sydney, Australia, Aug. 24–30.

    Google Scholar 

  • Dubois D., Prade H. (1991c) Belief change and possibility theory. In: Belief Revision (P. Gärdenfors, ed.), Cambridge University Press, to appear.

    Google Scholar 

  • Gärdenfors P. (1988) Knowledge in Flux — Modeling the Dynamics of Epistemic States. MIT Press, Cambridge.

    Google Scholar 

  • Gärdenfors P. (1991) Nonmonotonic inferences based on expectations: a preliminary report. Proc. 2nd Inter. Conf. on Principle of Knowledge Representation and Reasoning, Cambridge, Mass. (J. Allen et al., eds.), Morgan & Kaufmann, 585–590.

    Google Scholar 

  • Kraus S., Lehmann D., Magidor M. (1990) Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44, 134–207.

    Google Scholar 

  • Lang J. (1990) Semantic evaluation in possibilistic logic. Abridged version in Proc. 3rd Inter. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU), Paris, France, July 2–6, 1990, 51–55. Full version to appear in (B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh, eds.), Lecture Notes in Computer Science Series nℴ 521, Springer Verlag, 1991.

    Google Scholar 

  • Lang J. (1991) Possibilistic logic as a logical framework for min-max discrete optimisation problems and prioritized constraints. Proc. Inter. Workshop on Fundamentals of Artificial Intelligence Research (FAIR'91), Smolenice Castle, Czechoslovakia, Sept. 8–12, 1991, Springer Vertag, to appear.

    Google Scholar 

  • Lang J., Dubois D., Prade H. (1991) A logic of graded possibility and certainty coping with partial inconsistency. Proc. 7th Conf. on Uncertainty in A.I., UCLA, Los Angeles, July 13–15, Morgan Kaufmann, 188–196.

    Google Scholar 

  • Léa Sombé (Besnard P., Cordier M.O., Dubois D., Fariñas del Cerro L., Froidevaux C., Moinard Y., Prade H., Schwind C., Siegel P.) (1990) Reasoning Under Incomplete Information in Artificial Intelligence: A Comparison of Formalisms Using a Single Example. Wiley, New York.

    Google Scholar 

  • Makinson D., Gärdenfors P. (1991) Relation between the logic of theory change and nonmonotonic logic. In: The Logic of Theory Change (A. Fuhrmann, M. Morreau, eds.). Lecture Notes in Computer Sciences, nℴ 465, Springer Verlag, Berlin.

    Google Scholar 

  • Shafer G., Shenoy P.P. (1990) An axiomatic framework for Bayesian and belief-function propagation. In: Uncertainty in Artificial Intelligence 4 (R.D. Shachter et al., eds.), North-Holland, Amsterdam, 119–198.

    Google Scholar 

  • Shoham Y. (1988) Reasoning About Change — Time and Causation from the Standpoint of Artificial Intelligence. The MIT Press, Cambridge, Mass.

    Google Scholar 

  • Zadeh L.A. (1978) Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1, 3–28.

    Google Scholar 

  • Zadeh L.A. (1979) A theory of approximate reasoning. In: Machine Intelligence 9 (J.E. Hayes, D. Michie, L.I. Mikulich, eds.), Elsevier, New York, 149–194.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut de Recherche en Informatique de Toulouse, Université Paul Sabatier-C.N.R.S., 118 route de Narbonne, 31062, Toulouse Cedex, France

    Didier Dubois, Jérôme Lang & Henri Prade

Authors
  1. Didier Dubois
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jérôme Lang
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Henri Prade
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Rudolf Kruse Pierre Siegel

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dubois, D., Lang, J., Prade, H. (1991). A brief overview of possibilistic logic. In: Kruse, R., Siegel, P. (eds) Symbolic and Quantitative Approaches to Uncertainty. ECSQARU 1991. Lecture Notes in Computer Science, vol 548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54659-6_65

Download citation

  • DOI: https://doi.org/10.1007/3-540-54659-6_65

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54659-7

  • Online ISBN: 978-3-540-46426-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation