論文の概要: Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
- arxiv url: http://arxiv.org/abs/2605.04947v1
- Date: Wed, 06 May 2026 14:14:28 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-07 18:41:07.86326
- Title: Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
- Title（参考訳）: ネストされたアプリケーション条件による変換ルールの矛盾するエッセンス -- 長期バージョン
- Abstract要約: 衝突と依存性の分析は、(グラフ)変換ルールの潜在的な相互作用の概要を提供する重要な静的解析ツールである。
両ルール間の相互作用をとらえる(象徴的な)矛盾の本質を導入します。
変換ペアが並列依存であることは,シンボル的競合の本質を組み込むことができ,シンボル的競合の本質とアプリケーション条件との変換ルールの初期矛盾を関連付けることができる場合に限る。
- 参考スコア（独自算出の注目度）: 39.907948557100895
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Conflict and dependency analysis is an important static analysis tool that provides an overview of the potential interactions of (graph) transformation rules. This analysis is based on critical pairs and initial conflicts, which represent conflicting transformations in a minimal context. However, the crucial information about a conflicting transformation pair is contained in much smaller structures, called disabling/conflict essences in existing research. Recently, we introduced disabling essences for rules with application conditions which contain the information on how an application condition can be violated by another rule. In this paper, we extend the notion of disabling essences to support not only application conditions in Alternating Quantifier Normal Form, but also arbitrary nested conditions. We introduce (symbolic) conflict essences that are constructed from disabling essences and which capture the interaction between two rules. We show that a transformation pair is parallel dependent if and only if a symbolic conflict essence can be embedded into it and relate symbolic conflict essences to initial conflicts for transformation rules with application conditions. We present our results for adhesive HLR categories, which includes several types of graph-like structures.
- Abstract（参考訳）: 衝突と依存性の分析は、(グラフ)変換ルールの潜在的な相互作用の概要を提供する重要な静的解析ツールである。
この分析は、最小限の文脈における矛盾する変換を表す臨界対と初期衝突に基づいている。
しかし、矛盾する変換ペアに関する決定的な情報は、既存の研究において無効/衝突の本質と呼ばれる、はるかに小さな構造に含まれている。
近年,適用条件が他のルールに違反する可能性があるという情報を含む,適用条件付きルールの無効な基本概念を導入している。
本稿では,代用量子化正規形における適用条件だけでなく,任意のネスト条件もサポートするために,無効な本質の概念を拡張した。
両ルール間の相互作用をとらえる(象徴的な)矛盾の本質を導入します。
変換ペアが並列依存であることは,シンボル的競合の本質を組み込むことができ,シンボル的競合の本質とアプリケーション条件との変換ルールの初期矛盾を関連付けることができる場合に限る。
本研究は,いくつかのグラフ構造を含む接着性HLRカテゴリについて検討した。
関連論文リスト
- When Specifications Conflict: A Symmetry-Based Framework for Measuring LLM Preferences [3.046191671479774]
大規模言語モデル(LLM)は、複数の情報ソースを統合するためにますます必要となる。
矛盾する仕様の下でモデル嗜好を研究するための制御された実験フレームワークを提案する。
論文 参考訳（メタデータ） (2026-07-30T15:42:32Z) - A Mathematical Conflict Framework for Contextual Data Modulation [0.0]
提案した構造は、紛争を局所的、指向的、文脈に敏感な量として扱う。
このフレームワークは、様々な種類の問題に適応可能な一般的な構造として定義される。
論文 参考訳（メタデータ） (2026-06-01T15:30:43Z) - To Fuse or to Drop? Dual-Path Learning for Resolving Modality Conflicts in Multimodal Emotion Recognition [87.22988227382329]
マルチモーダル感情認識(MER)は、テキスト、音声、視覚を組み合わせることで恩恵を受けるが、標準的な融合は、モダリティが相反する場合に失敗することが多い。
我々は,いつフューズするか,いつモダリティを落とすのかを学習する統合フレームワークであるDual-Path Conflict Resolution (DCR)を提案する。
論文 参考訳（メタデータ） (2026-05-06T13:11:33Z) - Inconsistent Databases and Argumentation Frameworks with Collective Attacks [10.556775730089377]
不整合データベースに対するサブセット-最大修復の関連性は近年注目されている。
本稿では,整合性制約にデニアル制約やローカル・アズビュー・ジェネレーションの依存関係を含む場合の新たな接続を確立することで,この領域に寄与する。
論文 参考訳（メタデータ） (2026-05-05T16:38:31Z) - Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version) [0.0]
この論文は、ダイアド・デオン論理のためのハンソン・ルイススタイルの選好意味論を拡張した。
非単調な推論機構により、新しい、潜在的に矛盾する情報が入ってくると、事前に導かれた義務が取り下げられる。
論文 参考訳（メタデータ） (2026-04-28T11:04:26Z) - Diagnosing Knowledge Conflict in Multimodal Long-Chain Reasoning [78.86309644343295]
長い連鎖推論におけるマルチモーダルな大言語モデル(MLLM)は、異なる知識源が矛盾する信号を提供するときにしばしば失敗する。
我々は、これらの失敗を知識の衝突という統一概念の下で形式化し、入力レベルの客観的衝突とプロセスレベルの効果的な衝突を区別する。
本研究は,知識衝突下でのマルチモーダル推論のメカニズムを考察し,長CoT障害の診断と制御を可能にする。
論文 参考訳（メタデータ） (2026-02-16T07:10:44Z) - When Does Context Help? Error Dynamics of Contextual Information in Large Language Models [64.88201012057822]
大規模言語モデルにおける任意の文脈情報の影響を分析するための統合理論フレームワークを提案する。
本分析は,出力誤差ダイナミクスによる文脈的影響を特徴付ける。
ICL、検索拡張生成、メモリ進化に関する実験は、我々の理論を検証し、原則化された文脈選択戦略を動機づける。
論文 参考訳（メタデータ） (2026-02-09T05:58:41Z) - When Anomalies Depend on Context: Learning Conditional Compatibility for Anomaly Detection [15.88746061477275]
異常検出はしばしば、異常が観測の本質的な性質であり、文脈に依存しないという仮定の下で定式化される。
この仮定は、同じオブジェクトやアクションが正常である場合や、遅延したコンテキスト要因によって異常な場合など、現実世界の多くの設定で分解される。
従来,文脈に依存した異常として定義され,視覚領域で機能的に機能するアンフコンテクスチュアルな異常検出法について検討した。
論文 参考訳（メタデータ） (2026-01-30T11:48:20Z) - A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version) [13.706331473063882]
本稿では,命題ベースにおける不整合の分析と処理を行うフレームワークを提案する。
最小整合関係(MIR)と最大整合関係(MCR)の2つの双対概念を提案する。
論文 参考訳（メタデータ） (2024-12-16T15:22:10Z) - New Rules for Causal Identification with Background Knowledge [59.733125324672656]
オープンな問題に対する新たな視点を提供するBKを導入するための2つの新しいルールを提案する。
これらのルールは、観測データによる因果効果のセットを決定するなど、典型的な因果関係のタスクに適用可能であることを示す。
論文 参考訳（メタデータ） (2024-07-21T20:21:21Z) - Equivariant Disentangled Transformation for Domain Generalization under
Combination Shift [91.38796390449504]
ドメインとラベルの組み合わせは、トレーニング中に観察されるのではなく、テスト環境に現れる。
我々は、同型の概念、同値性、および整合性の定義に基づく結合シフト問題の一意的な定式化を提供する。
論文 参考訳（メタデータ） (2022-08-03T12:31:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。