{"type":"ScholarlyArticle","title":"Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions","authors":[{"name":"Quentin Cohen-Solal","slug":"quentin-cohen-solal","given":"Quentin","family":"Cohen-Solal","affiliation":"Normandie Univ , UNICAEN, ENSICAEN , CNRS , GREYC , 14000 Caen , France"},{"name":"Maroua Bouzid","slug":"maroua-bouzid","given":"Maroua","family":"Bouzid","affiliation":"Normandie Univ , UNICAEN, ENSICAEN , CNRS , GREYC , 14000 Caen , France"},{"name":"Alexandre Niveau","slug":"alexandre-niveau","given":"Alexandre","family":"Niveau","affiliation":"Normandie Univ , UNICAEN, ENSICAEN , CNRS , GREYC , 14000 Caen , France"}],"abstract":"Relying on the recently introduced multi-algebras, we present a general approach for reasoning about temporal sequences of qualitative information that is generally more efficient than existing techniques.\r\nApplying our approach to the specific case of sequences of topological information about constant-size regions, we show that the resulting formalism has a complete procedure for deciding consistency, and we identify its three maximal tractable subclasses containing all basic relations.","doi":"10.24963/ijcai.2017/137","url":"https://ijcai.org/proceedings/2017/137","pdf":"https://ijcai.org/proceedings/2017/0137.pdf","markdown":"https://ijcai.org/proceedings/2017/137.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/137","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Knowledge Representation, Reasoning, and Logic","track":"Main track","number":137,"pages":{"first":986,"last":992},"keywords":["Knowledge Representation, Reasoning, and Logic: Geometric, Spatial, and Temporal Reasoning","Knowledge Representation, Reasoning, and Logic: Qualitative Reasoning","Knowledge Representation, Reasoning, and Logic: Tractable languages and knowledge compilation","Constraints and Satisfiability: Constraints and Satisfiability"],"videos":[],"references":[{"position":1,"raw":"[Bennett et al., 2002] Brandon Bennett, Anthony G. Cohn, Frank Wolter, and Michael Zakharyaschev. Multi- dimensional modal logic as a framework for spatio- temporal reasoning. Applied Intelligence, 17(3):239-251, 2002.","title":"Multidimensional modal logic as a framework for spatiotemporal reasoning","authors":"Brandon Bennett, Anthony G Cohn, Frank Wolter, Michael Zakharyaschev","year":"2002","venue":"Applied Intelligence","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Chen et al., 2015] Juan Chen, Anthony G. Cohn, Dayou Liu, Shengsheng Wang, Jihong Ouyang, and Qiangyuan Yu. A survey of qualitative spatial representations. The Knowledge Engineering Review, 30(01):106-136, 2015.","title":"A survey of qualitative spatial representations","authors":"Juan Chen, Anthony G Cohn, Dayou Liu, Shengsheng Wang, Jihong Ouyang, Qiangyuan Yu","year":"2015","venue":"The Knowledge Engineering Review","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Cohen-Solal et al., 2015] Quentin Cohen-Solal, Maroua Bouzid, and Alexandre Niveau. An algebra of granular temporal relations for qualitative reasoning. In Proc. of IJCAI, pages 2869-2875, 2015.","title":"An algebra of granular temporal relations for qualitative reasoning","authors":"Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau","year":"2015","venue":"Proc. of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2015/406"},{"position":4,"raw":"[Cohen-Solal et al., 2017] Quentin Cohen-Solal, Maroua Bouzid, and Alexandre Niveau. Checking the consistency of combined qualitative constraint networks. In Proc. of AAAI, pages 1084-1090, 2017.","title":"Checking the consistency of combined qualitative constraint networks","authors":"Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau","year":"2017","venue":"Proc. of AAAI","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Cui et al., 1992] Zahn Cui, Anthony G. Cohn, and David A. Randell. Qualitative simulation based on a logic of space and time. In Proc. of AAAI, pages 679-684, 1992.","title":"Qualitative simulation based on a logic of space and time","authors":"Zahn Cui, Anthony G Cohn, David A Randell","year":"1992","venue":"Proc. of AAAI","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Dylla & Moratz, 2004] Frank Dylla and Reinhard Moratz. Exploiting qualitative spatial neighborhoods in the situa- tion calculus. In Proc. of the International Conference on Spatial Cognition, pages 304-322. Springer, 2004.","title":"Exploiting qualitative spatial neighborhoods in the situation calculus","authors":"Moratz Dylla, Frank Dylla, Reinhard Moratz","year":"2004","venue":"Proc. of the International Conference on Spatial Cognition","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Freksa, 1992] Christian Freksa. Temporal reasoning based on semi-intervals. Artif. Intell., 54(1-2):199-227, 1992.","title":"Christian Freksa. Temporal reasoning based on semi-intervals","authors":"Freksa","year":"1992","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Galton, 1993] Antony Galton. Towards an integrated logic of space, time, and motion. In Proc. of IJCAI, pages 1550- 1555, 1993.","title":"Towards an integrated logic of space, time, and motion","authors":"Antony Galton","year":"1993","venue":"Proc. of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/1993/215"},{"position":9,"raw":"[Galton, 2000] Antony Galton. Qualitative spatial change. Oxford University Press, 2000.","title":"Qualitative spatial change","authors":"Antony Galton","year":"2000","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Gerevini & Nebel, 2002] Alfonso Gerevini and Bernhard Nebel. Qualitative spatio-temporal reasoning with RCC-8 and Allen's interval calculus: Computational complexity. In Proc. of ECAI, pages 312-316, 2002.","title":"Alfonso Gerevini and Bernhard Nebel. Qualitative spatio-temporal reasoning with RCC-8 and Allen's interval calculus: Computational complexity","authors":"& Gerevini, Nebel","year":"2002","venue":"Proc. of ECAI","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Gerevini & Renz, 2002] Alfonso Gerevini and Jochen Renz. Combining topological and size information for spatial reasoning. Artif. Intell., 137(1):1-42, 2002.","title":"Alfonso Gerevini and Jochen Renz. Combining topological and size information for spatial reasoning","authors":"Renz Gerevini","year":"2002","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Ligozat, 2013] Gérard Ligozat. Qualitative spatial and tem- poral reasoning. John Wiley & Sons, 2013.","title":"Qualitative spatial and temporal reasoning","authors":"Gérard Ligozat","year":"2013","venue":null,"doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Long & Li, 2015] Zhiguo Long and Sanjiang Li. On dis- tributive subalgebras of qualitative spatial and temporal calculi. In Spatial Information Theory, pages 354-374. Springer, 2015.","title":"On distributive subalgebras of qualitative spatial and temporal calculi","authors":"Li ; Long, Zhiguo Long, Sanjiang Li","year":"2015","venue":"Spatial Information Theory","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Ragni & Wölfl, 2005] Marco Ragni and Stefan Wölfl. Tem- poralizing spatial calculi: On generalized neighborhood graphs. In Proc. of KI, pages 64-78. Springer, 2005.","title":"Temporalizing spatial calculi: On generalized neighborhood graphs","authors":"Wölfl Ragni, Marco Ragni, Stefan Wölfl","year":"2005","venue":"Proc. of KI","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Ragni & Wölfl, 2006] Marco Ragni and Stefan Wölfl. Tem- poralizing cardinal directions: From constraint satisfaction to planning. In Proc. of KR, pages 472-480, 2006.","title":"Temporalizing cardinal directions: From constraint satisfaction to planning","authors":"Wölfl Ragni, Marco Ragni, Stefan Wölfl","year":"2006","venue":"Proc. of KR","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Renz, 1999] Jochen Renz. Maximal tractable fragments of the region connection calculus: A complete analysis. In Proc. of IJCAI, pages 448-455, 1999.","title":"Maximal tractable fragments of the region connection calculus: A complete analysis","authors":"Jochen Renz, Renz","year":"1999","venue":"Proc. of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/1999/65"},{"position":17,"raw":"[Santos & Moreira, 2009] Maribel Yasmina Santos and Adriano Moreira. Conceptual neighborhood graphs for topological spatial relations. In Proc. of the World Congress on Engineering, volume 1, pages 12-18, 2009.","title":"Conceptual neighborhood graphs for topological spatial relations","authors":"Moreira ; Santos, Yasmina Maribel, Adriano Santos, Moreira","year":"2009","venue":"Proc. of the World Congress on Engineering","doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Sioutis et al., 2014] Michael Sioutis, Jean-Franc ¸ois Con- dotta, Yakoub Salhi, and Bertrand Mazure. A qualita- tive spatio-temporal framework based on point algebra. In Proc. of AIMSA, pages 117-128. Springer, 2014.","title":"A qualitative spatio-temporal framework based on point algebra","authors":"Michael Sioutis, Jean-Franc ¸ois Condotta, Yakoub Salhi, Bertrand Mazure","year":"2014","venue":"Proc. of AIMSA","doi":null,"url":null,"internal_url":null},{"position":19,"raw":"[Sioutis et al., 2015] Michael Sioutis, Jean-Franc ¸ois Con- dotta, Yakoub Salhi, Bertrand Mazure, and David A Ran- dell. Ordering spatio-temporal sequences to meet transi- tion constraints: Complexity and framework. In Proc. of AI Applications and Innovations, pages 130-150, 2015.","title":"Ordering spatio-temporal sequences to meet transition constraints: Complexity and framework","authors":"Michael Sioutis, Jean-Franc ¸ois Condotta, Yakoub Salhi, Bertrand Mazure, David A Randell","year":"2015","venue":"Proc. of AI Applications and Innovations","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Westphal et al., 2011] Matthias Westphal, Christian Dorn- hege, Stefan Wölfl, Marc Gissler, and Bernhard Nebel. Guiding the generation of manipulation plans by qualita- tive spatial reasoning. Spatial Cognition & Computation, 11(1):75-102, 2011.","title":"Guiding the generation of manipulation plans by qualitative spatial reasoning","authors":"Matthias Westphal, Christian Dornhege, Stefan Wölfl, Marc Gissler, Bernhard Nebel","year":"2011","venue":"Spatial Cognition & Computation","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Westphal et al., 2013] Matthias Westphal, Julien Hué, Ste- fan Wölfl, and Bernhard Nebel. Transition constraints: A study on the computational complexity of qualitative change. In Proc. of IJCAI, pages 1169-1175, 2013.","title":"Transition constraints: A study on the computational complexity of qualitative change","authors":"Matthias Westphal, Julien Hué, Stefan Wölfl, Bernhard Nebel","year":"2013","venue":"Proc. of IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2013/176"},{"position":22,"raw":"[Wölfl & Westphal, 2009] Stefan Wölfl and Matthias West- phal. On combinations of binary qualitative constraint cal- culi. In Proc. of IJCAI, pages 967-973, 2009.","title":"Stefan Wölfl and Matthias Westphal. On combinations of binary qualitative constraint calculi","authors":"& Wölfl, Westphal","year":"2009","venue":"Proc. of IJCAI","doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Wu et al., 2014] Jing Wu, Christophe Claramunt, and Min Deng. Towards a qualitative representation of movement. In Proc. of the International Conference on Conceptual Modeling, pages 191-200. Springer, 2014.","title":"Towards a qualitative representation of movement","authors":"Jing Wu, Christophe Claramunt, Min Deng","year":"2014","venue":"Proc. of the International Conference on Conceptual Modeling","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}