Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method

被引：0

作者：

Sioutis, Michael ^{[1
]}

Condotta, Jean-Francois ^{[1
]}

Salhi, Yakoub ^{[1
]}

Mazure, Bertrand ^{[1
]}

机构：

[1] Univ Lille Nord France, Artois, CNRS, CRIL,UMR 8188, Lens, France

来源：

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015) | 2015年 / 9323卷

关键词：

LOGICS;

D O I：

10.1007/978-3-319-24312-2_5

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

We study the spatiotemporal logic that results by combining the propositional temporal logic (PTL) with a qualitative spatial constraint language, namely, the L-1 logic, and present a first semantic tableau method that given a L-1 formula phi systematically searches for a model for phi. Our approach builds on Wolper's tableau method for PTL, while the ideas provided can be carried to other tableau methods for PTL as well. Further, we investigate the implication of the constraint properties of compactness and patchwork in spatiotemporal reasoning. We use these properties to strengthen results regarding the complexity of the satisfiability problem in L-1, by replacing the stricter global consistency property used in literature and generalizing to more qualitative spatial constraint languages. Finally, the obtained strengthened results allow us to prove the correctness of our tableau method for L-1.

引用

页码：54 / 69

页数：16

共 50 条

[1] A qualitative Hidden Markov model for spatio-temporal reasoning
Ibrahim, Zina M.
Tawfik, Ahmed Y.
Ngom, Alioune
SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2007, 4724 : 707 - +
[2] Integrating orientation, distance and time for qualitative spatio-temporal reasoning
Xie, Q
Liu, DY
Yu, QY
Yu, HB
PROCEEDINGS OF THE 2004 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2004, : 2269 - 2273
[3] Hybrid AI Systems Grounded on Qualitative Spatio-Temporal Reasoning
Sioutis, Michael
Long, Zhiguo
PROCEEDINGS OF THE 12TH HELLENIC CONFERENCE ON ARTIFICIAL INTELLIGENCE, SETN 2022, 2022,
[4] Qualitative spatio-temporal reasoning with RCC-8 and Allen's interval calculus: Computational complexity
Gerevini, A
Nebel, B
ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2002, 77 : 312 - 316
[5] Spatio-temporal reasoning based spatio-temporal information management middleware
Wang, SS
Liu, DY
Wang, Z
ADVANCED WEB TECHNOLOGIES AND APPLICATIONS, 2004, 3007 : 436 - 441
[6] Qualitative semantic spatio-temporal reasoning based on description logics for modeling dynamics of spatio-temporal objects in satellite images
Ghazouani, Fethi
Farah, Imed Riadh
Solaiman, Basel
2018 4TH INTERNATIONAL CONFERENCE ON ADVANCED TECHNOLOGIES FOR SIGNAL AND IMAGE PROCESSING (ATSIP), 2018,
[7] Reasoning about qualitative spatio-temporal relations at multiple levels of granularity
Bittner, T
ECAI 2002: 15TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2002, 77 : 317 - 321
[8] Qualitative spatio-temporal reasoning about movement of mobile agents/objects
Cheng, Jing-De
PROCEEDINGS OF 2008 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2008, : 3341 - 3346
[9] Life and Motion Configurations: A Basis for Spatio-temporal Generalized Reasoning Model
Hallot, Pierre
Billen, Roland
ADVANCES IN CONCEPTUAL MODELING - CHALLENGES AND OPPORTUNITIES, 2008, 5232 : 323 - 333
[10] Qualitative Spatio-temporal Reasoning from Mobile Sensor Data using Qualitative Trigonometry
Brink, Juliane
ADVANCING GEOINFORMATION SCIENCE FOR A CHANGING WORLD, 2011, 1 : 211 - 225

← 1 2 3 4 5 →