{"type":"ScholarlyArticle","title":"A Logic of Directions","authors":[{"name":"Heshan Du","slug":"heshan-du","given":"Heshan","family":"Du","affiliation":"University of Nottingham Ningbo China"},{"name":"Natasha Alechina","slug":"natasha-alechina","given":"Natasha","family":"Alechina","affiliation":"Utrecht University , Netherlands"},{"name":"Anthony G. Cohn","slug":"anthony-g-cohn","given":"Anthony G.","family":"Cohn","affiliation":"University of Leeds , UK"}],"abstract":"We propose a logic of directions for points (LD) over 2D Euclidean space, which formalises primary direction relations east (E), west (W), and indeterminate east/west (Iew), north (N), south (S) and indeterminate north/south (Ins). We provide a sound and complete axiomatisation of it, and prove that its satisfiability problem is NP-complete.","doi":"10.24963/ijcai.2020/235","url":"https://ijcai.org/proceedings/2020/235","pdf":"https://ijcai.org/proceedings/2020/0235.pdf","markdown":"https://ijcai.org/proceedings/2020/235.md","bibtex":"https://ijcai.org/proceedings/2020/bibtex/235","volume":{"slug":"2020","title":"Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2020","url":"https://ijcai.org/proceedings/2020/","year":2020,"location":"Yokohama","dates":"January 2021 (postponed from 11-17 July 2020)","editors":"Christian Bessiere","isbn":"978-0-9992411-6-5","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2020"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":235,"pages":{"first":1695,"last":1702},"keywords":["Knowledge Representation and Reasoning: Knowledge Representation Languages","Knowledge Representation and Reasoning: Logics for Knowledge Representation","Knowledge Representation and Reasoning: Qualitative, Geometric, Spatial, Temporal Reasoning"],"videos":[{"label":"Video","url":"https://videos.ijcai20.org/26467/file_26467.m3u8","length_sec":859,"provider":"hls"}],"references":[{"position":1,"raw":"[Aiello et al., 2007] Marco Aiello, Ian Pratt-Hartmann, and Johan van Benthem, editors. Handbook of Spatial Logics. Springer, 2007.","title":"Handbook of Spatial Logics","authors":null,"year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Allen, 1983] James F. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 26(11):832-843, 1983.","title":"Maintaining Knowledge about Temporal Intervals","authors":"James F Allen","year":"1983","venue":"Communications of the ACM","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Baader and Peñaloza, 2010] Franz Baader and Rafael Peñaloza. Axiom Pinpointing in General Tableaux. Journal of Logic and Computation, 20(1):5-34, 2010.","title":"Axiom Pinpointing in General Tableaux","authors":"Peñaloza Baader, Franz Baader, Rafael Peñaloza","year":"2010","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Balbiani et al., 1998] Philippe Balbiani, Jean-Franc ¸ois Condotta, and Luis Fariñas del Cerro. A Model for Rea- soning about Bidimensional Temporal Relations. In Proc. 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'98), pages 124-130, 1998.","title":"A Model for Reasoning about Bidimensional Temporal Relations","authors":"Philippe Balbiani, Jean-Franc ¸ois Condotta, Luis Fariñas Del Cerro","year":"1998","venue":"Proc. 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR'98)","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Balbiani et al., 2007] Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, and Dimiter Vakarelov. Logical The- ories for Fragments of Elementary Geometry. In Marco Aiello, Ian Pratt-Hartmann, and Johan van Benthem, editors, Handbook of Spatial Logics, pages 343-428. Springer, 2007.","title":"Logical Theories for Fragments of Elementary Geometry","authors":"Philippe Balbiani, Valentin Goranko, Ruaan Kellerman, Dimiter Vakarelov","year":"2007","venue":"Handbook of Spatial Logics","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Billen and Clementini, 2004] Roland Billen and Eliseo Clementini. A Model for Ternary Projective Relations between Regions. In Proc. 9th Int. Conf. on Extending Database Technology (EDBT), pages 310-328, 2004.","title":"A Model for Ternary Projective Relations between Regions","authors":"Clementini Billen, Roland Billen, Eliseo Clementini","year":"2004","venue":"Proc. 9th Int. Conf. on Extending Database Technology (EDBT)","doi":null,"url":null,"internal_url":null},{"position":7,"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. 24th Int. J. Conf on AI (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. 24th Int. J. Conf on AI (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/2015/406"},{"position":8,"raw":"[Du and Alechina, 2016] Heshan Du and Natasha Alechina. Qualitative Spatial Logics for Buffered Geometries. Jour- nal of Artificial Intelligence Research, 56:693-745, 2016.","title":"Heshan Du and Natasha Alechina. Qualitative Spatial Logics for Buffered Geometries","authors":"Alechina Du","year":"2016","venue":"Journal of Artificial Intelligence Research","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Du et al., 2013] Heshan Du, Natasha Alechina, Kristin Stock, and Michael Jackson. The Logic of NEAR and FAR. In Proceedings of the 11th International Conference on Spatial Information Theory, volume 8116 of LNCS, pages 475-494. Springer, 2013.","title":"The Logic of NEAR and FAR","authors":"Heshan Du, Natasha Alechina, Kristin Stock, Michael Jackson","year":"2013","venue":"Proceedings of the 11th International Conference on Spatial Information Theory","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Du et al., 2015] Heshan Du, Hai Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, and John Goodwin. Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data. In Proceedings of the 27th Conference on IAAI, pages 3948-3953, 2015.","title":"Using Qualitative Spatial Logic for Validating Crowd-Sourced Geospatial Data","authors":"Heshan Du, Hai Nguyen, Natasha Alechina, Brian Logan, Michael Jackson, John Goodwin","year":"2015","venue":"Proceedings of the 27th Conference on IAAI","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Freksa, 1992] Christian Freksa. Using orientation infor- mation for qualitative spatial reasoning. In Proc. Theo- ries and Methods of Spatio-Temporal Reasoning in Geo- graphic Space, Int. Conf. GIS, pages 162-178, 1992.","title":"Christian Freksa. Using orientation information for qualitative spatial reasoning","authors":"Freksa","year":"1992","venue":"Proc. Theories and Methods of Spatio-Temporal Reasoning in Geographic Space, Int. Conf. GIS","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Goyal and Egenhofer, 1997] Roop K. Goyal and Max J. Egenhofer. The Direction-Relation Matrix: A Represen- tation for Direction Relations between Extended Spatial Objects. In The Annual Assembly and the Summer Retreat of Univ. Consortium for Geog. INf. Systems Science, 1997.","title":"The Direction-Relation Matrix: A Representation for Direction Relations between Extended Spatial Objects","authors":"K Roop, Max J Goyal, Egenhofer","year":"1997","venue":"The Annual Assembly and the Summer Retreat of Univ. Consortium for Geog. INf. Systems Science","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Jonsson and Bäckström, 1998] Peter Jonsson and Christer Bäckström. A Unifying Approach to Temporal Constraint Reasoning. Artificial Intelligence, 102(1):143-155, 1998.","title":"A Unifying Approach to Temporal Constraint Reasoning","authors":"Jonsson, Bäckström, Peter Jonsson, Christer Bäckström","year":"1998","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[Kreutzmann and Wolter, 2014] Arne Kreutzmann and Diedrich Wolter. Qualitative Spatial and Temporal Reasoning with AND/OR Linear Programming. In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI), volume 263, pages 495-500, 2014.","title":"Qualitative Spatial and Temporal Reasoning with AND/OR Linear Programming","authors":"Wolter Kreutzmann, Arne Kreutzmann, Diedrich Wolter","year":"2014","venue":"Proceedings of the 21st European Conference on Artificial Intelligence (ECAI)","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Ligozat, 1993] Gérard Ligozat. Qualitative Triangulation for Spatial Reasoning. In Proceedings of the 1st Interna- tional Conference on Spatial Information Theory (COSIT), pages 54-68, 1993.","title":"Qualitative Triangulation for Spatial Reasoning","authors":"Gérard Ligozat","year":"1993","venue":"Proceedings of the 1st International Conference on Spatial Information Theory (COSIT)","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Ligozat, 1998] Gérard Ligozat. Reasoning about Cardinal Directions. Journal of Visual Languages & Computing, 9(1):23-44, 1998.","title":"Reasoning about Cardinal Directions","authors":"Gérard Ligozat, Ligozat","year":"1998","venue":"Journal of Visual Languages & Computing","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Ligozat, 2012] Gérard Ligozat. Qualitative Spatial and Temporal Reasoning. ISTE Ltd and J. Wiley & Sons, 2012.","title":"Qualitative Spatial and Temporal Reasoning","authors":"Gérard Ligozat","year":"2012","venue":null,"doi":null,"url":null,"internal_url":null},{"position":18,"raw":"[Litvintchouk and Pratt, 1977] Steven D. Litvintchouk and Vaughan R. Pratt. A Proof-Checker for Dynamic Logic. In Proc. 5th Int. J. Conf. on AI (IJCAI), pages 552-558, 1977.","title":"A Proof-Checker for Dynamic Logic","authors":"Steven D Litvintchouk, Vaughan R Pratt","year":"1977","venue":"Proc. 5th Int. J. Conf. on AI (IJCAI)","doi":null,"url":null,"internal_url":"/proceedings/1977/126"},{"position":19,"raw":"[Marx and Reynolds, 1999] Maarten Marx and Mark Reynolds. Undecidability of Compass Logic. Journal of Logic and Computation, 9(6):897-914, 1999.","title":"Undecidability of Compass Logic","authors":"Reynolds Marx","year":"1999","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":20,"raw":"[Montanari et al., 2009] Angelo Montanari, Gabriele Pup- pis, and Pietro Sala. A Decidable Spatial Logic with Cone- Shaped Cardinal Directions. In Proc.23rd Int. Workshop of Computer Science Logic, volume 5771 of LNCS, pages 394-408, 2009.","title":"A Decidable Spatial Logic with Cone-Shaped Cardinal Directions","authors":"Angelo Montanari, Gabriele Puppis, Pietro Sala","year":"2009","venue":"Proc.23rd Int. Workshop of Computer Science Logic","doi":null,"url":null,"internal_url":null},{"position":21,"raw":"[Morales et al., 2007] Antonio Morales, Isabel Navarrete, and Guido Sciavicco. A new modal logic for reason- ing about space: spatial propositional neighborhood logic. Ann. Math. Artif. Intell., 51(1):1-25, 2007.","title":"Antonio Morales, Isabel Navarrete, and Guido Sciavicco. A new modal logic for reasoning about space: spatial propositional neighborhood logic","authors":"Morales","year":"2007","venue":"Ann. Math. Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":22,"raw":"[Pratt, 1977] Vaughan R. Pratt. Two easy theories whose combination is hard. Technical report, Massachusetts In- stitute of Technology, 1977.","title":"Two easy theories whose combination is hard","authors":"R Vaughan, Pratt","year":"1977","venue":null,"doi":null,"url":null,"internal_url":null},{"position":23,"raw":"[Renz and Mitra, 2004] Jochen Renz and Debasis Mitra. Qualitative Direction Calculi with Arbitrary Granularity. In Proceedings of the 8th Pacific Rim International Con- ference on Artificial Intelligence, pages 65-74, 2004.","title":"Qualitative Direction Calculi with Arbitrary Granularity","authors":"Mitra ; Renz, Jochen Renz, Debasis Mitra","year":"2004","venue":"Proceedings of the 8th Pacific Rim International Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":24,"raw":"[Scivos and Nebel, 2004] Alexander Scivos and Bernhard Nebel. The Finest of its Class: The Natural Point-Based Ternary Calculus LR for Qualitative Spatial Reasoning. In Proc. Int. Conf Spatial Cognition, pages 283-303, 2004.","title":"The Finest of its Class: The Natural Point-Based Ternary Calculus LR for Qualitative Spatial Reasoning","authors":"Nebel Scivos, Alexander Scivos, Bernhard Nebel","year":"2004","venue":"Proc. Int. Conf Spatial Cognition","doi":null,"url":null,"internal_url":null},{"position":25,"raw":"[Shostak, 1981] Robert E. Shostak. Deciding Linear In- equalities by Computing Loop Residues. Journal of the ACM, 28(4):769-779, 1981.","title":"Deciding Linear Inequalities by Computing Loop Residues","authors":"Robert E Shostak","year":"1981","venue":"Journal of the ACM","doi":null,"url":null,"internal_url":null},{"position":26,"raw":"[Skiadopoulos and Koubarakis, 2004] Spiros Skiadopoulos and Manolis Koubarakis. Composing cardinal direction relations. Artificial Intelligence, 152(2):143-171, 2004.","title":"Spiros Skiadopoulos and Manolis Koubarakis. Composing cardinal direction relations","authors":"Koubarakis Skiadopoulos","year":"2004","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":27,"raw":"[Skiadopoulos and Koubarakis, 2005] Spiros Skiadopoulos and Manolis Koubarakis. On the consistency of cardinal direction constraints. Artif. Intell., 163(1):91-135, 2005.","title":"On the consistency of cardinal direction constraints","authors":"Spiros Skiadopoulos, Manolis Koubarakis","year":"2005","venue":"Artif. Intell","doi":null,"url":null,"internal_url":null},{"position":28,"raw":"[Szczerba and Tarski, 1979] Lesław W. Szczerba and Alfred Tarski. Metamathematical Discussion of Some Affine Ge- ometries. Fundam. Mathematicae, 104:155-192, 1979.","title":"Metamathematical Discussion of Some Affine Geometries","authors":"Lesław W Szczerba, Alfred Tarski","year":"1979","venue":"Fundam. Mathematicae","doi":null,"url":null,"internal_url":null},{"position":29,"raw":"[Tarski and Givant, 1999] Alfred Tarski and Steven Givant. Tarski's system of geometry. Bulletin of Symbolic Logic, 5(2):175-214, 1999.","title":"Alfred Tarski and Steven Givant. Tarski's system of geometry","authors":"Givant Tarski","year":"1999","venue":"Bulletin of Symbolic Logic","doi":null,"url":null,"internal_url":null},{"position":30,"raw":"[Tarski, 1959] Alfred Tarski. What is Elementary Geome- try? In Leon Henkin, Patrick Suppes, and Alfred Tarski, editors, The Axiomatic Method, volume 27 of Studies in Logic and the Foundations of Mathematics, pages 16 -29. Elsevier, 1959.","title":"Alfred Tarski. What is Elementary Geometry?","authors":"Tarski","year":"1959","venue":"Studies in Logic and the Foundations of Mathematics","doi":null,"url":null,"internal_url":null},{"position":31,"raw":"[Trybus, 2010] Adam Trybus. An Axiom System for a Spa- tial Logic with Convexity. In Proc. 19th Europ. Conf. on AI (ECAI), pages 701-706, 2010.","title":"An Axiom System for a Spatial Logic with Convexity","authors":"Adam Trybus","year":"2010","venue":"Proc. 19th Europ. Conf. on AI (ECAI)","doi":null,"url":null,"internal_url":null},{"position":32,"raw":"[Vilain and Kautz, 1986] Marc B. Vilain and Henry A. Kautz. Constraint Propagation Algorithms for Temporal Reasoning. In Proceedings of the 5th National Conference on Artificial Intelligence (AAAI-86), pages 377-382, 1986.","title":"Constraint Propagation Algorithms for Temporal Reasoning","authors":"Marc B Vilain, Henry A Kautz","year":"1986","venue":"Proceedings of the 5th National Conference on Artificial Intelligence (AAAI-86)","doi":null,"url":null,"internal_url":null},{"position":33,"raw":"[Walega and Zawidzki, 2019] Przemyslaw Andrzej Walega and Michal Zawidzki. A Modal Logic for Subject- Oriented Spatial Reasoning. In Proc. 26th Int. Symp. on Temporal Representation and Reasoning, volume 147 of LIPIcs, pages 4:1-4:22, 2019.","title":"A Modal Logic for Subject-Oriented Spatial Reasoning","authors":"Andrzej Walega Przemyslaw, Michal Zawidzki","year":"2019","venue":"Proc. 26th Int. Symp. on Temporal Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":34,"raw":"[Wei et al., 2019] Lijun Wei, Muhammad Khan, Owais Mehmood, Qingxu Dou, Carl Bateman, Derek R. Magee, and Anthony G. Cohn. Web-based visualisation for look- ahead ground imaging in tunnel boring machines. Automa- tion in Construction, 105:102830, 2019.","title":"Web-based visualisation for lookahead ground imaging in tunnel boring machines","authors":"Lijun Wei, Muhammad Khan, Owais Mehmood, Qingxu Dou, Carl Bateman, Derek R Magee, Anthony G Cohn","year":"2019","venue":"Automation in Construction","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}