Entailment with Near Surety of Scaled Assertions of High Conditional Probability
 Donald Bamber
 … show all 1 hide
Rent the article at a discount
Rent now* Final gross prices may vary according to local VAT.
Get AccessAbstract
An assertion of high conditional probability or, more briefly, an HCP assertion is a statement of the type: The conditional probability of B given A is close to one. The goal of this paper is to construct logics of HCP assertions whose conclusions are highly likely to be correct rather than certain to be correct. Such logics would allow useful conclusions to be drawn when the premises are not strong enough to allow conclusions to be reached with certainty. This goal is achieved by taking Adams" (1966) logic, changing its intended application from conditionals to HCP assertions, and then weakening its criterion for entailment. According to the weakened entailment criterion, called the Criterion of Near Surety and which may be loosely interpreted as a Bayesian criterion, a conclusion is entailed if and only if nearly every model of the premises is a model of the conclusion. The resulting logic, called NSL, is nonmonotonic. Entailment in this logic, although not as strict as entailment in Adams" logic, is more strict than entailment in the propositional logic of material conditionals. Next, NSL was modified by requiring that each HCP assertion be scaled; this means that to each HCP assertion was associated a bound on the deviation from 1 of the conditional probability that is the subject of the assertion. Scaling of HCP assertions is useful for breaking entailment deadlocks. For example, it it is known that the conditional probabilities of C given A and of ¬ C given B are both close to one but the bound on the former"s deviation from 1 is much smaller than the latter"s, then it may be concluded that in all likelihood the conditional probability of C given A ∧ B is close to one. The resulting logic, called NSLS, is also nonmonotonic. Despite great differences in their definitions of entailment, entailment in NSL is equivalent to Lehmann and Magidor"s rational closure and, disregarding minor differences concerning which premise sets are considered consistent, entailment in NSLS is equivalent to entailment in Goldszmidt and Pearl"s SystemZ ^{+}. Bacchus, Grove, Halpern, and Koller proposed two methods of developing a predicate calculus based on the Criterion of Near Surety. In their randomstructures method, which assumed a prior distribution similar to that of NSL, it appears possible to define an entailment relation equivalent to that of NSL. In their randomworlds method, which assumed a prior distribution dramatically different from that of NSL, it is known that the entailment relation is different from that of NSL.
 Adams, E.W. Probability and the logic of conditionals. In: Hintikka, J., Suppes, P. eds. (1966) Aspects of Inductive Logic. NorthHolland, Amsterdam, pp. 265316
 Adams, E. W. (1975) The Logic of Conditionals. D. Reidel, Dordrecht
 Adams, E. W. (1986) On the logic of high probability. J. Philos. Logic 15: pp. 255279
 Adams, E.W. (1996) Four probabilitypreserving properties of inferences. J. Philos. Logic 25: pp. 124
 Bacchus, F., Grove, A. J., Halpern, J. Y., and Koller, D. (1992): From statistics to belief, in Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI92), pp. 602–608.
 Bacchus, F., Grove, A. J., Halpern, J. Y., Koller, D. (1993) Statistical foundations for default reasoning. Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI93) 1: pp. 563569
 Bacchus, F., Grove, A. J., Halpern, J. Y., Koller, D. (1996) From statistical knowledge bases to degrees of belief. Artif. Intell. 87: pp. 75143
 Bamber, D. (1994) Probabilistic entailment of conditionals by conditionals. IEEE Trans. Systems, Man, and Cybernetics 24: pp. 17141723
 Bamber, D. (1996): Entailment in probability of thresholded generalizations, in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI96), pp. 57–64.
 Bamber, D. (1998): How probability theory can help us design rulebased systems, in Proceedings of the 1998 Command and Control Research and Technology Symposium, Monterey, CA, June 29–July 1, 1998, pp. 441–451.
 Billingsley, P. (1971) Weak Convergence of Measures: Applications in Probability. Society for Industrial and Applied Mathematics, Philadelphia
 Bishop, Y. M. M., Fienberg, S. E., Holland, P. W. (1975) Discrete Multivariate Analysis: Theory and Practice. M.I.T. Press, Cambridge, MA
 Chernoff, H. (1956) Large sample theory: Parametric case. Ann. Math. Statist. 27: pp. 122
 Goldszmidt, M., Morris, P., Pearl, J. (1993) A maximum entropy approach to nonmonotonic reasoning. IEEE Trans. on Pattern Analysis and Machine Intelligence 15: pp. 220232
 Goldszmidt, M., Pearl, J. (1991) SystemZ +: A formalism for reasoning with variable strength defaults. Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI91) 1: pp. 399404
 Goldszmidt, M. and Pearl, J. (1992): Reasoning with qualitative probabilities can be tractable, in Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence (UAI92), pp. 112–120.
 Goldszmidt, M., Pearl, J. (1996) Qualitative probabilities for default reasoning, belief revision, and causal modeling. Artif. Intell. 84: pp. 57112
 Goodman, I. R. (1998): New perspectives on deduction in data fusion, Paper presented at the 1998 MultiSensor Data Fusion Open Symposium, Marietta, GA, March 30–31, 1998.
 Goodman, I. R. and Nguyen, H. T. (1998): Adams' high probability deduction and combination of information in the context of product probability conditional event algebra, in Proceedings of the 1998 International Conference on MultisourceMultisensor Data Fusion (Fusion '98).
 Goodman, I. R. and Nguyen, H. T. (1999): A new application of Bayesian analysis to the resolution of anomalies between commonsense reasoning, classical logic, and high probability logic, Paper presented at the 37th Annual Bayesian Research Conference, Los Angeles, CA, February 18–19, 1999.
 Goodman, I. R. and Nguyen, H. T. (in preparation): Product space conditional event algebra as a basis for Adams' high probability logic and its extensions to second order probability logics, Manuscript to be submitted for publication.
 Grabisch, M., Nguyen, H. T., Walker, E. A. (1995) Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference. Kluwer Acad. Publ., Dordrecht
 Gritzmann, P., Klee, V. On the complexity of some basic problems in computational convexity: II. Volume and mixed volumes. In: Bisztriczky, T., McMullen, P., Schneider, R., Weiss, A. I. eds. (1994) Polytopes: Abstract, Convex and Computational. Kluwer Acad. Publ., Dordrecht, pp. 373466
 Grove, A. J., Halpern, J. Y., Koller, D. (1994) Random worlds and maximum entropy. J. Artif. Intell. Res. 2: pp. 3388
 Grove, A. J., Halpern, J. Y., Koller, D. (1996) Asymptotic conditional probabilities: The unary case. SIAM J. Comput. 25: pp. 151
 Grove, A. J., Halpern, J. Y., Koller, D. (1996) Asymptotic conditional probabilities: The nonunary case. J. Symbolic Logic 61: pp. 250276
 Hailperin, T. (1996) Sentential Probability Logic: Origins, Development, Current Status, and Technical Applications. Associated University Presses, Cranbury, NJ
 Hawthorne, J. (1996) On the logic of nonmonotonic conditionals and conditional probabilities. J. Philos. Logic 25: pp. 185218
 Lehmann, D., Magidor, M. (1992) What does a conditional knowledge base entail?. Artif. Intell. 55: pp. 160
 Mann, H. B., Wald, A. (1943) On stochastic limit and order relationships. Ann. Math. Statist. 14: pp. 217226
 McGee, V. Learning the impossible. In: Eells, E., Skyrms, B. eds. (1994) Probability and Conditionals: Belief Revision and Rational Decision. Cambridge Univ. Press, Cambridge, pp. 179199
 Nilsson, N. J. (1986) Probabilistic logic. Artif. Intell. 28: pp. 7187
 Paris, J. B. (1994) The Uncertain Reasoner's Companion. Cambridge Univ. Press, Cambridge
 Pearl, J. (1990): System Z: A natural ordering of defaults with tractable applications to nonmonotonic reasoning, in R. Parikh (ed.), Theoretical Aspects of Reasoning about Knowledge. Proceedings of the Third Conference (TARK 1990), Morgan Kaufmann, San Mateo, CA, pp. 121–135.
 Pearl, J. From Adams' conditionals to default expressions, causal conditionals, and counterfactuals. In: Eells, E., Skyrms, B. eds. (1994) Probability and Conditionals: Belief Revision and Rational Decision. Cambridge Univ. Press, Cambridge, pp. 4774
 Pratt, J. W. (1959) On a general concept of “in probability”. Ann. Math. Statist. 30: pp. 549558
 Rockafellar, R. T. (1970) Convex Analysis. Princeton Univ. Press, Princeton
 Schurz, G. Probabilistic justification of default reasoning. In: Knebel, B., DreschlerFischer, L. D. eds. (1994) KI94: Advances in Artificial Intelligence. Proceedings 18th German Annual Conference on Artificial Intelligence. SpringerVerlag, Berlin, pp. 248259
 Schurz, G. Probabilistic default logic based on irrelevance and relevance assumptions. In: Gabbay, D. eds. (1997) Qualitative and Quantitative Practical Reasoning. SpringerVerlag, Berlin
 Schurz, G. (1997) Probabilistically reliable default reasoning. IPS Preprint 19972. Institut für Philosophie, Universität Salzburg, Salzburg, Austria
 Schurz, G. (1998) Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic. Artif. Intell. 102: pp. 8195
 Spohn, W. Ordinal conditional functions: A dynamic theory of epistemic states. In: Harper, W. L., Skyrms, B. eds. (1988) Causation in Decision, Belief Change, and Statistics. Proceedings of the Irvine Conference on Probability and Causation. Kluwer Acad. Publ., Dordrecht, pp. 105134
 Webster, R. J. (1994) Convexity. Oxford University Press, Oxford
 Title
 Entailment with Near Surety of Scaled Assertions of High Conditional Probability
 Journal

Journal of Philosophical Logic
Volume 29, Issue 1 , pp 174
 Cover Date
 20000201
 DOI
 10.1023/A:1004650520609
 Print ISSN
 00223611
 Online ISSN
 15730433
 Publisher
 Kluwer Academic Publishers
 Additional Links
 Topics
 Keywords

 nonmonotonic logic
 nonmonotonic reasoning
 entailment
 conditional probability
 secondorder probability
 Bayesian inference
 conditionals
 rulebased systems
 exceptions
 Authors

 Donald Bamber ^{(1)}
 Author Affiliations

 1. Space & Naval Warfare Systems Center, Code D44215, 53345 Ryne Road, San Diego, CA, 921527251, USA