An axiomatization of qualitative probability

Qualitative reasoning attracts special attention over the last few 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.

[1]  Wiebe van der Hoek.  Some Considerations on the Logic PFD~ , 1997, J. Appl. Non Class. Logics.

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

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

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

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

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

[7]  D. Scott.  Measurement structures and linear inequalities , 1964 .

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

[9]  Dubois Didier,et al.  CHAPTER 36 – Qualitative Possibility Functions and Integrals , 2002 .

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

[11]  Enrico Marchioni.  Logics in Artificial Intelligence , 1996, Lecture Notes in Computer Science.

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

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

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

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

[16]  Ronald Fagin,et al.  A logic for reasoning about probabilities , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.