メンタルモデルによる論理推論の形式化と実装

抄録

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