Probabilistic logics for objects located in space and time

Spatiotemporal databases can be used to efficiently store and retrieve information about objects moving in space and time. Probabilities are added to model the case where the locations are not known with certainty. A few years ago a new formalism was introduced to represent such information in the form of atomic formulas, each of which represents the probability (in the form of an interval because even the probabilities are not known precisely) that a particular object is in a particular location at a particular time. We extend this formalism to obtain several different probabilistic logics by adding logical operators. Furthermore, we axiomatize these logics, provide corresponding semantics, prove that the axiomatizations are sound and complete, and discuss decidability issues. While we relate these logics to previous axiomatizations of probabilistic logics, this article is self-contained: no prior knowledge of probabilistic logics is assumed.

[1]  Haim Gaifman,et al.  A Theory of Higher Order Probabilities , 1986, TARK.

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

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

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

[5]  Dragan Doder,et al.  A LOGIC WITH BIG-STEPPED PROBABILITIES THAT CAN MODEL NONMONOTONIC REASONING OF SYSTEM P , 2011 .

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

[7]  Joseph Y. Halpern.  The relationship between knowledge, belief, and certainty , 1991, Annals of Mathematics and Artificial Intelligence.

[8]  Dragan Doder,et al.  A logic with conditional probability operators , 2010 .

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

[10]  Martín Abadi,et al.  Decidability and Expressiveness for First-Order Logics of Probability , 1994, Inf. Comput..

[11]  V. S. Subrahmanian,et al.  An AGM-style belief revision mechanism for probabilistic spatio-temporal logics , 2010, Artif. Intell..

[12]  Gianni Amati,et al.  Modal operators with probabilistic interpretations, I , 1987, Stud Logica.

[13]  John Grant,et al.  Incomplete Information in a Relational Database , 1980, Fundamenta Informaticae.

[14]  Martin Meier,et al.  An infinitary probability logic for type spaces , 2012 .

[15]  Miodrag Raskovic,et al.  A logic with approximate conditional probabilities that can model default reasoning , 2008, Int. J. Approx. Reason..

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

[17]  Zoran Ognjanovic.  Discrete Linear-time Probabilistic Logics: Completeness, Decidability and Complexity , 2006, J. Log. Comput..

[18]  Dimitar P. Guelev.  A Propositional Dynamic Logic with Qualitative Probabilities , 1999, J. Philos. Log..

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

[20]  Miodrag Raskovic,et al.  A Probabilistic Temporal Logic That Can Model Reasoning about Evidence , 2010, FoIKS.

[21]  Nils J. Nilsson,et al.  Probabilistic Logic Revisited , 1993, Artif. Intell..

[22]  Natasha Alechina,et al.  Logic with Probabilistic Operators , 1995 .

[23]  Th. Motzkin.  Beiträge zur Theorie der linearen Ungleichungen , 1936 .

[24]  Miodrag Raskovic,et al.  A probabilistic extension of intuitionistic logic , 2003, Math. Log. Q..

[25]  Laks V. S. Lakshmanan,et al.  ProbView: a flexible probabilistic database system , 1997, TODS.

[26]  John Grant,et al.  Null Values in a Relational Data Base , 1977, Inf. Process. Lett..

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

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

[29]  V. S. Subrahmanian,et al.  A Logical Formulation of Probabilistic Spatial Databases , 2007, IEEE Transactions on Knowledge and Data Engineering.