3,303 research outputs found
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)
There are two natural and well-studied approaches to temporal ontology and
reasoning: point-based and interval-based. Usually, interval-based temporal
reasoning deals with points as a particular case of duration-less intervals. A
recent result by Balbiani, Goranko, and Sciavicco presented an explicit
two-sorted point-interval temporal framework in which time instants (points)
and time periods (intervals) are considered on a par, allowing the perspective
to shift between these within the formal discourse. We consider here two-sorted
first-order languages based on the same principle, and therefore including
relations, as first studied by Reich, among others, between points, between
intervals, and inter-sort. We give complete classifications of its
sub-languages in terms of relative expressive power, thus determining how many,
and which, are the intrinsically different extensions of two-sorted first-order
logic with one or more such relations. This approach roots out the classical
problem of whether or not points should be included in a interval-based
semantics. In this Part II, we deal with the cases of all dense and the case of
all unbounded linearly ordered sets.Comment: This is Part II of the paper `An Integrated First-Order Theory of
Points and Intervals over Linear Orders' arXiv:1805.08425v2. Therefore the
introduction, preliminaries and conclusions of the two papers are the same.
This version implements a few minor corrections and an update to the
affiliation of the second autho
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)
There are two natural and well-studied approaches to temporal ontology and
reasoning: point-based and interval-based. Usually, interval-based temporal
reasoning deals with points as a particular case of duration-less intervals. A
recent result by Balbiani, Goranko, and Sciavicco presented an explicit
two-sorted point-interval temporal framework in which time instants (points)
and time periods (intervals) are considered on a par, allowing the perspective
to shift between these within the formal discourse. We consider here two-sorted
first-order languages based on the same principle, and therefore including
relations, as first studied by Reich, among others, between points, between
intervals, and inter-sort. We give complete classifications of its
sub-languages in terms of relative expressive power, thus determining how many,
and which, are the intrinsically different extensions of two-sorted first-order
logic with one or more such relations. This approach roots out the classical
problem of whether or not points should be included in a interval-based
semantics
Temporal Data Modeling and Reasoning for Information Systems
Temporal knowledge representation and reasoning is a major research field in Artificial
Intelligence, in Database Systems, and in Web and Semantic Web research. The ability to
model and process time and calendar data is essential for many applications like appointment
scheduling, planning, Web services, temporal and active database systems, adaptive
Web applications, and mobile computing applications. This article aims at three complementary
goals. First, to provide with a general background in temporal data modeling
and reasoning approaches. Second, to serve as an orientation guide for further specific
reading. Third, to point to new application fields and research perspectives on temporal
knowledge representation and reasoning in the Web and Semantic Web
Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems
The paper presents probabilistic extensions of interval temporal logic (ITL)
and duration calculus (DC) with infinite intervals and complete Hilbert-style
proof systems for them. The completeness results are a strong completeness
theorem for the system of probabilistic ITL with respect to an abstract
semantics and a relative completeness theorem for the system of probabilistic
DC with respect to real-time semantics. The proposed systems subsume
probabilistic real-time DC as known from the literature. A correspondence
between the proposed systems and a system of probabilistic interval temporal
logic with finite intervals and expanding modalities is established too.Comment: 43 page
An integrated first-order theory of points and intervals : expressive power in the class of all linear orders
There are two natural and well-studied approaches to temporal ontology and reasoning, that is, pointbased and interval-based. Usually, interval-based temporal reasoning deals with points as a particular case of duration-less intervals. Recently, a two-sorted point-interval temporal logic in a modal framework in which time instants (points) and time periods (intervals) are considered on a par has been presented. We consider here two-sorted first-order languages, interpreted in the class of all linear orders, based on the same principle, with relations between points, between intervals, and intersort. First, for those languages containing only interval-interval, and only inter-sort relations we give complete classifications of their sub-fragments in terms of relative expressive power, determining how many, and which, are the different two-sorted first-order languages with one or more such relations. Then, we consider the full two-sorted first-order logic with all the above mentioned relations, restricting ourselves to identify all expressively complete fragments and all maximal expressively incomplete fragments, and posing the basis for a forthcoming complete classification
A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes
The study of algebraic modelling of labelled non-deterministic concurrent processes leads us to consider a category LB , obtained from a complete meet-semilattice B and from B-valued equivalence relations. We prove that, if B has enough properties, then LB presents a two-fold internal logical structure, induced by two doctrines definable on it: one related to its families of subobjects and one to its families of regular subobjects. The first doctrine is Heyting and makes LB a Heyting category, the second one is Boolean. We will see that the difference between these two logical structures, namely the different behaviour of the negation operator, can be interpreted in terms of a distinction between non-deterministic and deterministic behaviours of agents able to perform computations in the context of the same process. Moreover, the sorted first-order logic naturally associated with LB can be extended to a modal/temporal logic, again using the doctrinal setting. Relations are also drawn to other computational model
- ā¦