Fugu-MT 論文翻訳(概要): Learning Assumption-based Argumentation Frameworks

論文の概要: Learning Assumption-based Argumentation Frameworks

arxiv url: http://arxiv.org/abs/2305.15921v1
Date: Thu, 25 May 2023 10:41:09 GMT
ステータス: 翻訳完了
システム内更新日: 2023-05-26 15:47:51.537861
Title: Learning Assumption-based Argumentation Frameworks
Title（参考訳）: 仮定に基づく議論フレームワークの学習
Authors: Maurizio Proietti and Francesca Toni
Abstract要約: 本稿では,仮説ベースの議論(ABA)フレームワークを肯定的,否定的な例から生成する論理ベースの学習手法を提案する。これらのABAフレームワークは、非階層化されるかもしれない失敗を否定するロジックプログラムにマッピングできる。
参考スコア（独自算出の注目度）: 10.616061367794385
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We propose a novel approach to logic-based learning which generates assumption-based argumentation (ABA) frameworks from positive and negative examples, using a given background knowledge. These ABA frameworks can be mapped onto logic programs with negation as failure that may be non-stratified. Whereas existing argumentation-based methods learn exceptions to general rules by interpreting the exceptions as rebuttal attacks, our approach interprets them as undercutting attacks. Our learning technique is based on the use of transformation rules, including some adapted from logic program transformation rules (notably folding) as well as others, such as rote learning and assumption introduction. We present a general strategy that applies the transformation rules in a suitable order to learn stratified frameworks, and we also propose a variant that handles the non-stratified case. We illustrate the benefits of our approach with a number of examples, which show that, on one hand, we are able to easily reconstruct other logic-based learning approaches and, on the other hand, we can work out in a very simple and natural way problems that seem to be hard for existing techniques.
Abstract（参考訳）: 本稿では,仮説に基づく議論(ABA)フレームワークを,与えられた背景知識を用いて,肯定的および否定的な例から生成する,論理に基づく新しい学習手法を提案する。これらのABAフレームワークは、非階層化されるかもしれない失敗を否定するロジックプログラムにマッピングできる。従来の議論に基づく手法では,例外を反逆攻撃と解釈することで一般規則の例外を学習するが,本手法ではそれらをアンダーカット攻撃と解釈する。私たちの学習手法は,論理プログラム変換規則(特に折り畳み型)から適応したものを含む変換規則や,ロート学習や仮定導入といった他の規則にもとづいています。我々は,階層化フレームワークを学習するために,変換ルールを適切な順序で適用する一般的な戦略を提案し,非階層化ケースを扱う変種を提案する。このアプローチの利点をいくつかの例で説明し、その一方で、他のロジックベースの学習アプローチを簡単に再構築することができ、一方、既存のテクニックでは難しいと思われる非常に単純で自然な方法で解決できることを示す。

関連論文リスト

