On Coarser Interval Temporal Logics and their Satisfiability Problem

被引:1
|
作者
Munoz-Velasco, Emilio [1 ]
Pelegrin-Garcia, Mercedes [2 ]
Sala, Pietro [3 ]
Sciavicco, Guido [2 ]
机构
[1] Univ Malaga, Dept Appl Math, E-29071 Malaga, Spain
[2] Univ Murcia, Dept Informat Engn & Commun, Murcia, Spain
[3] Univ Verona, Dept Comp Sci, I-37100 Verona, Italy
来源
ADVANCES IN ARTIFICIAL INTELLIGENCE (CAEPIA 2015) | 2015年 / 9422卷
关键词
TIME; UNDECIDABILITY; SIDE;
D O I
10.1007/978-3-319-24598-0_10
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The primary characteristic of interval temporal logic is that intervals, rather than points, are taken as the primitive ontological entities. Their computational behaviour is generally bad, and several restrictions have been considered in order to define decidable and computationally affordable temporal logics based on intervals. In this paper we take inspiration from Golumbic and Shamir's coarser interval algebras, which generalize the classical Allen's Interval Algebra, in order to define two previously unknown variants of Halpern and Shoham's logic (HS). We prove that one of them (denoted here by HS7) is still generally undecidable, while the other one (HS3) becomes, perhaps surprisingly, PSPACE-complete, at least in the finite case.
引用
收藏
页码:105 / 115
页数:11
相关论文
共 50 条
  • [31] Guest editors’ preface to special issue on interval temporal logics
    Ben Moszkowski
    Dimitar Guelev
    Martin Leucker
    Annals of Mathematics and Artificial Intelligence, 2014, 71 : 1 - 9
  • [32] On the Satisfiability of Some Simple Probabilistic Logics
    Chakraborty, Souymodip
    Katoen, Joost-Pieter
    PROCEEDINGS OF THE 31ST ANNUAL ACM-IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2016), 2016, : 56 - 65
  • [33] Guest editors' preface to special issue on interval temporal logics
    Moszkowski, Ben
    Guelev, Dimitar
    Leucker, Martin
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2014, 71 (1-3) : 1 - 9
  • [34] Two-sorted Point-Interval Temporal Logics
    Balbiani, Philippe
    Goranko, Valentin
    Sciavicco, Guido
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2011, 278 : 31 - 45
  • [35] Metric Temporal Description Logics with Interval-Rigid Names
    Baader, Franz
    Borgwardt, Stefan
    Koopmann, Patrick
    Ozaki, Ana
    Thost, Veronika
    FRONTIERS OF COMBINING SYSTEMS (FROCOS 2017), 2017, 10483 : 60 - 76
  • [36] Metric Temporal Description Logics with Interval-Rigid Names
    Baader, Franz
    Borgwardt, Stefan
    Koopmann, Patrick
    Ozaki, Ana
    Thost, Veronika
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2020, 21 (04)
  • [37] Finite Satisfiability of Interval Temporal Logic Formulas with Multi-Objective Metaheuristics
    Bresolin, Davide
    Jimenez, Fernando
    Sanchez, Gracia
    Sciavicco, Guido
    JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2017, 28 (2-3) : 217 - 249
  • [38] A Solution to the Ramification Problem Expressed in Temporal Description Logics
    Papadakis, Nikos
    Petrakis, Polydoros
    Plexousakis, Dimitris
    Manifavas, Charalampos
    INTERNATIONAL JOURNAL OF SEMANTIC COMPUTING, 2014, 8 (01) : 1 - 46
  • [39] The importance of the past in interval temporal logics: The case of propositional neighborhood logic
    Della Monica, D. (ddellamonica@unisa.it), 1600, Springer Verlag (7360 LNCS):
  • [40] Interval Temporal Logics over Finite Linear Orders: the Complete Picture
    Bresolin, D.
    Della Monica, D.
    Montanari, A.
    Sala, P.
    Sciavicco, G.
    20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 : 199 - +