Inference in conditional probability logic

Kybernetika

Volumn 42, Issue 4, 2006, Pages 391-404

  Pfeifer, Niki ^a   Kleiter, Gernot D ^a  

^a UNIVERSITY OF SALZBURG   (Austria)

Author keywords

Conditional; Modus ponens; Probability logic; SYSTEM P

Indexed keywords

EID: 33846154239     PISSN: 00235954     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (22)

1. E. W. Adams: The Logic of Conditionals. Reidel, Dordrecht 1975.
2. V. Biazzo and A. Gilio: A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments. Internat. J. Approx. Reason. 24 (2000), 2-3, 251-272.
3. V. Biazzo, A. Gilio, T. Lukasiewicz, and G. Sanfilippo: Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P. J. Appl. Non-Classical Logics 12 (2002), 2, 189-213.
4. V. Biazzo, A. Gilio, T. Lukasiewicz, and G. Sanfilippo: Probabilistic logic under coherence: Complexity and algorithms. Ann. Math. Artif. Intell. 45 (2005), 1-2, 35-81.
5. P. G. Calabrese and I. R. Goodman: Conditional event algebras and conditional probability logics. In: Proc. Internat. Workshop Probabilistic Methods in Expert Systems (R. Scozzafava, ed.), Societa Italiana di Statistica, Rome 1993, pp. 1-35.
6. P. G. Calabrese: Conditional events: Doing for logic and probability what fractions do for integer arithmetic. In: Proc. "The Notion of Event in Probabilistic Epistemology", Dipartimento di Matematica Applicata "Bruno de Finetti", Triest 1996, pp. 175-212.
7. G. Coletti: Coherent numerical and ordinal probabilistic assessment. IEEE Trans. Systems Man Cybernet. 24 (1994), 1747-1754.
8. G. Coletti, R. Scozzafava, and B. Vantaggi: Probabilistic reasoning as a general unifying tool. In: ECSQARU 2001 (S. Benferhat and P. Besnard, eds., Lecture Notes in Artificial Intelligence 2143), Springer-Verlag, Berlin 2001, pp. 120-131.
9. G. Coletti and R. Scozzafava: Probabilistic Logic in a Coherent Setting. Kluwer, Dordrecht 2002.
10. B. de Finetti: Theory of Probability (Vol. 1 and 2). Wiley, Chichester 1974.
11. R. Fagin, J.Y. Halpern, and N. Megiddo: A logic for reasoning about probabilities. Inform. and Comput. 87 (1990), 78-128.
12. A. Frisch and P. Haddawy: Anytime deduction for probabilistic logic. Artif. Intell. 69 (1994), 93-122.
13. A. Gilio: Probabilistic consistency of conditional probability bounds. In: Advances in Intelligent Computing (B. Bouchon-Meunier, R. R. Yager and L. A. Zadeh, eds., Lecture Notes in Computer Science 945), Springer-Verlag, Berlin 1995.
14. A. Gilio: Probabilistic reasoning under coherence in System P. Ann. Math. Artif. Intell. 34 (2002), 5-34.
15. T. Hailperin: Sentential Probability Logic. Origins, Development, Current Status, and Technical Applications. Lehigh University Press, Bethlehem 1996.
16. S. Kraus, D. Lehmann, and M. Magidor: Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell. 44 (1990), 167-207.
17. T. Lukasiewicz: Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events. Internat. J. Approx. Reason. 21 (1999), 23-61.
18. T. Lukasiewicz: Weak nonmonotonic probabilistic logics. Artif. Intell. 168 (2005), 119-161.
19. N. Pfeifer and G. D. Kleiter: Towards a mental probability logic. Psychologica Belgica 45 (2005), 1, 71-99. Updated version at: http://www.users.sbg.ac.at/~pfeifern/.
20. N. Pfeifer and G. D. Kleiter: Towards a probability logic based on statistical reasoning. In: Proc. 11th Internat. Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Vol. 3, Editions E. D. K., Paris 2006, pp. 2308-2315.
21. J.H. Sobel: Modus Ponens and Modus Tollens for Conditional Probabilities, and Updating on Uncertain Evidence. Technical Report, University of Toronto 2005. http://www.scar.utoronto.ca/~sobel/.
22. C. Wagner: Modus Tollens probabilized. British J. Philos. Sci. 55 (2004), 747-753.