Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2143, Issue , 2001, Pages 290-302

  Biazzo, Veronica ^a   Gilio, Angelo ^b   Lukasiewicz, Thomas ^c   Sanfilippo, Giuseppe ^a  

^a UNIVERSITY OF CATANIA   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

^c VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

COHERENCE PRINCIPLES; DEFAULT REASONING; MODEL-THEORETIC; PROBABILISTIC REASONING; PROBABILISTIC SEMANTICS;

PROBABILISTIC LOGICS;

EID: 84937429989     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44652-4_26     Document Type: Conference Paper

References (26)

1. E.W. Adams. The Logic of Conditionals, volume 86 of Synthese Library. D. Reidel, Dordrecht, Netherlands, 1975.
2. S. Amarger, D. Dubois, and H. Prade. Constraint propagation with imprecise conditional probabilities. In Proceedings UAI-91, pp. 26-34. 1991.
3. S. Benferhat, D. Dubois, and H. Prade. Nonmonotonic reasoning, conditional objects and possibility theory. Artif. Intell., 92(1-2):259-276, 1997.
4. S. Benferhat, D. Dubois, and H. Prade. Possibilistic and standard probabilistic semantics of conditional knowledge bases. J. Logic Computat., 9(6):873-895, 1999.
5. V. Biazzo and A. Gilio.Ageneralization of the fundamental theorem of de Finetti for imprecise conditional probability assessments. Int. J. Approx. Reasoning, 24:251-272, 2000.
6. V. Biazzo, A. Gilio, T. Lukasiewicz, and G. Sanfilippo. Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning. Technical Report INFSYS RR- 1843-01-03, Institut für Informationssysteme, TUWien, 2001.
7. V. Biazzo, A. Gilio, T. Lukasiewicz, and G. Sanfilippo. Probabilistic logic under coherence: Complexity and algorithms. In Proceedings ISIPTA-01, Ithaca, NewYork, USA, June 26-29, 2001. To appear.
8. G. Boole. An Investigation of the Laws of Thought, on which are Founded the Mathematical Theories of Logic and Probabilities. Walton and Maberley, London, 1854. (Reprint: Dover Publications, NewYork, 1958).
9. G. Coletti and R. Scozzafava. Conditioning and inference in intelligent systems. Soft Computing, 3(3):118-130, 1999.
10. D. Dubois and H. Prade. Possibilistic logic, preferential models, non-monotonicity and related issues. In Proceedings IJCAI-91, pp. 419-424. 1991.
11. D. Dubois and H. Prade. Conditional objects as nonmonotonic consequence relationships. IEEE Trans. Syst. Man Cybern., 24(12):1724-1740, 1994.
12. R. Fagin, J. Y. Halpern, and N. Megiddo. A logic for reasoning about probabilities. Inf. Comput., 87:78-128, 1990.
13. A. M. Frisch and P. Haddawy. Anytime deduction for probabilistic logic. Artif. Intell., 69:93- 122, 1994.
14. H. Geffner. Default Reasoning: Causal and Conditional Theories. MIT Press, 1992.
15. A. Gilio. Probabilistic consistency of conditional probability bounds. In Advances in Intelligent Computing, LNCS 945, pp. 200-209. Springer, 1995.
16. A. Gilio. Precise propagation of upper and lower probability bounds in system P. In Proceedings of the 8th International Workshop on Non-monotonic Reasoning, 2000.
17. M. Goldszmidt and J. Pearl. On the consistency of defeasible databases. Artif. Intell., 52(2):121-149, 1991.
18. S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artif. Intell., 14(1):167-207, 1990.
19. T. Lukasiewicz. Local probabilistic deduction from taxonomic and probabilistic knowledgebases over conjunctive events. Int. J. Approx. Reasoning, 21(1):23-61, 1999.
20. T. Lukasiewicz. Probabilistic deduction with conditional constraints over basic events. J. Artif. Intell. Res., 10:199-241, 1999.
21. T. Lukasiewicz. Probabilistic default reasoning with conditional constraints. In Proceedings of the 8th International Workshop on Non-monotonic Reasoning, 2000.
22. T. Lukasiewicz. Probabilistic logic programming with conditional constraints. ACM Trans. Computat. Logic, 2(3):289-337, July 2001. To appear.
23. N. J. Nilsson. Probabilistic logic. Artif. Intell., 28:71-88, 1986.
24. J. Pearl. Probabilistic semantics for nonmonotonic reasoning: A survey. In Proceedings KR-89, pp. 505-516. 1989.
25. Y. Shoham. A semantical approach to nonmonotonic logics. In Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, pp. 275-279, 1987.
26. P. Snow. Diverse confidence levels in a probabilistic semantics for conditional logics. Artif. Intell., 113:269-279, 1999.