論文の概要: On Establishing Robust Consistency in Answer Set Programs
- arxiv url: http://arxiv.org/abs/2208.08157v1
- Date: Wed, 17 Aug 2022 08:56:29 GMT
- ステータス: 処理完了
- システム内更新日: 2022-08-18 12:44:41.970820
- Title: On Establishing Robust Consistency in Answer Set Programs
- Title（参考訳）: 解答集合プログラムにおけるロバスト一貫性の確立について
- Authors: Andre Thevapalan and Gabriele Kern-Isberner
- Abstract要約: 入力データの任意のセットが許可された場合、$mathcalP$が非コントラクタリーであることを保証する方法を示す。
コンフリクト解決の$lambda$-extension for a conflicting rule $r$ is a set $lambda$ of (default) literals。
我々は、$lambda$-extensionsを使ってコンフリクトを逐次解決するコンフリクト解決プロセスを実装することで、最終的に非コントラクショナルなプログラムが得られることを示す。
- 参考スコア（独自算出の注目度）: 6.396288020763143
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Answer set programs used in real-world applications often require that the
program is usable with different input data. This, however, can often lead to
contradictory statements and consequently to an inconsistent program. Causes
for potential contradictions in a program are conflicting rules. In this paper,
we show how to ensure that a program $\mathcal{P}$ remains non-contradictory
given any allowed set of such input data. For that, we introduce the notion of
conflict-resolving $\lambda$- extensions. A conflict-resolving
$\lambda$-extension for a conflicting rule $r$ is a set $\lambda$ of (default)
literals such that extending the body of $r$ by $\lambda$ resolves all
conflicts of $r$ at once. We investigate the properties that suitable
$\lambda$-extensions should possess and building on that, we develop a strategy
to compute all such conflict-resolving $\lambda$-extensions for each
conflicting rule in $\mathcal{P}$. We show that by implementing a conflict
resolution process that successively resolves conflicts using
$\lambda$-extensions eventually yields a program that remains non-contradictory
given any allowed set of input data.
- Abstract（参考訳）: 現実のアプリケーションで使用されるアンサーセットプログラムは、しばしば異なる入力データでプログラムが使用可能であることが要求される。
しかし、これはしばしば矛盾するステートメントをもたらし、結果として矛盾するプログラムにつながる。
プログラムにおける潜在的な矛盾の原因はルールの矛盾である。
本稿では,プログラム$\mathcal{P}$が,そのような入力データの任意の許容された集合に対して,非矛盾性を維持する方法を示す。
そのため、コンフリクト解決の$\lambda$-拡張という概念を導入します。
コンフリクト解決の$\lambda$-extension コンフリクトルールの$r$ は、$r$ の本体を $\lambda$ で拡張する(デフォルト)リテラルの$\lambda$ セットである。
我々は、適切な$\lambda$-extensions が持つべき特性を調べ、それに基づいて、衝突する各ルールに対する衝突解決 $\lambda$-extensions を計算する戦略を $\mathcal{p}$ で開発する。
我々は,$\lambda$-extensionsを用いてコンフリクトを逐次解決するコンフリクト解決プロセスを実装することで,任意の入力データに対して非コントラクタリーなプログラムが得られることを示す。
関連論文リスト
- Restless Linear Bandits [5.00389879175348]
未知の$mathbbRd$-valued stationary $varphi$-mixing sequence of parameters $(theta_t,t in mathbbN)$ が存在すると仮定される。
指数混合率が$theta_t$の場合、LinMix-UCBと呼ばれる楽観的なアルゴリズムが提案される。
論文 参考訳（メタデータ） (2024-05-17T14:37:39Z) - Best-of-Both-Worlds Linear Contextual Bandits [45.378265414553226]
本研究は, 対向汚職下での多武装盗賊問題の事例である$K$腕線形文脈盗賊の問題を考察する。
我々は,理論的保証のもと,双方の敵環境に有効な戦略を開発する。
両体制の理論的保証から,我々の戦略をBest-of-Both-Worlds (BoBW) RealFTRLと呼んでいる。
論文 参考訳（メタデータ） (2023-12-27T09:32:18Z) - How many dimensions are required to find an adversarial example? [0.0]
敵の脆弱性が$dim(V)$に依存するかを検討する。
特に、$ellp$ノルム制約による標準PGD攻撃の対角的成功は、$epsilonの単調に増加する関数のように振る舞うことを示す。
論文 参考訳（メタデータ） (2023-03-24T17:36:15Z) - Tight Bounds for $\gamma$-Regret via the Decision-Estimation Coefficient [88.86699022151598]
任意の構造化バンディット問題に対する$gamma$-regretの統計的特徴を与える。
この$gamma$-regretは、関数クラス$mathcalF$上の構造化バンディット問題に現れる。
論文 参考訳（メタデータ） (2023-03-06T17:54:33Z) - Probably Anytime-Safe Stochastic Combinatorial Semi-Bandits [81.60136088841948]
本稿では,時間軸における後悔を最小限に抑えるアルゴリズムを提案する。
提案アルゴリズムは,レコメンデーションシステムや交通機関などの分野に適用可能である。
論文 参考訳（メタデータ） (2023-01-31T03:49:00Z) - Near Sample-Optimal Reduction-based Policy Learning for Average Reward
MDP [58.13930707612128]
この研究は、平均報酬マルコフ決定過程(AMDP)における$varepsilon$-Optimal Policyを得る際のサンプルの複雑さを考察する。
我々は、状態-作用対当たりの$widetilde O(H varepsilon-3 ln frac1delta)$サンプルを証明し、$H := sp(h*)$は任意の最適ポリシーのバイアスのスパンであり、$varepsilon$は精度、$delta$は失敗確率である。
論文 参考訳（メタデータ） (2022-12-01T15:57:58Z) - The Approximate Degree of DNF and CNF Formulas [95.94432031144716]
すべての$delta>0に対して、$はCNFと近似次数$Omega(n1-delta)の式を構築し、基本的には$nの自明な上限に一致する。
すべての$delta>0$に対して、これらのモデルは$Omega(n1-delta)$、$Omega(n/4kk2)1-delta$、$Omega(n/4kk2)1-delta$が必要です。
論文 参考訳（メタデータ） (2022-09-04T10:01:39Z) - The Structured Abstain Problem and the Lov\'asz Hinge [0.5156484100374059]
集合関数がモジュラーでない限り、Lov'asz ヒンジは所望の目標に対して矛盾しないことを示す。
2つのリンク関数を導出し、それぞれがすべての部分モジュラー集合関数に対して同時に整合である。
論文 参考訳（メタデータ） (2022-03-16T14:30:25Z) - The Pareto Frontier of model selection for general Contextual Bandits [15.454070036560388]
我々は、ネストしたポリシークラスの全てのポリシーを保証できる最適な単一アルゴリズムを同時に得ることができるかどうかを問う。また、もしそうでなければ、複雑性項と時間の間のトレードオフ$alphain[frac12,1)$に対して可能である: $ln(|Pi_m|)1-alphaTalpha$。
上界と下界に一致する最大対数因子のフロンティアを示すので、一般の政策では$T$とは独立な複雑性項 $ln(|Pi_m|)$ の増加は避けられないことを証明できる。
論文 参考訳（メタデータ） (2021-10-25T21:44:35Z) - Near-Optimal Regret Bounds for Contextual Combinatorial Semi-Bandits
with Linear Payoff Functions [53.77572276969548]
我々は、C$2$UCBアルゴリズムが分割マトロイド制約に対して最適な後悔結合$tildeO(dsqrtkT + dk)$を有することを示した。
一般的な制約に対して,C$2$UCBアルゴリズムで腕の報酬推定値を変更するアルゴリズムを提案する。
論文 参考訳（メタデータ） (2021-01-20T04:29:18Z) - An Optimal Separation of Randomized and Quantum Query Complexity [67.19751155411075]
すべての決定木に対して、与えられた順序 $ellsqrtbinomdell (1+log n)ell-1,$ sum to at least $cellsqrtbinomdell (1+log n)ell-1,$ where $n$ is the number of variables, $d$ is the tree depth, $c>0$ is a absolute constant。
論文 参考訳（メタデータ） (2020-08-24T06:50:57Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。