抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
De Morgan negation ΔΨで拡張されたコミプリケーション(bi-G”odel論理)を有するG”odel論理”に基づく,パラコンシステントモード論理KG ̄2を導入した。論理を用いて,段階的で不完全で矛盾した情報を用いて推論を定式化した。KG ̄2の意味は2次元であり,2つの評価v_1とv_2を持つクリスプフレーム上のKG ̄2を解釈し,実数値間隔[0,1]から各公式に割り当てる。第1(resp.,第2)評価では,正(resp.,陰性)情報を符号化し,状態は状態を与える。KG ̄2は,有限分岐フレームが定義可能であり,KG ̄2にKの忠実な埋込みを確立することにより,古典的モード論理Kよりも厳密に表現できることを明らかにした。また,有限分岐フレーム上のKG ̄2に対する ̄制約表計算を構築し,その可解性を確立し,複雑性評価を提供した。【JST・京大機械翻訳】