-
- 竹村 亮
- 慶応義塾大学 文学部 哲学科
書誌事項
- タイトル別名
-
- オイラーズ ・ ヴェンズ スイロン ノ ホンヤク ト Free ride
この論文をさがす
説明
<p>オイラー図推論の論理学証明論的分析を行う。とくにオイラー図の最も基本的な性質の一つであり、これまで主に認知科学の文脈で議論されてきたfree ride property (Shimojima 1996)の証明論的形式化・分析を行う。また、オイラー図証明と自然演繹に基づく言語的証明の構造を比較するための証明論的枠組みを導入し、オイラー図証明のもつ構造的特徴を分析する。 </p>
収録刊行物
-
- 人工知能学会全国大会論文集
-
人工知能学会全国大会論文集 JSAI2011 (0), 1J32-1J32, 2011
一般社団法人 人工知能学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390564238000502272
-
- NII論文ID
- 40020262264
- 130007423184
-
- NII書誌ID
- AA11578981
-
- ISSN
- 13479881
- 27587347
-
- NDL書誌ID
- 025906629
-
- 本文言語コード
- ja
-
- 資料種別
- journal article
-
- データソース種別
-
- JaLC
- NDLサーチ
- CiNii Articles
- KAKEN
-
- 抄録ライセンスフラグ
- 使用不可
