論文の概要: Analytical Solutions for the Inverse Problem within Gradual Semantics
- arxiv url: http://arxiv.org/abs/2203.01201v1
- Date: Wed, 2 Mar 2022 15:55:10 GMT
- ステータス: 処理完了
- システム内更新日: 2022-03-03 14:47:53.765033
- Title: Analytical Solutions for the Inverse Problem within Gradual Semantics
- Title（参考訳）: 直交意味論における逆問題の解析解
- Authors: Nir Oren, Bruno Yun, Assaf Libman, Murilo S. Baptista
- Abstract要約: 本稿では,段階的意味論における逆問題の解法として解析的アプローチを用いる方法を示す。
現在の最先端とは違って、そのようなアプローチは素早く解を見つけることができ、そのことが保証される。
- 参考スコア（独自算出の注目度）: 3.957174470017176
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Gradual semantics within abstract argumentation associate a numeric score
with every argument in a system, which represents the level of acceptability of
this argument, and from which a preference ordering over arguments can be
derived. While some semantics operate over standard argumentation frameworks,
many utilise a weighted framework, where a numeric initial weight is associated
with each argument. Recent work has examined the inverse problem within gradual
semantics. Rather than determining a preference ordering given an argumentation
framework and a semantics, the inverse problem takes an argumentation
framework, a gradual semantics, and a preference ordering as inputs, and
identifies what weights are needed to over arguments in the framework to obtain
the desired preference ordering. Existing work has attacked the inverse problem
numerically, using a root finding algorithm (the bisection method) to identify
appropriate initial weights. In this paper we demonstrate that for a class of
gradual semantics, an analytical approach can be used to solve the inverse
problem. Unlike the current state-of-the-art, such an analytic approach can
rapidly find a solution, and is guaranteed to do so. In obtaining this result,
we are able to prove several important properties which previous work had posed
as conjectures.
- Abstract（参考訳）: 抽象的議論における漸進的意味論は、システム内の全ての引数と数値的スコアを関連付け、この引数の受容可能性のレベルを表し、引数よりも優先順序付けを導出することができる。
いくつかのセマンティクスは標準的な議論フレームワーク上で機能するが、多くの場合、数値の初期重みが各引数に関連付けられている重み付きフレームワークを利用する。
最近の研究は、段階的意味論における逆問題を検討した。
議論フレームワークと意味論が与えられた選好順序を決定するのではなく、逆問題は議論フレームワーク、段階的な意味論、そして選好順序を入力として取り、望ましい選好順序を得るためにフレームワーク内の議論を超越するためにどのような重みが必要なのかを識別する。
既存の研究は、ルート探索アルゴリズム(バイセクション法)を用いて、逆問題に対して数値的に攻撃を行った。
本稿では,段階的意味論のクラスにおいて,逆問題の解法として解析的アプローチを用いることを実証する。
現在の最先端技術とは異なり、このような分析的アプローチは迅速に解決策を見つけることができ、それが保証される。
この結果を得るためには、先行研究が予想として提示したいくつかの重要な性質を証明できる。
関連論文リスト
- An Extension-based Approach for Computing and Verifying Preferences in Abstract Argumentation [1.7065454553786665]
本稿では,抽象的論証システムにおいて,計算と選好の検証のための拡張型アプローチを提案する。
選好集合の計算の複雑さは議論の数で指数関数的であることを示す。
計算された選好を検証(すなわち評価)するための新しいアルゴリズムを提案する。
論文 参考訳（メタデータ） (2024-03-26T12:36:11Z) - Abstract Weighted Based Gradual Semantics in Argumentation Theory [3.2566808526538873]
段階的意味論と受容可能性度を結びつける4つの重要な問題を導入する。
まず、逆問題を再検討し、議論フレームワークの引数重みを特定して、特定の最終的な受容可能性の度合いを導いた。
第三に、議論の受理度が考慮されるのではなく、選好時に議論の重みが見つかるかどうかを問う。
第4に、この空間に「ギャップ」が存在するかどうかを問う、有効な受容可能性次数の空間の位相を考える。
論文 参考訳（メタデータ） (2024-01-21T12:22:48Z) - A Unifying Framework for Learning Argumentation Semantics [50.69905074548764]
Inductive Logic Programmingアプローチを用いて、抽象的および構造化された議論フレームワークのアクセシビリティセマンティクスを解釈可能な方法で学習する新しいフレームワークを提案する。
提案手法は既存の議論解法よりも優れており,フォーマルな議論や人間と機械の対話の領域において,新たな研究の方向性が開けることになる。
論文 参考訳（メタデータ） (2023-10-18T20:18:05Z) - Optimizing Solution-Samplers for Combinatorial Problems: The Landscape
of Policy-Gradient Methods [52.0617030129699]
本稿では,DeepMatching NetworksとReinforcement Learningメソッドの有効性を解析するための新しい理論フレームワークを提案する。
我々の主な貢献は、Max- and Min-Cut、Max-$k$-Bipartite-Bi、Maximum-Weight-Bipartite-Bi、Traveing Salesman Problemを含む幅広い問題である。
本分析の副産物として,バニラ降下による新たな正則化プロセスを導入し,失効する段階的な問題に対処し,悪い静止点から逃れる上で有効であることを示す理論的および実験的証拠を提供する。
論文 参考訳（メタデータ） (2023-10-08T23:39:38Z) - Ranking-based Argumentation Semantics Applied to Logical Argumentation
(full version) [2.9005223064604078]
構造化議論におけるランキングベースセマンティクスの振る舞いについて検討する。
ランキングに基づく多種多様なセマンティクスが,いわゆる計算可能性尺度を生み出していることを示す。
論文 参考訳（メタデータ） (2023-07-31T15:44:33Z) - Inferring Attack Relations for Gradual Semantics [5.254093731341154]
段階的意味論は、重み付けされた議論フレームワークを入力として、各引数に対する最終的な受け入れ可能性度を出力する。
我々は、これらの議論に対する一連の攻撃があるかどうかを判断し、これらの許容可能性の度合いを得る。
論文 参考訳（メタデータ） (2022-11-29T11:45:27Z) - Object Representations as Fixed Points: Training Iterative Refinement
Algorithms with Implicit Differentiation [88.14365009076907]
反復的洗練は表現学習に有用なパラダイムである。
トレーニングの安定性とトラクタビリティを向上させる暗黙の差別化アプローチを開発する。
論文 参考訳（メタデータ） (2022-07-02T10:00:35Z) - The Inverse Problem for Argumentation Gradual Semantics [8.860629791560198]
このような意味論のサブクラス、いわゆる重み付き意味論は、引数に対する初期重みのセットを入力として取る。
このような重み付き意味論に対する逆問題を考える。
すなわち、議論の枠組みと望ましい議論のランキングが与えられた場合、特定の意味論が与えられたランキングを生成するような初期重みが存在するかどうかを問う。
論文 参考訳（メタデータ） (2022-02-01T09:46:23Z) - A Formalisation of Abstract Argumentation in Higher-Order Logic [77.34726150561087]
本稿では,古典的高階論理へのエンコーディングに基づく抽象的議論フレームワークの表現手法を提案する。
対話型および自動推論ツールを用いた抽象的議論フレームワークのコンピュータ支援評価のための一様フレームワークを提供する。
論文 参考訳（メタデータ） (2021-10-18T10:45:59Z) - Abstract Reasoning via Logic-guided Generation [65.92805601327649]
抽象的推論、すなわち、与えられた観測から複雑なパターンを推測することは、人工知能の中心的な構成要素である。
本稿では,後者のアプローチの枠組みを設計し,人工知能と人間の知能のギャップを埋めることを目的とする。
本稿では,提案する論理の最適化問題として,抽象的推論を削減した新しい生成型DNNフレームワークであるLoGeを提案する。
論文 参考訳（メタデータ） (2021-07-22T07:28:24Z) - Navigating to the Best Policy in Markov Decision Processes [68.8204255655161]
マルコフ決定過程における純粋探索問題について検討する。
エージェントはアクションを逐次選択し、結果のシステム軌道から可能な限り早くベストを目標とする。
論文 参考訳（メタデータ） (2021-06-05T09:16:28Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。