Fugu-MT 論文翻訳(概要): Inconsistency Handling in DatalogMTL

論文の概要: Inconsistency Handling in DatalogMTL

arxiv url: http://arxiv.org/abs/2505.10394v1
Date: Thu, 15 May 2025 15:17:09 GMT
ステータス: 翻訳完了
システム内更新日: 2025-05-16 22:29:06.378876
Title: Inconsistency Handling in DatalogMTL
Title（参考訳）: DatalogMTLにおける不整合処理
Authors: Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki,
Abstract要約: 計量時間演算子を用いたデータログの拡張であるDatalogMTLにおける不整合処理の問題について検討する。私たちの最初の貢献は、紛争(矛盾の最小説明)と修復(一貫性の回復可能な方法)の関連概念の定義である。第2のコントリビューションは、修復ベースのセマンティクスの下で単一のコンフリクト/リカバリとクエリエンタテインメントを生成するタスクに関する、データ複雑性の分析です。
参考スコア（独自算出の注目度）: 5.222978725954348
License: http://creativecommons.org/licenses/by/4.0/
Abstract: In this paper, we explore the issue of inconsistency handling in DatalogMTL, an extension of Datalog with metric temporal operators. Since facts are associated with time intervals, there are different manners to restore consistency when they contradict the rules, such as removing facts or modifying their time intervals. Our first contribution is the definition of relevant notions of conflicts (minimal explanations for inconsistency) and repairs (possible ways of restoring consistency) for this setting and the study of the properties of these notions and the associated inconsistency-tolerant semantics. Our second contribution is a data complexity analysis of the tasks of generating a single conflict / repair and query entailment under repair-based semantics.
Abstract（参考訳）: 本稿では,計量時間演算子を用いたデータログの拡張であるDatalogMTLにおける不整合処理の問題について検討する。事実は時間間隔に関連付けられているため、事実の削除や時間間隔の変更など、規則の矛盾時に一貫性を回復する方法が異なる。私たちの最初の貢献は、この設定に対する関連する矛盾(矛盾の最小説明)と修復(一貫性の回復の可能な方法)の定義と、これらの概念の性質と関連する矛盾に耐性のある意味論の研究である。第2のコントリビューションは、修復ベースのセマンティクスの下で単一のコンフリクト/リカバリとクエリエンタテインメントを生成するタスクに関する、データ複雑性の分析です。

関連論文リスト

