論文の概要: A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming

• arxiv url: http://arxiv.org/abs/2312.07993v1
• Date: Wed, 13 Dec 2023 09:05:48 GMT
• ステータス: 処理完了
• システム内更新日: 2023-12-14 15:56:39.265029
• Title: A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming
• Title（参考訳）: 解集合プログラミングにおける定式化と強等価表記の一考察
• Authors: Zeynep G. Saribatur and Stefan Woltran
• Abstract要約: 文献からすべての関連概念を捉えることができる新しい相対同値概念を導入する。 次に、プロジェクションと(SP)鍛造の緩和を組み合わせた演算子を導入し、相対化単純化を求める。
• 参考スコア（独自算出の注目度）: 14.342696862884704
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: Answer Set Programming (ASP) is a prominent rule-based language for knowledge representation and reasoning with roots in logic programming and non-monotonic reasoning. The aim to capture the essence of removing (ir)relevant details in ASP programs led to the investigation of different notions, from strong persistence (SP) forgetting, to faithful abstractions, and, recently, strong simplifications, where the latter two can be seen as relaxed and strengthened notions of forgetting, respectively. Although it was observed that these notions are related, especially given that they have characterizations through the semantics for strong equivalence, it remained unclear whether they can be brought together. In this work, we bridge this gap by introducing a novel relativized equivalence notion, which is a relaxation of the recent simplification notion, that is able to capture all related notions from the literature. We provide necessary and sufficient conditions for relativized simplifiability, which shows that the challenging part is for when the context programs do not contain all the atoms to remove. We then introduce an operator that combines projection and a relaxation of (SP)-forgetting to obtain the relativized simplifications. We furthermore present complexity results that complete the overall picture.
• Abstract（参考訳）: Answer Set Programming (ASP)は、論理プログラミングと非単調推論のルーツを持つ知識表現と推論のための著名なルールベースの言語である。 aspプログラムで(ir)関連する詳細を取り除くという本質を捉えようとする目的は、強い永続性(sp)忘れ、忠実な抽象化、そして最近は、後者の2つがそれぞれ緩和され強化された忘れる概念と見なすことができる強固な単純化など、異なる概念の調査につながった。 これらの概念が関連していることが観察されたが、特にそれらが強い同値性のセマンティクスを通して特徴づけられることを考えると、それらが結合できるかどうかは不明である。 本研究では,最近の単純化概念の緩和であり,文献からすべての関連概念を捉えることができる新しい相対同値の概念を導入することで,このギャップを埋める。 これは、コンテキストプログラムが削除すべきすべての原子を含まない場合、難しい部分であることを示している。 次に, 射影と (sp)-forgetting の緩和を組み合わせた演算子を導入し, 相対化単純化を得る。 さらに、全体像を完成させる複雑な結果を示す。

関連論文リスト

• Rethinking State Disentanglement in Causal Reinforcement Learning [78.12976579620165]
  因果性は、根底にある状態が識別可能性によって一意に回復できることを保証するための厳密な理論的支援を提供する。 我々はこの研究ラインを再考し、RL固有のコンテキストを取り入れることで、潜在状態に対する以前の識別可能性分析における不要な仮定を低減できることを示した。 本稿では, 従来手法の複雑な構造制約を, 遷移と報酬保存の2つの簡単な制約に置き換えることにより, 一般に部分的に観測可能なマルコフ決定過程(POMDP)を提案する。
  論文  参考訳（メタデータ） (2024-08-24T06:49:13Z)
• Learning Visual-Semantic Subspace Representations for Propositional Reasoning [49.17165360280794]
  本稿では,特定の意味構造に適合する視覚表現を学習するための新しい手法を提案する。 我々のアプローチは、新しい核規範に基づく損失に基づいている。 部分空間格子におけるセマンティクスのスペクトル幾何学を最小エンコードしていることを示す。
  論文  参考訳（メタデータ） (2024-05-25T12:51:38Z)
