論文の概要: 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（参考訳）: 既存の論理形式が多種多様であることを考えると、特定の目的、例えば特定のアプリケーションに関連する知識を表現したり、その形式を問題解決のモデリングツールとして使うために、最も適切なものを選ぶことが最も重要である。
論理形式主義の性質の認識、言い換えれば、その基本的な本質的な性質は不可欠であり、情報的選択の基礎を提供する。
この論文では、抽象的議論の領域における存在と一意性、表現性、置換可能性、検証可能性といった特性と同様に、特徴論理の存在を考察する。
関連論文リスト
- A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。
本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
論文 参考訳（メタデータ） (2024-05-10T14:13:21Z) - Inferentialist Resource Semantics [48.65926948745294]
本稿では,リソースセマンティクスにおいて,推論が汎用的で表現力豊かなフレームワークを実現する方法を示す。
推論主義は、バンドルインプリケーションの論理のアサーションベースのアプローチをいかにシームレスに組み込むか。
この統合により、直感的で親しみやすい方法で、共有リソースと分離リソースの推論が可能になる。
論文 参考訳（メタデータ） (2024-02-14T14:54:36Z) - An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
このアプローチは抽象弁証法フレームワークのコンピュータ支援分析を可能にする。
応用例としては、メタ理論的性質の形式的解析と検証がある。
論文 参考訳（メタデータ） (2023-12-08T09:32:26Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。