Respecting Temporal-Causal Consistency: Entity-Event Knowledge Graphs for Retrieval-Augmented Generation [69.45495166424642]
我々は,物語文書における時間的,因果的,文字的整合性を理解するために,頑健で差別的なQAベンチマークを開発する。次に、バイナリマッピングでリンクされたエンティティとイベントのサブグラフを分離したまま保持するデュアルグラフフレームワークであるEntity-Event RAG(E2RAG)を紹介します。 ChronoQA全体で、我々のアプローチは最先端の非構造化およびKGベースのRAGベースラインよりも優れており、因果一貫性クエリや文字整合性クエリが顕著である。
論文参考訳（メタデータ） (2025-06-06T10:07:21Z)
Introducing Verification Task of Set Consistency with Set-Consistency Energy Networks [4.545178162750511]
自然言語推論の拡張である集合整合性検証(NLI)の課題について紹介する。提案するSC-Energy(Set-Consistency Energy Network)は,コントラスト・ロス・フレームワークを用いて文集合間の互換性を学習する新しいモデルである。我々のアプローチは、矛盾を効率的に検証し、論理的矛盾の原因となる特定の言明をピンポイントするだけでなく、既存の手法を著しく上回る。
論文参考訳（メタデータ） (2025-03-12T05:11:11Z)
Counterfactual-Consistency Prompting for Relative Temporal Understanding in Large Language Models [24.586475741345616]
本稿では, 大規模言語モデル(LLM)における時間的不整合の問題に対処し, 新たな対実的プロンプト手法を提案する。提案手法は, 対実的な質問を生成し, 集合的制約を強制し, モデルの一貫性を高める。提案手法を複数のデータセット上で評価し、明示的で暗黙的なイベントのイベント順序付けと時間的コモンセンス理解の大幅な改善を実証した。
論文参考訳（メタデータ） (2025-02-17T04:37:07Z)
A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version) [13.706331473063882]
本稿では,命題ベースにおける不整合の分析と処理を行うフレームワークを提案する。最小整合関係(MIR)と最大整合関係(MCR)の2つの双対概念を提案する。
論文参考訳（メタデータ） (2024-12-16T15:22:10Z)
Temporally Grounding Instructional Diagrams in Unconstrained Videos [51.85805768507356]
本稿では,ビデオ中の命令図中のクエリ列を同時にローカライズするという課題について検討する。既存のほとんどのメソッドは、クエリの固有の構造を無視しながら、一度に1つのクエリをグラウンドすることに焦点を当てている。ステップダイアグラムの視覚的特徴を包括的にペアリングして構築した複合クエリを提案する。ステップ図のグラウンド化のためのIAWデータセットと自然言語クエリのグラウンド化のためのYouCook2ベンチマークに対するアプローチの有効性を示す。
論文参考訳（メタデータ） (2024-07-16T05:44:30Z)
DAGnosis: Localized Identification of Data Inconsistencies using Structures [73.39285449012255]
機械学習モデルを確実に使用するためには、デプロイメント時のデータの不整合の特定と適切な処理が不可欠である。我々は,有向非巡回グラフ(DAG)を用いて,トレーニングセットの特徴分布と非依存性を構造として符号化する。我々の手法はDAGnosisと呼ばれ、これらの構造的相互作用を利用して、価値があり洞察に富んだデータ中心の結論をもたらす。
論文参考訳（メタデータ） (2024-02-26T11:29:16Z)
TIMELINE: Exhaustive Annotation of Temporal Relations Supporting the Automatic Ordering of Events in News Articles [4.314956204483074]
本稿では,どの時間的関係にアノテートすべきかに基づいて,その基準を明確に定義する新たなアノテーション手法を提案する。また、プロセスを自動化する時間的関係(長距離関係を含む)に注釈を付ける方法も提案する。その結果、新しいデータセットであるTIMELINEコーパスが得られ、アノテーション間の合意が改善された。
論文参考訳（メタデータ） (2023-10-26T22:23:38Z)
Probabilistic Learning of Multivariate Time Series with Temporal Irregularity [21.361823581838355]
実世界の時系列はしばしば、一様間隔や不整合変数を含む時間的不規則に悩まされる。本稿では,変数の連立分布を任意の連続点で捉えながら,時間的不規則性をモデル化するエンドツーエンドフレームワークを提案する。
論文参考訳（メタデータ） (2023-06-15T14:08:48Z)
More than Classification: A Unified Framework for Event Temporal Relation Extraction [61.44799147458621]
イベント時間関係抽出(ETRE)は通常、マルチラベル分類タスクとして定式化される。イベントの開始点と終了点を使ってすべての関係を解釈できることを観察する。本稿では,時間関係を時間点の論理的表現に変換するイベント時間関係抽出フレームワークを提案する。
論文参考訳（メタデータ） (2023-05-28T02:09:08Z)
Conformance Checking with Uncertainty via SMT (Extended Version) [66.58864135810981]
データ認識参照プロセスに対する不確実なログの適合性を確認する方法を示す。我々のアプローチはモジュラーであり、異なるタイプの不確実性に均質に適合する。本研究は,概念実証によるアプローチの正しさと実現可能性を示す。
論文参考訳（メタデータ） (2022-06-15T11:39:45Z)
Measuring Inconsistency in Declarative Process Specifications [8.048412266667176]
古典論理学の既存の矛盾度尺度は、一般には意味のある矛盾度評価を提供することができない。不整合測定の枠組みとして,新たにパラ一貫性セマンティクスを提案する。本稿では,これらの手法を宣言的プロセスモデルに適用し,導入したアプローチの計算複雑性について考察する。
論文参考訳（メタデータ） (2022-06-14T18:08:49Z)
Competency Problems: On Finding and Removing Artifacts in Language Data [50.09608320112584]
複雑な言語理解タスクでは、すべての単純な特徴相関が突発的であると論じる。人間バイアスを考慮したコンピテンシー問題に対するデータ作成の難しさを理論的に分析します。
論文参考訳（メタデータ） (2021-04-17T21:34:10Z)

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