论文信息 - An Axiomatizatin of Qualitative Probability

An Axiomatizatin of Qualitative Probability

Qualitative reasoning attracts special attention over the last two decades due to its wide applicability in every-day tasks such as diagnostics, tutoring, real-time monitoring, hazard identification, etc. Reasoning about qualitative probabilities is one of the most common cases of qualitative reasoning. Here we will present a part of our work on the problem of sound, strongly complete and decidable axiomatization of the notion of qualitative probability.

Aleksandar Perovi | Zoran Ognjanovi | Miodrag Raškovi

[1] Miodrag Raskovic,et al. Logics with the Qualitative Probability Operator , 2007, Log. J. IGPL.

[2] Lluis Godo,et al. A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach , 2004, JELIA.

[3] Miodrag Raskovic,et al. A Logic with Conditional Probabilities , 2004, JELIA.

[4] Miodrag Raskovic,et al. Some first-order probability logics , 2000, Theor. Comput. Sci..

[5] Miodrag Raskovic,et al. Some Probability Logics with New Types of Probability Operators , 1999, J. Log. Comput..

[6] Daniel Lehmann,et al. Generalized Qualitative Probability: Savage revisited , 1996, UAI.

[7] Michael P. Wellman. Some Varieties of Qualitative Probability , 1994, IPMU.

[8] Ronald Fagin,et al. Reasoning about knowledge and probability , 1988, JACM.

[9] Louis Narens,et al. On qualitative axiomatizations for probability theory , 1980, J. Philos. Log..

[10] Z. Ognjanovic,et al. A LOGIC WITH HIGHER ORDER CONDITIONAL PROBABILITIES , 2007 .

[11] Zoran Ognjanović,et al. COMPLETENESS THEOREM FOR A LOGIC WITH IMPRECISE AND CONDITIONAL PROBABILITIES , 2005 .

[12] Gai CarSO. A Logic for Reasoning about Probabilities * , 2004 .

[13] Wiebe van der Hoeck. Some considerations on the logics PFD A logic combining modality and probability , 1997 .