2013 Fiscal Year Annual Research Report
図的推論を用いた人の自然な論理推論の解明と促進：論理学及び認知科学の統合的研究
| Project/Area Number |
13J02291
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
佐藤 有理 東京大学, 大学院情報学環・学際情報学府, 特別研究員(PD)
|
|---|
| Keywords | 図的推論 / 論理的推論 / 外的表象 / 認知科学 / 論理学 / 認知モデル |
|---|
| Research Abstract |
本申請研究の目的は、人間が自然に実行する論理を理論的・実証的に明らかにすることである。主に図的推論を手段として、人間に自然な推論様式の解明を試みる。
本年は第一に、認知モデリングにおける実装と形式化について研究を実施した。計算認知モデリングは、計算プログラムによる認知理論の実装であり、認知理論における心的表象やプロセスを具体化することができる。しかし、そのような実装は認知理論における仕様を含むものではない。実際、Johnson-Lairdらによるメンタルモデル理論のモデリング実装においても、その仕様はこれまで適切な形では与えられていなかった。さらに重要なことに、この実装には「メンタルモデル」の定義は暗黙的に行なわれており、明示的な仕様になっているわけではない。これは、実装によるモデリング以前から, メンタルモデル理論の曖昧さとして従来指摘され続けてきた問題であった。こうしたモデル実装と認知理論のギャップを埋めるために、形式仕様記述に親和的な強い静的型付き言語を用いた認知理論(メンタルモデル理論の三段論法推論)の実装を提案した。研究成果は、2013年 Artificial Intelligence and Cognition 国際会議に査読付き国際会議論文としてまとめ、また2014年人工知能学会全国大会において発表予定である。
第二に、図的推論において人間がどのような図形操作を行っているかを解明することを目指した。特に、これまであまり研究がなされてこなかった推論の重要な側面のひとつ、与えられた前提から妥当な結論が何も導かれないということを判断する、いわゆるNVC課題に注目した。実験では、量化文から成る三段論法推論課題を解くための推論者のオイラー図の動かし方を観察した。本研究では、NVC課題における複雑な認知プロセスを明示化するために、PC画面上での図形の画像移動軌跡を記録する方法を新たに提案した。研究成果は、2014年Diagrams国際会議に査読付き国際会議論文として出版予定である。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
新たな環境で研究や実験を実施し、査読付き国際会議論文の形で研究成果をまとめることができた。
|
| Strategy for Future Research Activity |
第一の研究については、認知理論の形式化として研究をスタートさせたが、計算認知モデリングの研究文脈の中でそれがどのような意義を持ちうるのかを考えていきたい。第二の研究については、図形の持つ大きさなどの偶然的性質に着目して研究を進めていく計画である。これは、哲学の文脈で知られてきた図形の一般性・特殊性の問題とも関連し、実験哲学的な興味深い知見を得ることが期待される。また、さらにアブダクションなどのいわゆる拡張的推論へも研究を進めたい。
|
Research Products
(7 results)