Problem-Solving Logic Guided Curriculum In-Context Learning for LLMs Complex Reasoning [20.09682048610498]
本研究では,問題解決論理によって導かれるカリキュラムICL戦略を提案する。問題解決ロジックを解析し、カリキュラム学習に基づいてそれらを注文することで、実演例を選択する。提案手法は,従来のICL手法よりも性能と効率の点で優れていた。
論文参考訳（メタデータ） (2025-02-21T12:00:10Z)
Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies [51.03989561425833]
本稿では、エンドツーエンドポリシー学習のためのニューラルDNF-MTと呼ばれるニューラルシンボリックアプローチを提案する。ニューラルDNF-MTモデルの微分可能な性質は、訓練にディープアクター批判アルゴリズムを使用することを可能にする。決定論的ポリシーの2値表現をどのように編集し、ニューラルモデルに組み込むかを示す。
論文参考訳（メタデータ） (2025-01-07T15:51:49Z)
Learning Rules Explaining Interactive Theorem Proving Tactic Prediction [5.229806149125529]
この問題を帰納論理プログラミング(ILP)タスクとして表現する。 ILP表現を使用することで、追加で計算コストの高いプロパティをエンコードすることで、機能空間を豊かにしました。我々は、このリッチな特徴空間を用いて、与えられた証明状態に戦術がいつ適用されたかを説明する規則を学ぶ。
論文参考訳（メタデータ） (2024-11-02T09:18:33Z)
Learning Brave Assumption-Based Argumentation Frameworks via ASP [11.768331785549947]
ABA(Assumption-based Argumentation)は、非単調な推論のための統一的な形式主義として提唱されている。本稿では,背景知識と肯定的/否定的な事例から学習を自動化する問題に焦点をあてる。本稿では,変換規則に基づく新しいアルゴリズム(ロートラーニング,フォールディング,アクセプション導入,Fact Subsumptionなど)とその実装について述べる。
論文参考訳（メタデータ） (2024-08-19T16:13:35Z)
Semantic Objective Functions: A distribution-aware method for adding logical constraints in deep learning [4.854297874710511]
制約付き学習と知識蒸留技術は有望な結果を示した。本稿では,機械学習モデルに知識を付加した論理的制約を組み込むロスベース手法を提案する。本手法は,論理的制約のある分類タスクを含む,様々な学習課題において評価する。
論文参考訳（メタデータ） (2024-05-03T19:21:47Z)
LogicAsker: Evaluating and Improving the Logical Reasoning Ability of Large Language Models [63.14196038655506]
大規模言語モデル(LLM)の論理的推論能力を評価・拡張するための新しいアプローチであるLogicAskerを紹介する。提案手法は, LLMが論理規則を学習する際の大きなギャップを明らかにし, 異なるモデル間で29%から90%の推論失敗を識別する。 GPT-4oのようなモデルにおける論理的推論を最大5%向上させることで、これらの知見を活用して、ターゲットとなる実演例と微調整データを構築した。
論文参考訳（メタデータ） (2024-01-01T13:53:53Z)
A Unifying Framework for Learning Argumentation Semantics [50.69905074548764]
Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
論文参考訳（メタデータ） (2023-10-18T20:18:05Z)
Generalisation Through Negation and Predicate Invention [25.944127431156627]
我々は、否定と述語的発明を組み合わせた帰納論理プログラミング(ILP)アプローチを導入する。我々は,通常の論理プログラムを述語的発明で学習できるNOPIで実装する。複数の領域に対する実験結果から,本手法は予測精度と学習時間を向上できることが示された。
論文参考訳（メタデータ） (2023-01-18T16:12:27Z)
MERIt: Meta-Path Guided Contrastive Learning for Logical Reasoning [63.50909998372667]
テキストの論理的ReasonIngに対して,Metaパスを用いたコントラスト学習手法であるMERItを提案する。 2つの新しい戦略が我々の手法の必須要素である。
論文参考訳（メタデータ） (2022-03-01T11:13:00Z)
Reinforcement Learning with External Knowledge by using Logical Neural Networks [67.46162586940905]
論理ニューラルネットワーク(LNN)と呼ばれる最近のニューラルシンボリックフレームワークは、ニューラルネットワークとシンボリックロジックの両方のキープロパティを同時に提供することができる。外部知識ソースからのモデルフリー強化学習を可能にする統合手法を提案する。
論文参考訳（メタデータ） (2021-03-03T12:34:59Z)
Learning explanations that are hard to vary [75.30552491694066]
例を越えた平均化は、異なる戦略を縫合する記憶とパッチワークのソリューションに有利であることを示す。そこで我々は論理ANDに基づく単純な代替アルゴリズムを提案し,実験的に検証する。
論文参考訳（メタデータ） (2020-09-01T10:17:48Z)
The ILASP system for Inductive Learning of Answer Set Programs [79.41112438865386]
我々のシステムは、通常の規則、選択規則、厳しい制約を含むアンサーセットプログラムを学習する。まず、ILASPの学習フレームワークとその機能の概要を説明します。続いて、ILASPシステムの進化を概観する。
論文参考訳（メタデータ） (2020-05-02T19:04:12Z)

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

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。