Preview
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.
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.
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.
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.
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.
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.
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.
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.
Dubois D., Prade H. (1987) Necessity measures and the resolution principle. IEEE Trans. on Systems, Man and Cybernetics, 17, 474–478.
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.
Dubois D., Prade H. (1990a) Resolution principles in possibilistic logic. Int. J. of Approx. Reas., 4, 1–21.
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.
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.
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.
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.
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.
Dubois D., Prade H. (1991c) Belief change and possibility theory. In: Belief Revision (P. Gärdenfors, ed.), Cambridge University Press, to appear.
Gärdenfors P. (1988) Knowledge in Flux — Modeling the Dynamics of Epistemic States. MIT Press, Cambridge.
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.
Kraus S., Lehmann D., Magidor M. (1990) Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44, 134–207.
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.
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.
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.
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.
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.
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.
Shoham Y. (1988) Reasoning About Change — Time and Causation from the Standpoint of Artificial Intelligence. The MIT Press, Cambridge, Mass.
Zadeh L.A. (1978) Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets and Systems, 1, 3–28.
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.
Author information
Authors and Affiliations
Editor information
Rights 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