Fugu-MT 論文翻訳(概要): Abductive forgetting

論文の概要: Abductive forgetting

arxiv url: http://arxiv.org/abs/2209.12825v1
Date: Mon, 26 Sep 2022 16:31:07 GMT
ステータス: 処理完了
システム内更新日: 2022-09-27 17:18:04.729518
Title: Abductive forgetting
Title（参考訳）: 誘惑的な忘れ
Authors: Paolo Liberatore
Abstract要約: 帰納的忘れは論理式から変数を取り除き、帰納的説明を維持することである。帰納的忘れの表現性を保証する方法は、命題論理からデフォルト論理に切り替えることである。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Abductive forgetting is removing variables from a logical formula while maintaining its abductive explanations. It is defined in either of two ways, depending on its intended application. Both differ from the usual forgetting, which maintains consequences rather than explanations. Differently from that, abductive forgetting from a propositional formula may not be expressed by any propositional formula. A necessary and sufficient condition tells when it is. Checking this condition is \P{3}-complete, and is in \P{4} if minimality of explanations is required. A way to guarantee expressibility of abductive forgetting is to switch from propositional to default logic. Another is to introduce new variables.
Abstract（参考訳）: 帰納的忘れは論理式から変数を取り除き、帰納的説明を維持することである。それは2つの方法のいずれかで定義されるが、用途によって異なる。どちらも、説明よりも結果を維持する通常の忘れ物とは異なる。それとは違って、命題公式からの帰納的忘れは命題公式では表現されない。必要かつ十分な条件はそれがいつあるかを示す。この条件のチェックは \p{3}-completeであり、説明の最小性が必要であれば \p{4} となる。帰納的忘れの表現性を保証する方法は、命題論理からデフォルト論理に切り替えることである。もう1つは、新しい変数を導入することです。

関連論文リスト

Abductive Reasoning in a Paraconsistent Framework [7.4842212802498755]
有名なベルナップ・ダンパラ一貫性の4値論理の2つの拡張を考える。古典命題論理では、$mathsfBD_circ$ と $mathsfBD_triangle$ で abduction を減らす方法を示す。
論文参考訳（メタデータ） (2024-08-01T08:12:52Z)
Abductive Commonsense Reasoning Exploiting Mutually Exclusive Explanations [118.0818807474809]
帰納的推論は、イベントのもっともらしい説明を見つけることを目的としている。自然言語処理における帰納的推論のための既存のアプローチは、しばしば監督のために手動で生成されたアノテーションに依存している。この研究は、ある文脈に対して、説明のサブセットのみが正しいという事実を活用する、帰納的コモンセンス推論のアプローチを提案する。
論文参考訳（メタデータ） (2023-05-24T01:35:10Z)
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure [129.8481568648651]
複雑な実生活シナリオにおけるモデルの論理的推論能力を調べるためのベンチマークを提案する。推論のマルチホップ連鎖に基づいて、説明形式は3つの主成分を含む。この新たな説明形式を用いて,現在のベストモデルの性能を評価した。
論文参考訳（メタデータ） (2022-10-22T16:01:13Z)
Explainability via Short Formulas: the Case of Propositional Logic with Implementation [2.583686260808494]
非常に一般的な設定で、説明可能性に関する多くの関連する定義を与える。我々の関心は、入力モデルにおける入力公式の真理値を説明することを目的とした、いわゆる特殊説明問題である。
論文参考訳（メタデータ） (2022-09-03T11:47:25Z)
Certain and Uncertain Inference with Indicative Conditionals [0.3437656066916039]
我々は、真理条件と自然言語条件の確率の3値意味論を開発する。いずれのフレームワークにおける推論の3価表現と確率表現の体系的対応を示す。その結果は、条件推論の妥当性を分析するために有益に適用できる条件のセマンティクスと指示の統一的な説明である。
論文参考訳（メタデータ） (2022-07-17T20:06:00Z)
Reasoning over Logically Interacted Conditions for Question Answering [113.9231035680578]
我々は、論理的に相互作用する条件のリストによって答えが制約される、より困難なタスクについて研究する。本稿では,この難解な推論タスクのための新しいモデルTReasonerを提案する。 TReasonerは、2つのベンチマーク条件付きQAデータセットで最先端のパフォーマンスを達成する。
論文参考訳（メタデータ） (2022-05-25T16:41:39Z)
Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI [60.142926537264714]
本稿では, 忠実度スルー・カウンタファクトの方法論について紹介する。これは、説明に表される論理述語に基づいて、反実仮説を生成する。そして、そのモデルが表現された論理と反ファクトの予測が一致しているかどうかを評価する。
論文参考訳（メタデータ） (2022-05-25T03:40:59Z)
Maieutic Prompting: Logically Consistent Reasoning with Recursive Explanations [71.2950434944196]
ノイズや一貫性のない言語モデルでさえも問題に対する正しい答えを推測するMaieutic Promptingを開発する。 Maieutic Promptingは最先端のプロンプト法よりも最大20%精度が高い。
論文参考訳（メタデータ） (2022-05-24T06:36:42Z)
A natural deduction system for orthomodular logic [0.0]
オルトモジュラ論理(オルトモジュラりょう、英: Orthomodular logic)は、バーコフとフォン・ノイマンの意味での量子論理の弱化である。非線形非可換論理である。これは述語論理の2つの系に拡張される: 1つはタケウティの量子集合論のための音、もう1つはウィーバーの量子論理の変種に対する音である。
論文参考訳（メタデータ） (2021-09-11T22:28:17Z)
Situated Conditional Reasoning [10.828616610785524]
本研究では,状況に基づく条件を一連の仮定で記述できることを示す。次に、位置条件付き知識ベースに対するエンテーメントの形式を定義し、最小のクロージャ(minimum closure)と呼ぶ。
論文参考訳（メタデータ） (2021-09-03T14:23:18Z)
Contrastive Explanations for Model Interpretability [77.92370750072831]
分類モデルの対照的説明を生成する手法を提案する。本手法は潜在空間へのモデル表現の投影に基づいている。本研究は,モデル決定のより正確できめ細かな解釈性を提供するためのラベルコントラスト的説明の能力に光を当てた。
論文参考訳（メタデータ） (2021-03-02T00:36:45Z)

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