Authors: Doder, Dragan
Grant, John
Ognjanović, Zoran 
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: Probabilistic logics for objects located in space and time
Journal: Journal of Logic and Computation
Volume: 23
Issue: 3
First page: 487
Last page: 515
Issue Date: 1-Jun-2013
Rank: M22
ISSN: 0955-792X
DOI: 10.1093/logcom/exs054
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.
Keywords: probabilistic logic | spatio-temporal reasoning | strong completeness
Publisher: Oxford University Press
Project: Representations of logical structures and formal languages and their application in computing 
Development of new information and communication technologies, based on advanced mathematical methods, with applications in medicine, telecommunications, power systems, protection of national heritage and education 

Show full item record


checked on Jul 13, 2024

Page view(s)

checked on May 10, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.