{"type":"ScholarlyArticle","title":"Reasoning about Betweenness and RCC8 Constraints in Qualitative Conceptual Spaces","authors":[{"name":"Steven Schockaert","slug":"steven-schockaert","given":"Steven","family":"Schockaert","affiliation":"School of Computer Science and Informatics Cardiff University , UK"},{"name":"Sanjiang Li","slug":"sanjiang-li","given":"Sanjiang","family":"Li","affiliation":"Centre for Quantum Software and Information University of Technology Sydney , Australia"}],"abstract":"Conceptual spaces are a knowledge representation framework in which concepts are represented geometrically, using convex regions. Motivated by the fact that exact conceptual spaces are usually difficult to obtain, we study the problem of spatial reasoning about qualitative abstractions of such representations. In particular, we consider the problem of deciding whether an RCC8 network extended with constraints about betweenness can be realized using bounded and convex regions in a high-dimensional Euclidean space. After showing that this decision problem is PSPACE-hard in general, we introduce an important fragment for which deciding realizability is NP-complete.","doi":"10.24963/ijcai.2018/271","url":"https://ijcai.org/proceedings/2018/271","pdf":"https://ijcai.org/proceedings/2018/0271.pdf","markdown":"https://ijcai.org/proceedings/2018/271.md","bibtex":"https://ijcai.org/proceedings/2018/bibtex/271","volume":{"slug":"2018","title":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2018","url":"https://ijcai.org/proceedings/2018/","year":2018,"location":"Stockholm","dates":"13-19 July 2018","editors":"Jérôme Lang","isbn":"978-0-9992411-2-7","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2018"},"section":"Knowledge Representation and Reasoning","track":"Main track","number":271,"pages":{"first":1963,"last":1969},"keywords":["Knowledge Representation and Reasoning: Geometric, Spatial, and Temporal Reasoning","Knowledge Representation and Reasoning: Computational Complexity of Reasoning","Knowledge Representation and Reasoning: Qualitative Reasoning","Knowledge Representation and Reasoning: Common-Sense Reasoning"],"videos":[],"references":[{"position":1,"raw":"[Bordes et al., 2013] Antoine Bordes, Nicolas Usunier, Al- berto Garcia-Duran, J. Weston, and Oksana Yakhnenko. Translating embeddings for modeling multi-relational data. In Proceedings of the Annual Conference on Neural Information Processing Systems, pages 2787-2795. 2013.","title":"Translating embeddings for modeling multi-relational data","authors":"Antoine Bordes, Nicolas Usunier, Alberto Garcia-Duran, J Weston, Oksana Yakhnenko","year":"2013","venue":"Proceedings of the Annual Conference on Neural Information Processing Systems","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Davis et al., 1999] Ernest Davis, Nicholas Mark Gotts, and Anthony G. Cohn. Constraint networks of topological re- lations and convexity. Constraints, 4:241-280, 1999.","title":"Constraint networks of topological relations and convexity","authors":"Ernest Davis, Nicholas Mark Gotts, Anthony G Cohn","year":"1999","venue":"Constraints","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Derrac and Schockaert, 2015] Joaquin Derrac and Steven Schockaert. Inducing semantic relations from conceptual spaces: a data-driven approach to plausible reasoning. Ar- tificial Intelligence, pages 74-105, 2015.","title":"Joaquin Derrac and Steven Schockaert. Inducing semantic relations from conceptual spaces: a data-driven approach to plausible reasoning","authors":"Schockaert Derrac","year":"2015","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Freksa, 1991] Christian Freksa. Conceptual neighborhood and its role in temporal and spatial reasoning. In M. Singh and L. Travé-Massuyès, editors, Decision Support Sys- tems and Qualitative Reasoning, pages 181-187. North- Holland, Amsterdam, 1991.","title":"Christian Freksa. Conceptual neighborhood and its role in temporal and spatial reasoning","authors":"Freksa","year":"1991","venue":"Decision Support Systems and Qualitative Reasoning","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Gärdenfors and Williams, 2001] Peter Gärdenfors and Mary-Anne Williams. Reasoning about categories in conceptual spaces. In Proc. IJCAI, pages 385-392, 2001.","title":"Reasoning about categories in conceptual spaces","authors":"Williams ; Gärdenfors, Peter Gärdenfors, Mary-Anne Williams","year":"2001","venue":"Proc. IJCAI","doi":null,"url":null,"internal_url":"/proceedings/2001/54"},{"position":6,"raw":"[Gärdenfors, 2000] Peter Gärdenfors. Conceptual Spaces: The Geometry of Thought. MIT Press, 2000.","title":"Conceptual Spaces: The Geometry of Thought","authors":"Peter Gärdenfors","year":"2000","venue":null,"doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[Griffiths et al., 2008] Thomas L. Griffiths, Charles Kemp, and Joshua B. Tenenbaum. Bayesian models of cogni- tion. In Ron Sun, editor, Cambridge Handbook of Compu- tational Cognitive Modeling. Cambridge University Press, 2008.","title":"Bayesian models of cognition","authors":"L Thomas, Charles Griffiths, Joshua B Kemp, Tenenbaum","year":"2008","venue":"Cambridge Handbook of Computational Cognitive Modeling","doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Merhej et al., 2014] Elie Merhej, Steven Schockaert, Mar- tine De Cock, Marjon Blondeel, Daniele Alfarone, and Jesse Davis. Repairing inconsistent taxonomies using MAP inference and rules of thumb. In Proceedings of the 5th International Workshop on Web-scale Knowledge Rep- resentation Retrieval & Reasoning, pages 31-36, 2014.","title":"Repairing inconsistent taxonomies using MAP inference and rules of thumb","authors":"Merhej","year":"2014","venue":"Proceedings of the 5th International Workshop on Web-scale Knowledge Representation Retrieval & Reasoning","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Mikolov et al., 2013] Tomas Mikolov, Ilya Sutskever, Kai Chen, Gregory S. Corrado, and Jeffrey Dean. Distributed representations of words and phrases and their composi- tionality. In Proceedings of the 27th Annual Conference on Neural Information Processing Systems, pages 3111- 3119, 2013.","title":"Distributed representations of words and phrases and their compositionality","authors":"Mikolov","year":"2013","venue":"Proceedings of the 27th Annual Conference on Neural Information Processing Systems","doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Osherson et al., 1990] Daniel N Osherson, Edward E Smith, Ormond Wilkie, Alejandro Lopez, and Eldar Shafir. Category-based induction. Psychological Review, 97(2):185-200, 1990.","title":"Category-based induction","authors":"Edward E Daniel N Osherson, Ormond Smith, Alejandro Wilkie, Eldar Lopez, Shafir","year":"1990","venue":"Psychological Review","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Randell et al., 1992] David A. Randell, Zhan Cui, and An- thony G. Cohn. A spatial logic based on regions and con- nection. In Proceedings of the 3rd International Confer- ence on Knowledge Representation and Reasoning, pages 165-176, 1992.","title":"A spatial logic based on regions and connection","authors":"David A Randell, Zhan Cui, Anthony G Cohn","year":"1992","venue":"Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Renz, 2002] Jochen Renz. A canonical model of the Region Connection Calculus. Journal of Applied Non-Classical Logics, 12(3-4):469-494, 2002.","title":"A canonical model of the Region Connection Calculus","authors":"Jochen Renz, Renz","year":"2002","venue":"Journal of Applied Non-Classical Logics","doi":null,"url":null,"internal_url":null},{"position":13,"raw":"[Schockaert and Li, 2013] Steven Schockaert and Sanjiang Li. Combining RCC5 relations with betweenness informa- tion. In Proceedings of the 23rd International Joint Con- ference on Artificial Intelligence, pages 1083-1089, 2013.","title":"Combining RCC5 relations with betweenness information","authors":"Li ; Schockaert, Steven Schockaert, Sanjiang Li","year":"2013","venue":"Proceedings of the 23rd International Joint Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":"/proceedings/2013/164"},{"position":14,"raw":"[Schockaert and Li, 2015] Steven Schockaert and Sanjiang Li. Realizing RCC8 networks using convex regions. Arti- ficial Intelligence, 218:74-105, 2015.","title":"Realizing RCC8 networks using convex regions","authors":"Li ; Schockaert, Steven Schockaert, Sanjiang Li","year":"2015","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":15,"raw":"[Schockaert and Prade, 2011] Steven Schockaert and Henri Prade. Solving conflicts in information merging by a flex- ible interpretation of atomic propositions. Artificial Intel- ligence, 175(11):1815 -1855, 2011.","title":"Solving conflicts in information merging by a flexible interpretation of atomic propositions","authors":"Prade Schockaert, Steven Schockaert, Henri Prade","year":"2011","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":16,"raw":"[Sheremet et al., 2007] Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, and Michael Zakharyaschev. A logic for concepts and similarity. Journal of Logic and Computation, 17(3):415-452, 2007.","title":"A logic for concepts and similarity","authors":"Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev","year":"2007","venue":"Journal of Logic and Computation","doi":null,"url":null,"internal_url":null},{"position":17,"raw":"[Wolter and Zakharyaschev, 2000] Frank Wolter and Michael Zakharyaschev. Spatial representation and reasoning in RCC-8 with Boolean region terms. In Pro- ceedings of the 14th European Conference on Artificial Intelligence, pages 244-248, 2000.","title":"Spatial representation and reasoning in RCC-8 with Boolean region terms","authors":"Frank Wolter, Michael Zakharyaschev","year":"2000","venue":"Proceedings of the 14th European Conference on Artificial Intelligence","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}