著者

佐藤 有理 峯島 宏次

出版者

日本認知科学会

雑誌

認知科学 (ISSN:13417924)

巻号頁・発行日

pp.2020.020, (Released:2020-07-15)

参考文献数

71

---

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.

著者

杉本 雄太郎 佐藤 有理

出版者

人工知能学会

雑誌

人工知能学会全国大会論文集 (ISSN:13479881)

巻号頁・発行日

vol.28, 2014

---

メンタルモデル理論はJohnson-Lairdらにより提案された、推論の非言語表現に基づく認知システムである。一方で、この理論は数理論理学的概念を用いた応用理論でもあるため、経験的な妥当性だけでなく形式理論的側面についても議論されてきた。本研究は、最近のメンタルモデル推論のプログラム実装や図的推論研究を基に、量化文から成る三段論法推論の範囲におけるメンタルモデル推論について形式化を行う。

著者

佐藤 有理 鈴木 真

出版者

The Philosophy of Science Society, Japan

雑誌

科学哲学 (ISSN:02893428)

巻号頁・発行日

vol.49, no.2, pp.67-72, 2016-12-20 (Released:2017-09-29)

著者

杉本 雄太郎 佐藤 有理

出版者

一般社団法人 人工知能学会

雑誌

人工知能学会全国大会論文集 第28回全国大会(2014)

巻号頁・発行日

pp.2B31, 2014 (Released:2018-07-30)

---

メンタルモデル理論はJohnson-Lairdらにより提案された、推論の非言語表現に基づく認知システムである。一方で、この理論は数理論理学的概念を用いた応用理論でもあるため、経験的な妥当性だけでなく形式理論的側面についても議論されてきた。本研究は、最近のメンタルモデル推論のプログラム実装や図的推論研究を基に、量化文から成る三段論法推論の範囲におけるメンタルモデル推論について形式化を行う。

著者

佐藤 有理

出版者

東京経営短期大学

雑誌

東京経営短期大学紀要 (ISSN:09194436)

巻号頁・発行日

vol.12, pp.137-160, 2004-03-15

著者

佐藤 有理 峯島 宏次

出版者

日本認知科学会

雑誌

認知科学 (ISSN:13417924)

巻号頁・発行日

vol.28, no.1, pp.139-152, 2020-07-15 (Released:2021-03-15)

参考文献数

71

---

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.

著者

峯島 宏次 岡田 光弘 佐藤 有理 竹村 亮

出版者

人工知能学会

雑誌

人工知能学会全国大会論文集 (ISSN:13479881)

巻号頁・発行日

vol.24, 2010

---

近年、論理学や人工知能、認知科学など様々な分野で、図形やグラフ表現に基づく推論の研究が進められている。特にオイラー図は、論理推論の補助手段としてインフォーマルに用いられてきたが、1990年代から現代論理学による体系的研究が始められた。本研究ではオイラー図に対する自然な操作を自然演繹を基に形式化し、その図形推論体系の特徴についてヴェン図との比較も含め、論理学及び認知科学の観点から議論する。

著者

佐藤 有理

出版者

アメリカ・カナダ大学連合日本研究センタ-

雑誌

アメリカ・カナダ大学連合日本研究センタ-紀要 (ISSN:03882489)

巻号頁・発行日

no.32, pp.1-36, 2009