Abstract
This work presents results of research to develop of approximate inference formulas in the context of the calculus of evidence of Dempster-Shafer and the theory of interval probabilities. These formulas generalize the probabilistic domain the well-known relations between the truth values of the antecedent and the consequent propositions of a classical implication P → Q.
Approximate conditional knowledge is assumed to be expressed either as sets of possible values (actually numeric intervals) of conditional probabilities, or as the Shafer belief functions induced by certain restricted multivalued mappings — the nature of the restriction representing the truth of the antecedent in an implication — between a space representing possible states of the real world and another space used to represent propositional truth.
A notion of consistence between unconditional and conditional probability intervals is introduced to represent agreement of the constraints induced by both types of distributions. The integration of conditional and unconditional knowledge is accordingly described as the refinement of probability interval estimates for unconditional propositions so as to achieve consistence with conditional constraints. This refinement always results in interval-valued distributions which are more specific than the corresponding unmodified estimates.
Formulas for conditional knowledge integration are discussed, together with the computational characteristics of the methods derived from them. Of particular importance is one such evidence-integration formalism produced under a belief function interpretation — generalizing both modus ponens and modus tollens inferential mechanisms — which integrates conditional and unconditional knowledge without resorting to iterative or sequential approximations. Further, this formalism produces Shafer mass distributions as output using similar distributions as input.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Shafer, Glenn, A Mathematical Theory of Evidence, Princeton University Press, 1976.
Dempster, A. P., Upper and lower probabilities induced by a multivalued mapping, Annals of Mathematical Statistics, 38, 325–339, 1976.
Kyburg, H. E., The Logical Foundations of Statistical Inference, Reidel, 1974.
Williams, P. M., Indeterminate Probabilities, in Formal Methods in the Methodology of Empirical Sciences (M. Przelecki, K. Swaniawski and R. Wojciki, eds.), Ossolineum and Reidel, 1976.
Shortliffe, E.H., Computer-based medical consultations: MYCIN, American Elsevier, New York, 1976.
Reichenbach, H., The Theory of Probability, University of California Press, 1971.
Yager, R. R., Entropy and Specificity in a Mathematical Theory of Evidence, Int. J. General Systems, 9, 249–260, 1983.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ruspini, E.H. (1987). Approximate inference and interval probabilities. In: Bouchon, B., Yager, R.R. (eds) Uncertainty in Knowledge-Based Systems. IPMU 1986. Lecture Notes in Computer Science, vol 286. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18579-8_7
Download citation
DOI: https://doi.org/10.1007/3-540-18579-8_7
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18579-6
Online ISBN: 978-3-540-48020-4
eBook Packages: Springer Book Archive