163 research outputs found
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
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
On Sub-Propositional Fragments of Modal Logic
In this paper, we consider the well-known modal logics ,
, , and , and we study some of their
sub-propositional fragments, namely the classical Horn fragment, the Krom
fragment, the so-called core fragment, defined as the intersection of the Horn
and the Krom fragments, plus their sub-fragments obtained by limiting the use
of boxes and diamonds in clauses. We focus, first, on the relative expressive
power of such languages: we introduce a suitable measure of expressive power,
and we obtain a complex hierarchy that encompasses all fragments of the
considered logics. Then, after observing the low expressive power, in
particular, of the Horn fragments without diamonds, we study the computational
complexity of their satisfiability problem, proving that, in general, it
becomes polynomial
Fast(er) Reasoning in Interval Temporal Logic
Clausal forms of logics are of great relevance in Artificial Intelligence, because they couple a
high expressivity with a low complexity of reasoning problems. They have been studied for a
wide range of classical, modal and temporal logics to obtain tractable fragments of intractable
formalisms. In this paper we show that such restrictions can be exploited to lower the complexity
of interval temporal logics as well. In particular, we show that for the Horn fragment of the
interval logic AA (that is, the logic with the modal operators for Allen’s relations meets and
met by) without diamonds the complexity lowers from NExpTime-complete to P-complete. We
prove also that the tractability of the Horn fragments of interval temporal logics is lost as soon
as other interval temporal operators are added to AA, in most of the cases
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
Reasoning in Interval Temporal Logics - New Frontiers
In this talk, we are going to survey the basic elements of temporal logics based on intervals instead of points. We shall first give the most fundamental
definitions, with particular attention to the parameters that influence the computational properties of logics of time intervals. Then, we shall see
the most important results that we have obtained in the past years. Finally, we shall focus our attention on the currently open problems, and, in particular,
those on which we are working on in joint with the University of Malaga. We shall conclude by proposing interesting line of research closely connected
to such problems.Universidad de Málaga. Campus de Excelencia Internacional AndalucÃa Tech
Deciding the Consistency of Branching Time Interval Networks
Allen’s Interval Algebra (IA) is one of the most prominent formalisms in the area of qualitative
temporal reasoning; however, its applications are naturally restricted to linear flows of time. When dealing with nonlinear time, Allen’s algebra can be extended in several ways, and, as suggested by Ragni and Wölfl, a possible solution consists in defining the Branching Algebra (BA) as a set of 19 basic relations (13 basic linear relations plus 6 new basic nonlinear ones) in such a way that each basic relation between two intervals is completely defined by the relative position of the endpoints on a tree-like partial order. While the problem of deciding the consistency of a network of IA-constraints is well-studied, and every subset of the IA has been classified with respect to the tractability of its consistency problem, the fragments of the BA have received less attention. In this paper, we first define the notion of convex BA-relation, and, then, we prove that the consistency of a network of convex BA-relations can be decided via path consistency, and is therefore a polynomial problem. This is the first non-trivial tractable fragment of the BA; given the clear parallel with the linear case, our contribution poses the bases for a deeper study of fragments of BA towards their complete classification
Mining Significant Temporal Networks Is Polynomial
A Conditional Simple Temporal Network with Uncertainty and Decisions (CSTNUD) is a formalism that tackles controllable and uncontrollable durations as well as controllable and uncontrollable choices simultaneously. In the classic top-down model-based engineering approach, a designer builds a CSTNUD to model, validate and execute some temporal plan of interest. Instead, in this paper, we investigate the bottom-up approach by providing a deterministic polynomial time algorithm to mine a CSTNUD from a set of execution traces (i.e., a log). This paper paves the way for the design of controllable temporal networks mined from traces that also contain information on uncontrollable events
Extracting Interval Temporal Logic Rules: A First Approach
Discovering association rules is a classical data mining task with a wide range of applications that include the medical, the financial, and the planning domains, among others. Modern rule extraction algorithms focus on static rules, typically expressed in the language of Horn propositional logic, as opposed to temporal ones, which have received less attention in the literature. Since in many application domains temporal information is stored in form of intervals, extracting interval-based temporal rules seems the natural choice. In this paper we extend the well-known algorithm APRIORI for rule extraction to discover interval temporal rules written in the Horn fragment of Halpern and Shoham\u27s interval temporal logic
- …