Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献詳細
1
0
0
0
OA
オイラー図・ヴェン図を用いた図形推論の証明論的分析
著者
峯島 宏次
岡田 光弘
佐藤 有理
竹村 亮
出版者
人工知能学会
雑誌
人工知能学会全国大会論文集
(
ISSN:13479881
)
巻号頁・発行日
vol.24, 2010
近年、論理学や人工知能、認知科学など様々な分野で、図形やグラフ表現に基づく推論の研究が進められている。特にオイラー図は、論理推論の補助手段としてインフォーマルに用いられてきたが、1990年代から現代論理学による体系的研究が始められた。本研究ではオイラー図に対する自然な操作を自然演繹を基に形式化し、その図形推論体系の特徴についてヴェン図との比較も含め、論理学及び認知科学の観点から議論する。
言及状況
変動(ピーク前後)
変動(月別)
分布
はてなブックマーク
(1 users, 1 posts)
[logic][*技法(書く)][技法(描く)][学習][PDF]
収集済み URL リスト
https://kaigi.org/jsai/webprogram/2010/paper-389.html
(1)