Abstract
In order to obivate soundness problems in the local treatment of uncertainty in knowledge-based systems, it has been recently proposed to represent dependencies by means of hypergraphs and Markov trees. It has been shown that a unified algorithmic treatment of uncertainties via local propagation is possible on such structures, both for belief functions and Bayesian probabilities, while preserving the soundness and the completeness of the obtained results. This paper points out that the same analysis applies to approximate reasoning based on possibility theory, and discusses the usefulness of the idempotence property for combining possibility distributions, a property not satisfied in probabilistic reasoning. The second part analyzes a previously proposed technique for handling dependencies, by relating it to the hypergraph approach.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Chatalic P. (1986) Raisonnement déductif en présence de connaissances imprécises et incertaines: un système basé sur la théorie de Dempster-Shafer. Thèse de Doctorat, Univ. P. Sabatier, Toulouse, France.
Chatalic P., Dubois D., Prade H. (1987) A system for handling relational dependencies in approximate reasoning. Proc. of the 3rd Inter. Expert Systems Conf., London, June 2–4, 495–502.
Davis E. (1987) Constraint propagation with interval labels. Artificial Intelligence, 32, 281–331.
Dubois D., Martin-Clouaire R., Prade H. (1988) Practical computing in fuzzy logic. In: Fuzzy Computing (M.M. Gupta, T. Yamakawa, eds.), North-Holland, 11–34.
Dubois D., Prade H. (1987) A tentative comparison of numerical approximate reasoning methodologies. Int. J. of Man-Machine Studies, 27, 717–728.
Dubois D., Prade H. (1988) On the combination of uncertain or imprecise pieces of information in rule-based systems — A discussion in the framework of possibility theory. Int. J. of Approximate Reasoning, 2, 65–87.
Dubois D., Prade H. (1989a) Fuzzy arithmetic in qualitative reasoning. In: Modeling and Control of Systems in Engineering, Quantum Mechanics, Economics, and Biosciences (Proc. of the Bellman Continuum Workshop 1988, June 13–14, Sophia Antipolis, France) (A. Blaquière, ed.), Springer Verlag, 457–467.
Dubois D., Prade H. (1989b) Processing fuzzy temporal knowledge. IEEE Trans. on Systems, Man and Cybernetics, 19(4), 729–744.
Dubois D., Prade H. (1989c) A typology of fuzzy "if... then..." rules. Proc. of the 3rd IFSA Congress, University of Washington, Seattle, Aug. 6–11, 782–785.
Fonck P. (1990) Building influence networks in the framework of possibility theory. Proc. of the RP2 First Workshop DRUMS (Defeasible Reasoning and Uncertainty Management Systems), Albi, France, April 26–28, 1990.
Kruse R., Schwecke E. (1988) Fuzzy reasoning in a multi-dimensional space of hypotheses. Proc. of 7th Annual Meeting of the North American Fuzzy Information Processing Society (NAFIPS'88), San Francisco State University, June 8–10, 147–151.
Kruse R., Schwecke E. (1989) On the treatment of cyclic dependencies in causal networks. Proc. of the 3rd IFSA Congress, University of Washington, Seattle, USA, Aug. 6–11, 416–419.
Kruse R., Schwecke E. (1990) Fuzzy reasoning in a multidimensional space of hypotheses. Int. J. of Approximate Reasoning, 4, 47–68.
Lauritzen S.L., Spiegelhalter D.J. (1988) Local computations with probabilities on graphical structures and their application to expert systems (with discussion). J. of the Royal Statistical Society, B-50, 157–224.
Nilsson N.J. (1986) Probabilistic logic. Artificial Intelligence, 28, 71–87.
Pearl J. (1986) Fusion, propagation and structuring in belief networks. Artificial Intelligence, 29, 241–288.
Shafer G. (1976) A Mathematical Theory of Evidence. Princeton University Press.
Shafer G., Shenoy P.P. (1988) Local computation in hypertrees. Working Paper no 201, School of Business, Univ. of Kansas, USA.
Shafer G., Shenoy P.P. (1990) An axiomatic framework for Bayesian and belief-function propagation. In: Uncertainty in Artificial Intelligence, Vol. 4 (R.D. Shachter et al., eds.), North-Holland, Amsterdam, 119–198.
Shafer G., Shenoy P.P., Mellouli K. (1987) Propagating belief functions in qualitative Markov trees. Int. J. Approximate Reasoning, 1, 349–400.
Williams P.M. (1990) An interpretation of Shenoy and Shafer's axioms for local computation. Int. J. of Approximate Reasoning, 4, 225–232.
Yager R.R. (1989) Some extensions of constraint propagation of label sets. Int. J. of Approximate Reasoning, 3, 417–435.
Yager R.R., Larsen H.L. (1990) On discovering potential inconsistencies in validating uncertain knowledge bases by reflecting on the input. In Tech. Report #MII-1001, Machine Intelligence Institute, Iona College, New Rochelle, N.Y..
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, Vol. 9 (J.E. Hayes, D. Mikulich, eds.), Elsevier, Amsterdam, 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., Prade, H. (1991). Inference in possibilistic hypergraphs. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds) Uncertainty in Knowledge Bases. IPMU 1990. Lecture Notes in Computer Science, vol 521. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0028110
Download citation
DOI: https://doi.org/10.1007/BFb0028110
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54346-6
Online ISBN: 978-3-540-47580-4
eBook Packages: Springer Book Archive