Possible Semantics for a Common Framework of Probabilistic Logics

This paper proposes a common framework for various probabilistic logics. It consists of a set of uncertain premises with probabilities attached to them. This raises the question of the strength of a conclusion, but without imposing a particular semantics, no general solution is possible. The paper discusses several possible semantics by looking at it from the perspective of probabilistic argumentation.

[1]  Dov M. Gabbay,et al.  Handbook of defeasible reasoning and uncertainty management systems: volume 2: reasoning with actual and potential contradictions , 1998 .

[2]  H. Gaifman.  Concerning measures in first order calculi , 1964 .

[3]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

[4]  Isaac Levi,et al.  The Enterprise Of Knowledge , 1980 .

[5]  Gustav Bergmann,et al.  The Logic of Probability , 1941 .

[6]  Joseph Y. Halpern.  An Analysis of First-Order Logics of Probability , 1989, IJCAI.

[7]  H. Jeffreys.  Logical Foundations of Probability , 1952, Nature.

[8]  Ernest W. Adams,et al.  A primer of probability logic , 1996 .

[9]  E. T. Jaynes,et al.  Probability Theory as Logic , 1990 .

[10]  Giangiacomo Gerla,et al.  Inferences in Probability Logic , 1994, Artif. Intell..

[11]  Constantin A. Drossos.  Probability and Logic , 2004 .

[12]  J. Hintikka,et al.  Aspects of Inductive Logic. , 1968 .

[13]  John Fox,et al.  Probability, logic and the cognitive foundations of rational belief , 2003, Journal of Applied Logic.

[14]  Rolf Haenni,et al.  Towards a Unifying Theory of Logical and Probabilistic Reasoning , 2005, ISIPTA.

[15]  John N. Hooker,et al.  A linear programming framework for logics of uncertainty , 1996, Decis. Support Syst..

[16]  Rolf Haenni.  Probabilistic argumentation , 2009, J. Appl. Log..

[17]  Rolf Haenni.  Using probabilistic argumentation for key validation in public-key cryptography , 2005, Int. J. Approx. Reason..

[18]  Jürg Kohlas,et al.  Probabilistic argumentation systems: A new way to combine logic with probability , 2003, J. Appl. Log..

[19]  Rolf Haenni,et al.  Modeling partially reliable information sources: A general approach based on Dempster-Shafer theory , 2006, Inf. Fusion.

[20]  E. Ruspini.  The Logical Foundations of Evidential Reasoning (revised) , 1987 .

[21]  John D. Lowrance,et al.  Understanding evidential reasoning , 1992, Int. J. Approx. Reason..

[22]  Rolf Haenni,et al.  Probabilistic Argumentation Systems , 2003 .

[23]  Theodore Hailperin,et al.  Probability logic , 1984, Notre Dame J. Formal Log..

[24]  D. Scott,et al.  Assigning Probabilities to Logical Formulas , 1966 .

[25]  Thomas Lukasiewicz,et al.  Probabilistic Logic Programming , 1998, ECAI.

[26]  Matthew Richardson,et al.  Markov logic networks , 2006, Machine Learning.

[27]  Fabio Gagliardi Cozman,et al.  Credal networks , 2000, Artif. Intell..

[28]  Henry Ely Kyburg,et al.  Probability and Inductive Logic , 1970 .

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