• Transitivity Recovering Decompositions: Interpretable and Robust Fine-Grained Relationships [69.04014445666142]
  Transitivity Recovering Decompositions (TRD) は、抽象的な創発的関係の解釈可能な等価性を識別するグラフ空間探索アルゴリズムである。 TRDは明らかにノイズの多い見方に対して堅牢であり、実証的な証拠もこの発見を支持している。
  論文  参考訳（メタデータ） (2023-10-24T16:48:56Z)
• Discourse-Aware Text Simplification: From Complex Sentences to Linked Propositions [11.335080241393191]
  Text Simplification (TS)は、テキストの処理を容易にするために文を変更することを目的としている。 本稿では、複雑な英語文を分割し、言い換える、談話対応のTSアプローチを提案する。 単純化された文の上に意味層を置く最小命題のセマンティック階層を生成する。
  論文  参考訳（メタデータ） (2023-08-01T10:10:59Z)
• Synergies between Disentanglement and Sparsity: Generalization and Identifiability in Multi-Task Learning [79.83792914684985]
  我々は,最大スパース基底予測器が不整合表現をもたらす条件を提供する新しい識別可能性の結果を証明した。 この理論的な結果から,両レベル最適化問題に基づくアンタングル表現学習の実践的アプローチを提案する。
  論文  参考訳（メタデータ） (2022-11-26T21:02:09Z)
• Admissibility in Strength-based Argumentation: Complexity and Algorithms (Extended Version with Proofs) [1.5828697880068698]
  我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。 特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。 計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
  論文  参考訳（メタデータ） (2022-07-05T18:42:04Z)
• Rationale-Augmented Ensembles in Language Models [53.45015291520658]
  我々は、数発のテキスト内学習のための合理化促進策を再考する。 我々は、出力空間における合理的サンプリングを、性能を確実に向上させるキーコンポーネントとして特定する。 有理拡張アンサンブルは既存のプロンプト手法よりも正確で解釈可能な結果が得られることを示す。
  論文  参考訳（メタデータ） (2022-07-02T06:20:57Z)
• Quantification and Aggregation over Concepts of the Ontology [0.0]
  いくつかのKRアプリケーションでは、ボキャブラリのシンボルによって形式的に表される概念の集合を定量化したいと論じる。 本稿では,このような抽象化をサポートする一階述語論理の拡張について述べる。
  論文  参考訳（メタデータ） (2022-02-02T07:49:23Z)
• Analyzing Semantics of Aggregate Answer Set Programming Using Approximation Fixpoint Theory [1.295566630218982]
  三項満足関係の概念を導入し、その観点から安定した意味論を定義する。 3次満足度関係は,標準ゲルフォンド・リフシッツレダクトと,AFTの枠組みで定義された安定意味論のギャップを橋渡しすることを示す。
  論文  参考訳（メタデータ） (2021-04-30T07:06:27Z)
• Discrete Reasoning Templates for Natural Language Understanding [79.07883990966077]
  我々は,複雑な質問をより単純な質問に分解する手法を提案する。 事前定義された推論テンプレートの指示に従って最終回答を導出する。 我々のアプローチは、解釈可能でありながら最先端技術と競合し、監督をほとんど必要としないことを示す。
  論文  参考訳（メタデータ） (2021-04-05T18:56:56Z)
• Constraint Monotonicity, Epistemic Splitting and Foundedness Could in General Be Too Strong in Answer Set Programming [32.60523531309687]
  主観的制約の単調性, てんかんの分裂, 起始性の概念は, それぞれ異なる解集合のセマンティクスを比較するために, 主観的基準として考察する。 本稿では, 一般には強すぎる場合があり, それぞれ, 所望の解集合を除外する場合があることを実例で示す。
  論文  参考訳（メタデータ） (2020-10-01T04:03:11Z)

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

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