著者
峯島 宏次 岡田 光弘 佐藤 有理 竹村 亮
出版者
人工知能学会
雑誌
人工知能学会全国大会論文集 (ISSN:13479881)
巻号頁・発行日
vol.24, 2010

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