Skip navigation

The completeness and soundness of temporal theories

The completeness and soundness of temporal theories

Zhao, Guoxing, Ma, Jixin and Petridis, Miltos (2008) The completeness and soundness of temporal theories. In: ECAI-08 Workshop on Spatial and Temporal Reasoning, 22 Jul 2008, University of Patras, Patras, Greece.

Full text not available from this repository.

Abstract

Generally speaking, the term temporal logic refers to any system of rules and symbolism for representing and reasoning about propositions qualified in terms of time. In computer science, particularly in the domain of Artificial Intelligence, there are mainly two known approaches to the representation of temporal information: modal logic approaches including tense logic and hybrid temporal logic, and predicate logic approaches including temporal arguement method and reified temporal logic. On one hand, while tense logic, hybrid temporal logic and temporal argument method enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although reified temporal logic provides greater expressive power, most of the current systems following the temporal reification lack of complete and sound axiomatic theories. With there observations in mind, a new reified temporal logic with clear syntax and semantics in terms of a sound and complete axiomatic formalism is introduced in this paper, which retains all the expressive power of temporal reification.

Item Type: Conference or Conference Paper (Paper)
Additional Information: [1] This paper was presented within the Workshop on Spatial and Temporal Reasoning in Session 4: Theoretical Analysis held on Tuesday 22 July 2008. It was one of several workshops which ran in conjunction with the 18th European Conference on Artificial Intelligence (ECAI 2008), held from 21-25 July 2008 in Patras, Greece. [2] No printed proceedings of the ECAI-08 Workshop on Spatial and Temporal Reasoning appear to be available, although the ECAI-08 Conference Proceedings may be downloaded from: http://booksonline.iospress.nl/Content/View.aspx?piid=9905
Uncontrolled Keywords: temporal logic, reified temporal logic, semantics, syntax
Subjects: Q Science > QA Mathematics
Pre-2014 Departments: School of Computing & Mathematical Sciences
School of Computing & Mathematical Sciences > Computer & Computational Science Research Group
School of Computing & Mathematical Sciences > Department of Computer Science
School of Computing & Mathematical Sciences > Department of Computer Systems Technology
Related URLs:
Last Modified: 14 Oct 2016 09:04
Selected for GREAT 2016: None
Selected for GREAT 2017: None
Selected for GREAT 2018: None
Selected for GREAT 2019: None
URI: http://gala.gre.ac.uk/id/eprint/1504

Actions (login required)

View Item View Item