Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement
Between Contact and Support: Introducing a Logic for Image Schemas and Directed Movement
复制标题
在接触和支持之间：引入图像模式和定向运动的逻辑
DOI：
10.1007/978-3-319-70169-1_19
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Fabian Neuhaus
中科院分区：
文献类型：
--
作者：
Maria M. Hedblom;O. Kutz;Till Mossakowski;Fabian Neuhaus
认知语言学引入意象图式作为语言和隐喻思维中的具身经验和高层次概念化之间缺失的环节。它们被描述为抽象的时空关系，作为日常概念和事件的概念构建块。虽然有越来越多的兴趣在该地区的认知动机的人工智能，其中图像图式被认为是一个核心的一块拼图，以模拟人类水平的概念化和推理，到目前为止，而不是正式的逻辑方法可以在文献中找到，特别是关于关注动态方面的图像图式。这里的一个基本问题是，在当代KR的典型主流方法不映射以及在图像图式建模中发现的各种场景。在本文中，我们介绍了一个时空逻辑的“定向运动的对象”，其目的是正式建模的图像示意性事件，如阻塞，造成_运动和“反弹”。
Cognitive linguistics introduced image schemas as a missing link between embodied experiences and high-level conceptualisation in language and metaphorical thinking. They are described as the abstract spatio-temporal relationships that function as conceptual building blocks for everyday concepts and events. Although there is increasing interest in the area of cognitively motivated artificial intelligence, where image schemas are suggested to be a core piece in the puzzle to model human-level conceptualisation and reasoning, so far rather few formal logical approaches can be found in the literature, in particular regarding attention to the dynamic aspects of image schemas. A fundamental problem here is that the typical mainstream approaches in contemporary KR do not map well to various scenarios found in image schema modelling. In this paper, we introduce a spatio-temporal logic for ‘directed movement of objects’, with the aim to model formally image schematic events such as Blockage, Caused_Movement and ‘bouncing’.