オイラー図・ヴェン図を用いた図形推論の証明論的分析

• 峯島 宏次

  慶応義塾大学 文学部 哲学科

• 岡田 光弘

  慶応義塾大学 文学部 哲学科

• 佐藤 有理

  慶応義塾大学 文学研究科 哲学専攻

• 竹村 亮

  慶応義塾大学 文学部 哲学科

Bibliographic Information

Other Title

• オイラーズ ・ ヴェンズ オ モチイタ ズケイ スイロン ノ ショウメイロンテキ ブンセキ

Abstract

近年、論理学や人工知能、認知科学など様々な分野で、図形やグラフ表現に基づく推論の研究が進められている。特にオイラー図は、論理推論の補助手段としてインフォーマルに用いられてきたが、1990年代から現代論理学による体系的研究が始められた。本研究ではオイラー図に対する自然な操作を自然演繹を基に形式化し、その図形推論体系の特徴についてヴェン図との比較も含め、論理学及び認知科学の観点から議論する。

Journal

• Proceedings of the Annual Conference of JSAI

  Proceedings of the Annual Conference of JSAI JSAI2010 (0), 1E14-1E14, 2010

  The Japanese Society for Artificial Intelligence

Details

• CRID: 1390845712977958528
• NII Article ID: 40020260479
• NII Article ID: 130007425448
• NII Book ID: AA11578981
• ISSN: 13479881
• DOI: 10.11517/pjsai.jsai2010.0_1e14
• NDL BIB ID: 025903706
• Web Site: http://id.ndl.go.jp/bib/025903706
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I025903706
• Text Lang: ja
• Data Source:
  • JaLC
  • NDL
  • CiNii Articles
  • KAKEN
• Abstract License Flag: Disallowed