In, out and through: formalising some dynamic aspects of the image schema containment

In the cognitive sciences, image schemas are considered to be the conceptual building blocks learned from sensorimotor processes in early infancy. They are used in language and higher levels of cognition as information skeletons. Despite the potential of integrating image schemas into formal systems to aid for instance common-sense reasoning, computational analogy and concept invention, normalisations of image schemas are sparse. In particular in respect to their dynamic nature. In this paper, we therefore describe how some of the dynamic aspects of the image schema Containment can be formally approached using an image schema logic based on the Region Connection Calculus (RCC8), the Qualitative Trajectory Calculus (QTC), Ligozat's cardinal directions (CD), and Linear Temporal Logic over the reals (RTL), with 3D Euclidean space assumed for the spatial domain. The distinctions in our formalisations are motivated with concrete examples from natural language, derived from semi-automated image schema extraction, and illustrate that we target some of the essential distinctions regarding containers and movement.

[1]  G. Lakoff,et al.  Women, Fire, and Dangerous Things: What Categories Reveal about the Mind , 1988 .

[2]  Michael F. Worboys,et al.  An Algebraic Approach to Image Schemas for Geographic Space , 2009, COSIT.

[3]  Nico Van de Weghe,et al.  Cognitive and linguistic adequacy of the Qualitative Trajectory Calculus , 2008 .

[4]  Achille C. Varzi,et al.  Adding Convexity to Mereotopology , 2014, FOIS.

[5]  Clayton T. Morrison,et al.  An Image Schema Language , 2006 .

[6]  Ernest Davis,et al.  Commonsense reasoning about containers using radically incomplete information , 2017, Artif. Intell..

[7]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning with the Region Connection Calculus , 1997, GeoInformatica.

[8]  Dov M. Gabbay,et al.  Adding a temporal dimension to a logic , 1992 .

[9]  Kai-Uwe Kühnberger,et al.  Heuristic-Driven Theory Projection: An Overview , 2014, Computational Approaches to Analogical Reasoning.

[10]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[11]  Mark Reynolds.  The complexity of temporal logic over the reals , 2010, Ann. Pure Appl. Log..

[12]  Stephan Merz,et al.  Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series) , 2010 .

[13]  N. Presmeg.  The body in the mind: The bodily basis of meaning, imagination and reason , 1992 .

[14]  Frank Guerin,et al.  Learning like a baby: a survey of artificial intelligence approaches , 2011, The Knowledge Engineering Review.

[15]  Sabine U. König,et al.  Embodied cognition , 2018, 2018 6th International Conference on Brain-Computer Interface (BCI).

[16]  Max J. Egenhofer,et al.  The 9+-Intersection for Topological Relations between a Directed Line Segment and a Region , 2007, BMI.

[17]  T. Odlin.  Women, Fire, and Dangerous Things: What Categories Reveal about the Mind , 1988 .

[18]  C. Maria Keet,et al.  Orchestrating a Network of Mereo(topo)logical Theories , 2017, K-CAP.

[19]  George Lakoff.  Image Schemas: From Linguistic Analysis to Neural Grounding , 2005 .

[20]  Till Mossakowski,et al.  The Heterogeneous Tool Set (Hets) , 2007, VERIFY.

[21]  Rupak Majumdar,et al.  Tools and Algorithms for the Construction and Analysis of Systems , 1997, Lecture Notes in Computer Science.

[22]  Brandon Bennett,et al.  Corpus Guided Sense Cluster Analysis: a methodology for ontology development (with examples from the spatial domain) , 2014, FOIS.

[23]  Roberto Casati,et al.  Spatial Entities , 1997 .

[24]  Leora Morgenstern,et al.  Mid-Sized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking , 2001, Stud Logica.

[25]  Dov M. Gabbay,et al.  Adding a temporal dimension to a logic system , 1992, J. Log. Lang. Inf..

[26]  Maria M. Hedblom,et al.  Kinesthetic Mind Reader : A Method to Identify Image Schemas in Natural Language , 2017 .

[27]  Fabian Neuhaus,et al.  Image schemas in computational conceptual blending , 2016, Cognitive Systems Research.

[28]  Jean M. Mandler.  A synopsis of The foundations of mind: Origins of conceptual thought (2004). New York: Oxford University Press , 2004 .

[29]  A. Cohn,et al.  A qualitative trajectory calculus as a basis for representing moving objects in Geographical Information Systems , 2006 .

[30]  Erik Kaestner,et al.  The Foundations Of Mind Origins Of Conceptual Thought , 2016 .

[31]  Frank Wolter,et al.  Spatial Logic + Temporal Logic = ? , 2007, Handbook of Spatial Logics.

[32]  Jean M. Mandler,et al.  On defining image schemas , 2014, Language and Cognition.

[33]  Andrew U. Frank,et al.  Formal specification of image schemata -- a step towards interoperability in geographic information systems , 1999, Spatial Cogn. Comput..

[34]  Till Mossakowski,et al.  Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement , 2017, AI*IA.

[35]  Dagmar Gromann,et al.  Breaking Down Finance: A Method for Concept Simplification by Identifying Movement Structures from the Image Schema PATH-following , 2016, JOWO@FOIS.

[36]  Torsten Hahmann,et al.  Kinds of Full Physical Containment , 2013, COSIT.

[37]  Oliver Kutz,et al.  A narrative in three acts: Using combinations of image schemas to model events , 2017, BICA 2017.

[38]  Frank Wolter,et al.  Spatial Reasoning in RCC-8 with Boolean Region Terms , 2000, ECAI.

[39]  Francisco Santibáñez Sáenz.  The Object Image-Schema and Other Dependent Schemas , 2002 .

[40]  Werner Kuhn,et al.  An Image-Schematic Account of Spatial Categories , 2007, COSIT.

[41]  Reinhold Rauh,et al.  A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation , 1997, COSIT.

[42]  Fabian Neuhaus,et al.  Choosing the Right Path: Image Schema Theory as a Foundation for Concept Invention , 2015, J. Artif. Gen. Intell..