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

Journal of Applied Non-Classical Logics

Volumn 12, Issue 2, 2002, Pages 189-213

  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

Conditional constraints; Conditional objects; Conditional probability assessments; Default reasoning from conditional knowledge bases; G coherence; G coherent entailment; Model theoretic probabilistic logic; Probabilistic logic under coherence; System P

Indexed keywords

EID: 84992255304     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.12.189-213     Document Type: Article

References (41)

1. [ADA 75] ADAMS E. W., The Logic of Conditionals, vol. 86 of Synthese Library, D. Reidel, Dordrecht, Netherlands, 1975.
2. [AMA 91] AMARGER S., DUBOIS D., PRADE H., "Constraint propagation with imprecise conditional probabilities" Proceedings UAI-91, Morgan Kaufmann, 1991, p. 26-34.
3. [BEN 97] BENFERHAT S., DUBOIS D., PRADE H., "Nonmonotonic reasoning, conditional objects and possibility theory" Artif. Intell., vol. 92, num. 1-2, 1997, p. 259-276. (Pubitemid 127414146)
4. [BEN 99] BENFERHAT S., DUBOIS D., PRADE H., "Possibilistic and standard probabilistic semantics of conditional knowledge bases" J. Logic Computat., vol. 9, num. 6, 1999, p. 873-895. (Pubitemid 30558607)
5. [BIA 00] BIAZZO V., GILIO A., "A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments" Int. J. Approx. Reasoning, vol. 24, num. 2-3, 2000, p. 251-272. (Pubitemid 34200950)
6. [BIA 01] BIAZZO V., GILIO A., LUKASIEWICZ T., SANFILIPPO G., "Probabilistic logic under coherence: Complexity and algorithms" Proceedings ISIPTA-01, 2001, p. 51-61.
7. [BOO 54] BOOLE G., 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, New York, 1958).
8. [COL 94] COLETTI G., "Coherent numerical and ordinal probabilistic assessments" IEEE Trans. Syst. Man Cybern., vol. 24, num. 12, 1994, p. 1747-1754.
9. [COL 96] COLETTI G., SCOZZAFAVA R., "Characterization of coherent conditional probabilities as a tool for their assessment and extension" Journal of Uncertainty, Fuzziness and Knowledge-based Systems, vol. 4, num. 2, 1996, p. 103-127. (Pubitemid 126488886)
10. [COL 99a] COLETTI G., SCOZZAFAVA R., "Coherent upper and lower Bayesian updating" Proceedings ISIPTA-99, 1999, p. 101-110.
11. [COL 99b] COLETTI G., SCOZZAFAVA R., "Conditioning and inference in intelligent systems" Soft Computing, vol. 3, num. 3, 1999, p. 118-130.
12. [DUB 91] DUBOIS D., PRADE H., "Possibilistic logic, preferential models, non-monotonicity and related issues" Proceedings IJCAI-91, Morgan Kaufmann, 1991, p. 419-424.
13. [DUB 94] DUBOIS D., PRADE H., "Conditional objects as nonmonotonic consequence relationships" IEEE Trans. Syst. Man Cybern., vol. 24, num. 12, 1994, p. 1724-1740.
14. [FAG 90] FAGIN R., HALPERN J. Y., MEGIDDO N., "A logic for reasoning about probabilities" Inf. Comput., vol. 87, 1990, p. 78-128.
15. [FRI 94] FRISCH A. M., HADDAWY P., "Anytime deduction for probabilistic logic" Artif. Intell., vol. 69, 1994, p. 93-122.
16. [GAB 98] GABBAY D. M., SMETS P., Eds., Handbook on Defeasible Reasoning and Uncertainty Management Systems, Kluwer Academic, Dordrecht, Netherlands, 1998.
17. [GEF 92a] GEFFNER H., "High probabilities, model preference and default arguments" Mind and Machines, vol. 2, 1992, p. 51-70.
18. [GEF 92b] GEFFNER H., Default Reasoning: Causal and Conditional Theories, MIT Press, 1992.
19. [GIL 94] GILIO A., SCOZZAFAVA R., "Conditional events in probability assessment and revision" IEEE Trans. Syst. Man Cybern., vol. 24, num. 12, 1994, p. 1741-1746.
20. [GIL 95a] GILIO A., "Algorithms for precise and imprecise conditional probability assessments" COLETTI G., DUBOIS D., SCOZZAFAVA R., Eds., Mathematical Models for Handling Partial Knowledge in Artificial Intelligence, p. 231-254, Plenum Press, 1995.
21. [GIL 95b] GILIO A., "Probabilistic consistency of conditional probability bounds" Advances in Intelligent Computing, vol. 945 of LNCS, Springer, 1995, p. 200-209.
22. [GIL 02] GILIO A., "Probabilistic reasoning under coherence in System P" Ann. Math. Artif. Intell., vol. 34, num. 1-3, 2002, p. 5-34. (Pubitemid 37133000)
23. [GOL 91] GOLDSZMIDT M., PEARL J., "On the consistency of defeasible databases" Artif. Intell., vol. 52, num. 2, 1991, p. 121-149.
24. [GOL 92] GOLDSZMIDT M., PEARL J., "Rank-based systems: A simple approach to belief revision, belief update and reasoning about evidence and actions" Proceedings KR-92, Morgan Kaufmann, 1992, p. 661-672.
25. [KRA 90] KRAUS S., LEHMANN D., MAGIDOR M., "Nonmonotonic reasoning, preferential models and cumulative logics" Artif. Intell., vol. 14, num. 1, 1990, p. 167-207. (Pubitemid 20719858)
26. [LEH 95] LEHMANN D., "Another perspective on default reasoning" Ann. Math. Artif. Intell., vol. 15, num. 1, 1995, p. 61-82.
27. [LUK 99a] LUKASIEWICZ T., "Local probabilistic deduction from taxonomic and probabilistic knowledge-bases over conjunctive events" Int. J. Approx. Reasoning, vol. 21, num. 1, 1999, p. 23-61. (Pubitemid 129533599)
28. [LUK 99b] LUKASIEWICZ T., "Probabilistic deduction with conditional constraints over basic events" J. Artif. Intell. Res., vol. 10, 1999, p. 199-241. (Pubitemid 30573910)
29. [LUK 01] LUKASIEWICZ T., "Probabilistic logic programming with conditional constraints" ACM Trans. Computat. Logic, vol. 2, num. 3, 2001, p. 289-339.
30. [LUK 02a] LUKASIEWICZ T., "Probabilistic default reasoning with conditional constraints" Ann. Math. Artif. Intell., vol. 34, num. 1-3, 2002, p. 35-88. (Pubitemid 37133001)
31. [LUK 02b] LUKASIEWICZ T., "Nonmonotonic probabilistic logics between model-theoretic probabilistic logic and probabilistic logic under coherence" Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR-2002), 2002, p. 265-274.
32. [NIL 86] NILSSON N. J., "Probabilistic logic" Artif. Intell., vol. 28, 1986, p. 71-88.
33. [PEA 88] PEARL J., Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann, San Mateo, CA, 1988.
34. [PEA 89] PEARL J., "Probabilistic semantics for nonmontonic reasoning: A survey" Proceedings KR-89, Morgan Kaufmann, 1989, p. 505-516.
35. [PEA 90] PEARL J., "System Z: A natural ordering of defaults with tractable applications to default reasoning" Proceedings TARK-90, Morgan Kaufmann, 1990, p. 121-135.
36. [PEL 98] PELESSONI R., VICIG P., "A consistency problem for imprecise conditional probability assessments" Proceedings IPMU-98, 1998, p. 1478-1485.
37. [SCO 96] SCOZZAFAVA R., "Subjective conditional probability and coherence principles for handling partial information" Mathware Soft Comput., vol. 3, num. 1, 1996, p. 183-192. (Pubitemid 126113786)
38. [SHO 87] SHOHAM Y., "A semantical approach to nonmonotonic logics" Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, 1987, p. 275-279.
39. [SNO 99] SNOW P., "Diverse confidence levels in a probabilistic semantics for conditional logics" Artif. Intell., vol. 113, 1999, p. 269-279. (Pubitemid 30542736)
40. [SPO 88] SPOHN W., "Ordinal conditional functions: A dynamic theory of epistemic states" HARPER W., SKYRMS B., Eds., Causation in Decision, Belief Change, and Statistics, vol. 2, p. 105-134, Reidel, Dordrecht, Netherlands, 1988.
41. [WAL 91] WALLEY P., Statistical Reasoning with Imprecise Probabilities, Chapman and Hall, 1991.