オイラー図・ヴェン図を用いた図形推論の証明論的分析  [in Japanese]

Access this Article

Author(s)

Abstract

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

Journal

  • Proceedings of the Annual Conference of JSAI

    Proceedings of the Annual Conference of JSAI JSAI2010(0), 1E14-1E14, 2010

    The Japanese Society for Artificial Intelligence

Codes

Page Top