Diagrams for logics
Diagrams for logics
复制标题
逻辑图
DOI：
10.11225/cs.2020.020
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
峯島 宏次
中科院分区：
文献类型：
--
作者：
佐藤 有理;峯島 宏次
在过去的几个世纪里，在逻辑推理中使用图表而不是语言和符号表示一直是持续研究兴趣的主题。特别是在20世纪90年代，这类逻辑图引起了逻辑学、人工智能和认知科学领域的广泛关注。最近，根据计算机科学的一些应用，已经开发了各种图形系统来处理扩展类型的逻辑信息和推理。逻辑图设计的研究方向提出了一个问题，即图形系统在多大程度上可以表达足够的逻辑，以及处理的一般性是自然和有效的，使他们很容易理解。本文综述了逻辑图的历史和最新发展，重点介绍了两种类型的可视化：欧拉/维恩图和图形表示。以往关于推理认知科学的研究大多集中在语言形式上，而本文对图式推理进行了系统的综述，有助于理解视觉形式推理的理论基础。
The use of diagrams, instead of linguistic and symbolic representations, in logical reasoning has been the subject of continuous research interest over the last few centuries. Especially in 1990s, such logic diagrams have attracted substantial research attention in the fields of logic, artificial intelligence and cognitive science. More recently, according to some applications to computer sciences, various diagrammatic systems have been developed to handle extended types of logical information and reasoning. The research direction of logic diagram design raises the question of to what extent diagrammatic systems can be expressive enough to handle the generality of logics as well as be natural and effective so that they are easy to understand. This paper surveys historical and recent developments of logic diagrams, focusing on the two types of visualization: Euler/Venn diagrams and graph representations. While a majority of previous researches on cognitive science of reasoning focus on linguistic forms, this survey provides a systematic overview of diagrammatic reasoning, contributing to understanding the theoretical basis of reasoning in visual forms.