論文の概要: On the Existence of Characterization Logics and Fundamental Properties
of Argumentation Semantics
- arxiv url: http://arxiv.org/abs/2003.00767v1
- Date: Mon, 2 Mar 2020 11:18:30 GMT
- ステータス: 処理完了
- システム内更新日: 2022-12-27 05:43:47.966260
- Title: On the Existence of Characterization Logics and Fundamental Properties
of Argumentation Semantics
- Title(参考訳): Argumentation Semantics の特徴論理と基礎的性質の存在について
- Authors: Ringo Baumann
- Abstract要約: 特定の目的のために最も適切な論理形式を選ぶことは最も重要である。
この論文では、キャラクタリゼーション論理の存在と、存在と一意性、表現可能性、置換可能性、検証可能性といった特性について考察する。
- 参考スコア(独自算出の注目度): 12.449917754699692
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Given the large variety of existing logical formalisms it is of utmost
importance to select the most adequate one for a specific purpose, e.g. for
representing the knowledge relevant for a particular application or for using
the formalism as a modeling tool for problem solving. Awareness of the nature
of a logical formalism, in other words, of its fundamental intrinsic
properties, is indispensable and provides the basis of an informed choice. In
this treatise we consider the existence characterization logics as well as
properties like existence and uniqueness, expressibility, replaceability and
verifiability in the realm of abstract argumentation
- Abstract(参考訳): 既存の論理形式が多種多様であることを考えると、特定の目的、例えば特定のアプリケーションに関連する知識を表現したり、その形式を問題解決のモデリングツールとして使うために、最も適切なものを選ぶことが最も重要である。
論理形式主義の性質の認識、言い換えれば、その基本的な本質的な性質は不可欠であり、情報的選択の基礎を提供する。
この論文では、抽象的議論の領域における存在と一意性、表現性、置換可能性、検証可能性といった特性と同様に、特徴論理の存在を考察する。
関連論文リスト
- An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳(メタデータ) (2023-12-08T09:32:26Z) - MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。
推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。
この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文 参考訳(メタデータ) (2022-10-22T16:01:13Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳(メタデータ) (2021-10-18T10:45:59Z) - A Description Logic for Analogical Reasoning [28.259681405091666]
我々は,類推による推論に依拠する,妥当な知識の欠如を推測するメカニズムを提案する。
これは、記述論理の設定の中でアナログ推論を研究する最初の論文です。
論文 参考訳(メタデータ) (2021-05-10T19:06:07Z) - Towards Rigorous Interpretations: a Formalisation of Feature Attribution [6.905391624417595]
リラックスした機能依存の概念に基づいた機能選択/属性の形式化を提案する。
合成データセットのアーストルースアトリビューションを計算することで、最適化された場合でも、提案された特性を検証し、間違ったソリューションを提供することに失敗する人もいます。
論文 参考訳(メタデータ) (2021-04-26T10:04:44Z) - Measuring Association Between Labels and Free-Text Rationales [60.58672852655487]
解釈可能なNLPでは、説明された例に対するモデルの意思決定プロセスを反映した忠実な理性が必要です。
情報抽出型タスクに対する忠実な抽出合理化のための既存のモデルであるパイプラインは、自由テキスト合理化を必要とするタスクに確実に拡張されないことを示す。
我々は、信頼が確立されていない自由文合理化のための、広く使われている高性能モデルのクラスである、共同予測と合理化のモデルに目を向ける。
論文 参考訳(メタデータ) (2020-10-24T03:40:56Z) - Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。
文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
論文 参考訳(メタデータ) (2020-08-06T02:13:11Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳(メタデータ) (2020-06-23T16:55:45Z) - Cognitive Argumentation and the Suppression Task [1.027974860479791]
本稿では,認知論(Cognitive Argumentation)と呼ばれる新たなフレームワークにおいて,人間の推論をモデル化する上での課題について述べる。
このフレームワークは認知科学における経験的および理論的研究に基づく認知原理に依存しており、AIから計算議論の一般的かつ抽象的な枠組みを適応させる。
我々は、認知論は、人間の条件推論に一貫性があり、認知的に適切なモデルを提供すると論じている。
論文 参考訳(メタデータ) (2020-02-24T10:30:39Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。