Loading...
Please wait, while we are loading the content...
Similar Documents
A Tableau Method for Generalized Qualitative Spatio-Temporal Reasoning
| Content Provider | Semantic Scholar |
|---|---|
| Author | Sioutis, Michael Condotta, Jean-François Salhi, Yakoub Mazure, Bertrand |
| Copyright Year | 2016 |
| Abstract | We study the spatiotemporal logic that results by combining the propositional temporal logic (PTL) with a qualitative spatial constraint language, namely, the L1 logic, and present a first semantic tableau method that given a L1 formula φ systematically searches for a model for φ. 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 prove the correctness of our tableau method for L1 using the constraint properties of compactness and patchwork, whose implication in qualitative spatiotemporal reasoning was recently introduced in literature. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | http://www.cril.univ-artois.fr/~sioutis/files/stedy2015_3.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |