Entailment with near surety of scaled assertions of high conditional probability

Journal of Philosophical Logic

Volumn 29, Issue 1, 2000, Pages 1-74

  Bamber, Donald ^a  

^a Naval Command   (United States)

Author keywords

Bayesian inference; Conditional probability; Conditionals; Entailment; Exceptions; Nonmonotonic logic; Nonmonotonic reasoning; Rule based systems; Second order probability

Indexed keywords

EID: 0002954879     PISSN: 00223611     EISSN: 15730433     Source Type: Journal    
DOI: 10.1023/A:1004650520609     Document Type: Article

References (43)

1. Adams, E. W. (1966): Probability and the logic of conditionals, in J. Hintikka and P. Suppes (eds.), Aspects of Inductive Logic, North-Holland, Amsterdam, pp. 265-316.
2. Adams, E. W. (1975): The Logic of Conditionals, D. Reidel, Dordrecht.
3. Adams, E. W. (1986): On the logic of high probability, J. Philos. Logic 15: 255-279.
4. Adams, E. W. (1996): Four probability-preserving properties of inferences, J. Philos. Logic 25: 1-24.
5. 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 (AAAI-92), pp. 602-608.
6. Bacchus, F., Grove, A. J., Halpern, J. Y., and Koller, D. (1993): Statistical foundations for default reasoning, in Proceedings of the 13th International Joint Conference on Artificial Intelligence (IJCAI-93), Vol. 1, pp. 563-569.
7. Bacchus, F., Grove, A. J., Halpern, J. Y., and Koller, D. (1996): From statistical knowledge bases to degrees of belief, Artif. Intell. 87: 75-143.
8. Bamber, D. (1994): Probabilistic entailment of conditionals by conditionals, IEEE Trans. Systems, Man, and Cybernetics 24: 1714-1723.
9. Bamber, D. (1996): Entailment in probability of thresholded generalizations, in Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI-96), pp. 57-64.
10. Bamber, D. (1998): How probability theory can help us design rule-based systems, in Proceedings of the 1998 Command and Control Research and Technology Symposium, Monterey, CA, June 29-July 1, 1998, pp. 441-451.
11. Billingsley, P. (1971): Weak Convergence of Measures: Applications in Probability, Society for Industrial and Applied Mathematics, Philadelphia.
12. Bishop, Y. M. M., Fienberg, S. E., and Holland, P. W. (1975): Discrete Multivariate Analysis: Theory and Practice, M.I.T. Press, Cambridge, MA.
13. Chernoff, H. (1956): Large sample theory: Parametric case, Ann. Math. Statist. 27: 1-22.
14. Goldszmidt, M., Morris, P. and Pearl, J. (1993): A maximum entropy approach to non-monotonic reasoning, IEEE Trans, on Pattern Analysis and Machine Intelligence 15: 220-232.
15. +: A formalism for reasoning with variable strength defaults, in Proceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), Vol. 1, pp. 399-404.
16. Goldszmidt, M. and Pearl, J. (1992): Reasoning with qualitative probabilities can be tractable, in Proceedings of the Eighth Conference on Uncertainty in Artificial Intelligence (UAI-92), pp. 112-120.
17. Goldszmidt, M. and Pearl, J. (1996): Qualitative probabilities for default reasoning, belief revision, and causal modeling, Artif. Intell. 84: 57-112.
18. Goodman, I. R. (1998): New perspectives on deduction in data fusion, Paper presented at the 1998 Multi-Sensor Data Fusion Open Symposium, Marietta, GA, March 30-31, 1998.
19. 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 Multisource-Multisensor Data Fusion (Fusion '98).
20. 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.
21. 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.
22. Grabisch, M., Nguyen, H. T., and Walker, E. A. (1995): Fundamentals of Uncertainty Calculi with Applications to Fuzzy Inference, Kluwer Acad. Publ., Dordrecht.
23. Gritzmann, P. and Klee, V. (1994): On the complexity of some basic problems in computational convexity: II. Volume and mixed volumes, in T. Bisztriczky, P. McMullen, R. Schneider, and A. I. Weiss (eds.), Polytopes: Abstract, Convex and Computational, Kluwer Acad. Publ., Dordrecht, pp. 373-466.
24. Grove, A. J., Halpern, J. Y., and Koller, D. (1994): Random worlds and maximum entropy, J. Artif. Intell. Res. 2: 33-88.
25. Grove, A. J., Halpern, J. Y., and Koller, D. (1996a): Asymptotic conditional probabilities: The unary case, SIAM J. Comput. 25: 1-51.
26. Grove, A. J., Halpern, J. Y., and Koller, D. (1996b): Asymptotic conditional probabilities: The non-unary case, J. Symbolic Logic 61: 250-276.
27. Hailperin, T. (1996): Sentential Probability Logic: Origins, Development, Current Status, and Technical Applications, Associated University Presses, Cranbury, NJ.
28. Hawthorne, J. (1996): On the logic of nonmonotonic conditionals and conditional probabilities, J. Philos. Logic 25: 185-218.
29. Lehmann, D. and Magidor, M. (1992): What does a conditional knowledge base entail? Artif. Intell. 55: 1-60.
30. Mann, H. B. and Wald, A. (1943): On stochastic limit and order relationships. Ann. Math. Statist. 14: 217-226.
31. McGee, V. (1994): Learning the impossible, in E. Eells and B. Skyrms (eds.), Probability and Conditionals: Belief Revision and Rational Decision, Cambridge Univ. Press, Cambridge, pp. 179-199.
32. Nilsson, N. J. (1986): Probabilistic logic, Artif. Intell. 28: 71-87.
33. Paris, J. B. (1994): The Uncertain Reasoner's Companion, Cambridge Univ. Press, Cambridge.
34. 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.
35. Pearl, J. (1994): From Adams' conditionals to default expressions, causal conditionals, and counterfactuals, in E. Eells and B. Skyrms (eds.), Probability and Conditionals: Belief Revision and Rational Decision, Cambridge Univ. Press, Cambridge, pp. 47-74.
36. Pratt, J. W. (1959): On a general concept of "in probability", Ann. Math. Statist. 30: 549-558.
37. Rockafellar, R. T. (1970): Convex Analysis, Princeton Univ. Press, Princeton.
38. Schurz, G. (1994): Probabilistic justification of default reasoning, in B. Knebel and L. D. Dreschler-Fischer (eds.), KI-94: Advances in Artificial Intelligence. Proceedings 18th German Annual Conference on Artificial Intelligence, Springer-Verlag, Berlin, pp. 248-259.
39. Schurz, G. (1997a): Probabilistic default logic based on irrelevance and relevance assumptions, in D. Gabbay, et al. (eds.), Qualitative and Quantitative Practical Reasoning, Lecture Notes in Artif. Intell. 1244, Springer-Verlag, Berlin.
40. Schurz, G. (1997b): Probabilistically reliable default reasoning, IPS Preprint 1997-2, Institut für Philosophie, Universität Salzburg, Salzburg, Austria.
41. Schurz, G. (1998): Probabilistic semantics for Delgrande's conditional logic and a counter-example to his default logic, Artif. Intell. 102: 81-95.
42. Spohn, W. (1988): Ordinal conditional functions: A dynamic theory of epistemic states, in W. L. Harper and B. Skyrms (eds.), Causation in Decision, Belief Change, and Statistics. Proceedings of the Irvine Conference on Probability and Causation, Vol. II, Kluwer Acad. Publ., Dordrecht, pp. 105-134.
43. Webster, R. J. (1994): Convexity, Oxford University Press, Oxford.