05月13日(Tue) 13:20〜15:00 B会場(48人-ひめぎんホール 第1会議室)
| 演題番号 | 2B3-1 |
|---|---|
| 題目 | メンタルモデルによる論理推論の形式化と実装 |
| 著者 | 杉本 雄太郎(慶應義塾大学「思考と行動判断」研究センター) 佐藤 有理(東京大学大学院情報学環) |
| 時間 | 05月13日(Tue) 13:20〜13:40 |
| 概要 | メンタルモデル理論はJohnson-Lairdらにより提案された、推論の非言語表現に基づく認知システムである。一方で、この理論は数理論理学的概念を用いた応用理論でもあるため、経験的な妥当性だけでなく形式理論的側面についても議論されてきた。本研究は、最近のメンタルモデル推論のプログラム実装や図的推論研究を基に、量化文から成る三段論法推論の範囲におけるメンタルモデル推論について形式化を行う。 |
| 論文 | PDFファイル |