論文の概要: Exploiting Game Theory for Analysing Justifications
- arxiv url: http://arxiv.org/abs/2008.01609v1
- Date: Tue, 4 Aug 2020 14:45:08 GMT
- ステータス: 処理完了
- システム内更新日: 2022-11-03 00:49:04.032499
- Title: Exploiting Game Theory for Analysing Justifications
- Title（参考訳）: 正当性分析のための爆発ゲーム理論
- Authors: Simon Marynissen, Bart Bogaerts and Marc Denecker
- Abstract要約: 3つの主要な貢献によって正当化理論の研究を継続する。
1つ目は、正当化理論とゲーム理論の関係を研究することである。
第2の貢献は、正当化理論の2つの異なる方言が一致する条件下での研究である。
第3の貢献は、正当化理論によって誘導される意味論が一貫性のある結果をもたらすときの正確な基準を確立することである。
- 参考スコア（独自算出の注目度）: 13.72913891724593
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Justification theory is a unifying semantic framework. While it has its roots
in non-monotonic logics, it can be applied to various areas in computer
science, especially in explainable reasoning; its most central concept is a
justification: an explanation why a property holds (or does not hold) in a
model. In this paper, we continue the study of justification theory by means of
three major contributions. The first is studying the relation between
justification theory and game theory. We show that justification frameworks can
be seen as a special type of games. The established connection provides the
theoretical foundations for our next two contributions. The second contribution
is studying under which condition two different dialects of justification
theory (graphs as explanations vs trees as explanations) coincide. The third
contribution is establishing a precise criterion of when a semantics induced by
justification theory yields consistent results. In the past proving that such
semantics were consistent took cumbersome and elaborate proofs. We show that
these criteria are indeed satisfied for all common semantics of logic
programming. This paper is under consideration for acceptance in Theory and
Practice of Logic Programming (TPLP).
- Abstract（参考訳）: 正当化理論は統一的な意味論である。
それは非単調論理にルーツを持つが、特に説明可能な推論において、計算機科学の様々な分野に適用することができる。
本稿では,三大貢献による正当化理論の研究を継続する。
まず、正当化理論とゲーム理論の関係を研究する。
正当化フレームワークは、特別な種類のゲームと見なすことができる。
確立された接続は、次の2つの貢献の理論的基礎を提供します。
第2の貢献は、正当化理論の2つの異なる方言(説明としてのグラフと説明としての木)が一致する条件下での研究である。
第3の貢献は、正当化理論によって引き起こされる意味論が一貫した結果をもたらすときの正確な基準を確立することである。
過去にそのような意味論が一貫していることを証明するには、面倒で精巧な証明が必要だった。
これらの基準は、論理プログラミングの一般的なセマンティクスに本当に満足していることを示す。
本稿では,論理プログラミングの理論と実践(TPLP)の受容について検討する。
関連論文リスト
- A Complexity-Based Theory of Compositionality [53.025566128892066]
AIでは、構成表現は配布外一般化の強力な形式を可能にすることができる。
ここでは、構成性に関する直観を考慮し、拡張する構成性の公式な定義を提案する。
この定義は概念的には単純で量的であり、アルゴリズム情報理論に基礎を置いており、あらゆる表現に適用できる。
論文 参考訳（メタデータ） (2024-10-18T18:37:27Z) - A Note on an Inferentialist Approach to Resource Semantics [48.65926948745294]
「推論主義」とは、推論行動の観点で意味が与えられるという考え方である。
本稿では,「推論主義」が資源意味論の汎用的で表現力豊かな枠組みを実現する方法を示す。
論文 参考訳（メタデータ） (2024-05-10T14:13:21Z) - The Causal Axioms of Algebraic Quantum Field Theory: A Diagnostic [0.0]
代数的場の量子論は、相対論的因果関係を実装した理論を特徴づけることを目的とした3つの「因果公理」(causal axioms)を前進させる。
本稿は,AQFTに適した因果関係の概念を完全に説明していないことを,最小限の技術的手法で示すことを目的としている。
私は、AQFTの因果構造が、その中の公理と特権に対抗して、文学における戦略に対してどのように特徴付けられるかという全体論的な解釈を提唱する。
論文 参考訳（メタデータ） (2024-01-12T11:00:28Z) - Strengthening Consistency Results in Modal Logic [0.0]
モーダル論理における根本的な問題は、与えられた理論が一貫性はあるが、何と一貫性があるのかである。
この問題に対処する典型的な方法は、背景知識公理の選択(例えば、S4、Dなど)を特定し、その背景公理と整合性のある理論によって導かれた仮定を示す。
本稿では、より堅牢な方法で整合性に対処するための命題モーダル論理の一般的な理論を紹介する。
論文 参考訳（メタデータ） (2023-07-11T07:05:37Z) - MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。
推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。
この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文 参考訳（メタデータ） (2022-10-22T16:01:13Z) - Tree-Like Justification Systems are Consistent [0.0]
正当性理論の2つの変種が存在する: 1つは木であり、もう1つはグラフである。
この作業では、木のような整合性問題は、すべての合理的な木のような正当化系が一貫したものであることを示すことによって、木のような設定に対して、一度、そして全てにおいて解決する。
論文 参考訳（メタデータ） (2022-08-05T10:48:08Z) - Discourse-Aware Graph Networks for Textual Logical Reasoning [142.0097357999134]
パッセージレベルの論理関係は命題単位間の係り合いまたは矛盾を表す(例、結論文)
論理的推論QAを解くための論理構造制約モデリングを提案し、談話対応グラフネットワーク(DAGN)を導入する。
ネットワークはまず、インラインの談話接続とジェネリック論理理論を利用した論理グラフを構築し、その後、エッジ推論機構を用いて論理関係を進化させ、グラフ機能を更新することで論理表現を学習する。
論文 参考訳（メタデータ） (2022-07-04T14:38:49Z) - A Quantitative Symbolic Approach to Individual Human Reasoning [0.0]
文献から得られた知見を,論理的枠組みの中で認知的原理として定式化され,理論的推論の定量的概念を確立できることを示す。
非単調推論と計算機科学の技法、すなわち、解集合プログラミング(ASP)と呼ばれる解法パラダイムを用いる。
最後に、ASP.NETの可視性推論を使って、既存の実験の効果をテストし、異なる多数派反応を説明できます。
論文 参考訳（メタデータ） (2022-05-10T16:43:47Z) - Unscrambling the omelette of causation and inference: The framework of
causal-inferential theories [0.0]
プロセス理論形式論を用いた因果推論理論の概念を導入する。
この型で運用理論と現実主義理論の考え方をリキャストすることで、実験の現実主義的説明が操作的説明を超えたものを提供するものを明らかにする。
因果関係と推論の概念がそれらの従来の(古典的な)解釈と異なるような現実主義因果推論理論の公理を特定できるならば、本質的な量子的リアリズムの概念を定義する手段がある。
論文 参考訳（メタデータ） (2020-09-07T17:58:22Z) - Logical Neural Networks [51.46602187496816]
ニューラルネットワーク(学習)と記号論理(知識と推論)の両方の重要な特性をシームレスに提供する新しいフレームワークを提案する。
すべてのニューロンは、重み付けされた実数値論理における公式の構成要素としての意味を持ち、非常に解釈不能な非絡み合い表現をもたらす。
推論は事前に定義されたターゲット変数ではなく、オムニであり、論理的推論に対応する。
論文 参考訳（メタデータ） (2020-06-23T16:55:45Z) - Towards Clarifying the Theory of the Deconfounder [47.442102892407405]
本稿では,複数の因果推論を考察し,デコンファウンデーションアルゴリズムを提案する。
創始者理論に関するいくつかの改良が提案されている。
論文 参考訳（メタデータ） (2020-03-10T19:59:03Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。