主催: 一般社団法人 人工知能学会
会議名: 2013年度人工知能学会全国大会(第27回)
回次: 27
開催地: 富山県富山市 富山国際会議場
開催日: 2013/06/04 - 2013/06/07
一般的な形式論理において、「○ならば×」のような条件文は実質含意と呼ばれ、前件が偽のとき真と規定される。しかし、実質含意は日常的な判断事例から疑問視される場合もあり、議論がある。本報告では、実質含意と、その対案のひとつである条件付事象をそれぞれ両方向化した、論理的等値と双条件付事象を認知実験を用いて比較する。同時に、条件付事象を論じるに不可欠な不定性を3種類に分類し、その理論的可能性を探る。