Fugu-MT 論文翻訳(概要): Tree-Like Justification Systems are Consistent

論文の概要: Tree-Like Justification Systems are Consistent

arxiv url: http://arxiv.org/abs/2208.03089v1
Date: Fri, 5 Aug 2022 10:48:08 GMT
ステータス: 処理完了
システム内更新日: 2022-08-08 12:58:53.128195
Title: Tree-Like Justification Systems are Consistent
Title（参考訳）: ツリーライクな正当性システム
Authors: Simon Marynissen (KU Leuven, Vrije Universiteit Brussel), Bart Bogaerts (Vrije Universiteit Brussel)
Abstract要約: 正当性理論の2つの変種が存在する: 1つは木であり、もう1つはグラフである。この作業では、木のような整合性問題は、すべての合理的な木のような正当化系が一貫したものであることを示すことによって、木のような設定に対して、一度、そして全てにおいて解決する。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Justification theory is an abstract unifying formalism that captures semantics of various non-monotonic logics. One intriguing problem that has received significant attention is the consistency problem: under which conditions are justifications for a fact and justifications for its negation suitably related. Two variants of justification theory exist: one in which justifications are trees and one in which they are graphs. In this work we resolve the consistency problem once and for all for the tree-like setting by showing that all reasonable tree-like justification systems are consistent.
Abstract（参考訳）: 正当化理論は、様々な非単調論理の意味論を捉えた抽象統一形式論である。興味深い問題の一つは一貫性の問題であり、そこでは条件は事実の正当化であり、否定の正当化は適切に関連している。正当性理論の2つの変種が存在する: 1つは木であり、もう1つはグラフである。この研究では、理にかなった木のような正当化システムはすべて一貫性のあるものであることを示すことによって、木のような設定に対して1度と何度でも一貫性の問題を解決します。

関連論文リスト

Why do Random Forests Work? Understanding Tree Ensembles as Self-Regularizing Adaptive Smoothers [68.76846801719095]
統計学で広く普及している偏りと分散還元に対する現在の高次二分法は、木のアンサンブルを理解するには不十分である、と我々は主張する。森林は、通常暗黙的に絡み合っている3つの異なるメカニズムによって、樹木を改良できることを示す。
論文参考訳（メタデータ） (2024-02-02T15:36:43Z)
Normative Conditional Reasoning as a Fragment of HOL [0.0]
本稿では(参照に基づく)条件付き規範推論の機械化について論じる。我々の焦点は条件付き義務のためのAqvistのシステムEとその拡張である。フレームワークの2つの可能性について検討する。
論文参考訳（メタデータ） (2023-08-21T12:47:30Z)
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文参考訳（メタデータ） (2022-10-22T16:01:13Z)
NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning [59.16962123636579]
本稿では,Prologベースの推論エンジンを新たに提案する。我々は手作りのルールを、ニューラルネットワークモデリング、ガイド付き生成、半密検索の組み合わせで置き換える。我々の実装であるNELLIEは、完全に解釈可能なエンドツーエンドの基底QAを示す最初のシステムである。
論文参考訳（メタデータ） (2022-09-16T00:54:44Z)
On Nested Justification Systems (full version) [13.76408511310322]
Deneckerらによって最初に導入されたネスト正当化システムは、正当化システムの構成を可能にする。本稿では,ネストした正当化システムの本来の意味が,説明に関連のある情報の喪失につながることを示す。さらに,ネストした正当性システムにより,固定点定義の表現が可能となることを示す。
論文参考訳（メタデータ） (2022-05-09T20:23:22Z)
A natural deduction system for orthomodular logic [0.0]
オルトモジュラ論理(オルトモジュラりょう、英: Orthomodular logic)は、バーコフとフォン・ノイマンの意味での量子論理の弱化である。非線形非可換論理である。これは述語論理の2つの系に拡張される: 1つはタケウティの量子集合論のための音、もう1つはウィーバーの量子論理の変種に対する音である。
論文参考訳（メタデータ） (2021-09-11T22:28:17Z)
Nested Counterfactual Identification from Arbitrary Surrogate Experiments [95.48089725859298]
観測と実験の任意の組み合わせからネスト反事実の同定について検討した。具体的には、任意のネストされた反事実を非ネストされたものへ写像できる反ファクト的非ネスト定理(英語版)(CUT)を証明する。
論文参考訳（メタデータ） (2021-07-07T12:51:04Z)
A Description Logic for Analogical Reasoning [28.259681405091666]
我々は,類推による推論に依拠する,妥当な知識の欠如を推測するメカニズムを提案する。これは、記述論理の設定の中でアナログ推論を研究する最初の論文です。
論文参考訳（メタデータ） (2021-05-10T19:06:07Z)
A Weaker Faithfulness Assumption based on Triple Interactions [89.59955143854556]
より弱い仮定として, 2$-adjacency faithfulness を提案します。より弱い仮定の下で適用可能な因果発見のための音方向規則を提案する。
論文参考訳（メタデータ） (2020-10-27T13:04:08Z)
Exploiting Game Theory for Analysing Justifications [13.72913891724593]
3つの主要な貢献によって正当化理論の研究を継続する。 1つ目は、正当化理論とゲーム理論の関係を研究することである。第2の貢献は、正当化理論の2つの異なる方言が一致する条件下での研究である。第3の貢献は、正当化理論によって誘導される意味論が一貫性のある結果をもたらすときの正確な基準を確立することである。
論文参考訳（メタデータ） (2020-08-04T14:45:08Z)
Aligning Faithful Interpretations with their Social Attribution [58.13152510843004]
モデル解釈が忠実であることの要件はあいまいで不完全であることに気付く。因果的帰属(因果的帰属)と解釈(社会的帰属)に対する人間の行動の帰属(因果的帰属)の相違が問題であると認識する。
論文参考訳（メタデータ） (2020-06-01T16:45:38Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。