論文の概要: Strong Equivalence in Answer Set Programming with Constraints
- arxiv url: http://arxiv.org/abs/2502.04302v1
- Date: Thu, 06 Feb 2025 18:43:59 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-02-07 14:31:42.464750
- Title: Strong Equivalence in Answer Set Programming with Constraints
- Title（参考訳）: 制約付き解集合プログラミングにおける強い等価性
- Authors: Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Philipp Wanko,
- Abstract要約: 規則の2つのグループは、非公式に言えば、どのような文脈でも同じ意味を持つならば、強く等価であると考えられる。
強い同値性は、制約のあるヘテロ・アンド・ザールの論理におけるそれらの同値性によって正確に特徴づけられることを示す。
本稿では,制約を扱う複数のクリンゴベースの解集合の言語からHere-and-There言語への制約を制約付きで翻訳する。
- 参考スコア（独自算出の注目度）: 8.096489007229774
- License:
- Abstract: We investigate the concept of strong equivalence within the extended framework of Answer Set Programming with constraints. Two groups of rules are considered strongly equivalent if, informally speaking, they have the same meaning in any context. We demonstrate that, under certain assumptions, strong equivalence between rule sets in this extended setting can be precisely characterized by their equivalence in the logic of Here-and-There with constraints. Furthermore, we present a translation from the language of several clingo-based answer set solvers that handle constraints into the language of Here-and-There with constraints. This translation enables us to leverage the logic of Here-and-There to reason about strong equivalence within the context of these solvers. We also explore the computational complexity of determining strong equivalence in this context.
- Abstract（参考訳）: 本稿では,制約付きAnswer Set Programmingの拡張フレームワーク内での強い等価性の概念について検討する。
規則の2つのグループは、非公式に言えば、どのような文脈でも同じ意味を持つならば、強く等価であると考えられる。
我々は、ある仮定の下で、この拡張された設定における規則集合間の強い同値性は、制約付きヘレ・アンド・ザールの論理におけるそれらの同値性によって正確に特徴づけられることを示した。
さらに,制約付きヘレ・アンド・ザレ言語への制約を処理できる複数のクリンゴ型回答セットソルバの言語からの翻訳を提案する。
この変換により、Here-and-Thereの論理を利用して、これらの解の文脈内での強い等価性を推論できる。
この文脈で強い同値性を決定する計算複雑性についても検討する。
関連論文リスト
- A Unified View on Forgetting and Strong Equivalence Notions in Answer
Set Programming [14.342696862884704]
文献からすべての関連概念を捉えることができる新しい相対同値概念を導入する。
次に、プロジェクションと(SP)鍛造の緩和を組み合わせた演算子を導入し、相対化単純化を求める。
論文 参考訳（メタデータ） (2023-12-13T09:05:48Z) - Modeling Hierarchical Reasoning Chains by Linking Discourse Units and
Key Phrases for Reading Comprehension [80.99865844249106]
本稿では,論理的推論の基盤として,対話レベルと単語レベルの両方の文脈を扱う総合グラフネットワーク(HGN)を提案する。
具体的には、ノードレベルの関係とタイプレベルの関係は、推論過程におけるブリッジと解釈できるが、階層的な相互作用機構によってモデル化される。
論文 参考訳（メタデータ） (2023-06-21T07:34:27Z) - Admissibility in Strength-based Argumentation: Complexity and Algorithms
(Extended Version with Proofs) [1.5828697880068698]
我々は、適応性に基づく意味論の強度に基づく論証フレームワーク(StrAF)への適応について研究する。
特に文献で定義された強い許容性は望ましい性質、すなわちDungの基本的な補題を満たさないことを示す。
計算(強弱)拡張に対する擬ブール制約の翻訳を提案する。
論文 参考訳（メタデータ） (2022-07-05T18:42:04Z) - Query Answering with Transitive and Linear-Ordered Data [7.879958190837517]
我々は、フロンティアガード存在規則のような強力な制約言語を含むエンテーメント問題を考察する。
これらの条件のわずかな変化が決定不能を引き起こすことを示す。
論文 参考訳（メタデータ） (2022-02-17T10:00:08Z) - Composable constraints [0.0]
任意の構成可能な制約符号化を用いて、制約付き圏の等価な概念を構築することができることを示す。
並列合成, コンパクト性, 時間対称性など, 対象のカテゴリ構造を付加して制約の整合性を表現する方法を示す。
論文 参考訳（メタデータ） (2021-12-13T17:24:47Z) - An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets [68.8204255655161]
過制約問題における最小限の障害制約を識別する分割・分散型診断アルゴリズム(FastDiag)を提案する。
ヒットセットの競合指向計算とfastdiagを比較し,詳細な性能解析を行う。
論文 参考訳（メタデータ） (2021-02-17T19:55:42Z) - Comment on "Strong Quantum Darwinism and Strong Independence are
Equivalent to Spectrum Broadcast Structure" [62.997667081978825]
条件 (b) の数学的定式化は必要であるが同値性を保証するには不十分であることを示す。
我々は、条件の強化された定式化とともに、単純な反例を提案する(b)。
論文 参考訳（メタデータ） (2021-01-21T16:06:25Z) - Foundations of Reasoning with Uncertainty via Real-valued Logics [70.43924776071616]
我々は、本質的にすべての実数値論理をカバーするためにパラメータ化できる、音と強完全公理化を与える。
文のクラスは非常に豊かであり、各クラスは実数値論理の式の集合に対して可能な実値の集合を記述する。
論文 参考訳（メタデータ） (2020-08-06T02:13:11Z) - An Integer Linear Programming Framework for Mining Constraints from Data [81.60135973848125]
データから制約をマイニングするための一般的なフレームワークを提案する。
特に、構造化された出力予測の推論を整数線形プログラミング(ILP)問題とみなす。
提案手法は,9×9のスドクパズルの解法を学習し,基礎となるルールを提供することなく,例からツリー問題を最小限に分散させることが可能であることを示す。
論文 参考訳（メタデータ） (2020-06-18T20:09:53Z) - VQA-LOL: Visual Question Answering under the Lens of Logic [58.30291671877342]
画像に関する疑問に答えるように訓練された視覚的質問応答システムが,複数の質問の論理的構成に答えられるかどうかを検討する。
本稿では,VQAデータセットをベンチマークとして拡張し,論理的構成や言語的変換を含む質問を行う。
本稿では,論理的結合性を理解するために質問注意と論理意図を用いたLOLモデルと,新しいFr'echet-Compatibility Lossを提案する。
論文 参考訳（メタデータ） (2020-02-19T17:57:46Z) - An ASP semantics for Constraints involving Conditional Aggregates [9.289905977910378]
ハイブリッド・アンサー・セット・プログラミング(ASP)の正式な基礎について詳しく述べる。
制約値や変数を集約する関数で、その基盤となる論理的フレームワークを拡張します。
線形制約を持つ論理プログラムに重きを置いて、いわゆる条件付き線形制約の特定のケースとして、ASP集約がいかに共通であるかを示す。
論文 参考訳（メタデータ） (2020-02-17T12:25:01Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。