抄録/ポイント: 抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
標準古典的論理に対応するEulerおよびVennダイアグラムに対する通常のシステムを拡張することによって,可燃推論のためのEulerダイアグラムシステムを検討した。これを達成するために,一般化量子化器を「ほとんど」を用いて,Schlechta(1995)によって提案されたように,可燃性知識を「Most AがB」として表現し,「最も」の公理を定義した。著者らは,各円Aに対して「最もA」を表す円mAを導入することによって,可撓性推論のためのEulerダイアグラムシステムを導入した。Eulerダイアグラムシステムは一般化量子化器の記号系の図式表現であることを示した。さらに,著者らは,著者らのEulerダイアグラムによる不可解な推論において,skept的および crous的戦略を調査した。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】