On Modal Probability and Belief

We investigate a simple modal logic of probability with a unary modal operator expressing that a proposition is more probable than its negation. Such an operator is not closed under conjunction, and its modal logic is therefore non-normal. Within this framework we study the relation of probability with other modal concepts: belief and action.

[1]  Rudolf Kruse,et al.  Symbolic and Quantitative Approaches to Uncertainty , 1991, Lecture Notes in Computer Science.

[2]  Petr Hájek,et al.  A Fuzzy Modal Logic for Belief Functions , 2001, Fundam. Informaticae.

[3]  Donald Nute,et al.  Counterfactuals , 1975, Notre Dame J. Formal Log..

[4]  Joseph Y. Halpern,et al.  A Logic to Reason about Likelihood , 1987, Artif. Intell..

[5]  C. L. Hamblin.  VIII.—THE MODAL ”PROBABLY“ , 1959 .

[6]  Vladimir Lifschitz,et al.  Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .

[7]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[8]  Joseph Y. Halpern,et al.  Likelihood, probability, and knowledge 1 , 1984, AAAI.

[9]  P G rdenfors,et al.  Knowledge in flux: modeling the dynamics of epistemic states , 1988 .

[10]  Brian F. Chellas.  Modal Logic: Normal systems of modal logic , 1980 .

[11]  Dominique Longin,et al.  Sensing and revision in a modal logic of belief and action , 2002, ECAI.

[12]  J. Hintikka.  Knowledge and belief , 1962 .

[13]  Luis Fariñas del Cerro,et al.  A Modal Analysis of Possibility Theory , 1991, ECSQARU.

[14]  Dominique Longin,et al.  A Logic for Planning under Partial Observability , 2000, AAAI/IAAI.

[15]  Dov M. Gabbay,et al.  Handbook of Philosophical Logic , 2002 .

[16]  Maurizio Fattorosi-Barnaba,et al.  Graded modalities. I , 1985, Stud Logica.

[17]  Hector J. Levesque,et al.  GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..

[18]  Jozef Kelemen,et al.  Fundamentals of Artificial Intelligence Research , 1991, Lecture Notes in Computer Science.

[19]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[20]  T. Fine,et al.  Varieties of modal (classificatory) and comparative probability , 1979, Synthese.

[21]  Wiebe van der Hoek.  On the Semantics of Graded Modalities , 1992, J. Appl. Non Class. Logics.

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

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