論文の概要: 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のコントリビューションは、修復ベースのセマンティクスの下で単一のコンフリクト/リカバリとクエリエンタテインメントを生成するタスクに関する、データ複雑性の分析です。

関連論文リスト

• Counterfactual-Consistency Prompting for Relative Temporal Understanding in Large Language Models [24.586475741345616]
  本稿では, 大規模言語モデル(LLM)における時間的不整合の問題に対処し, 新たな対実的プロンプト手法を提案する。 提案手法は, 対実的な質問を生成し, 集合的制約を強制し, モデルの一貫性を高める。 提案手法を複数のデータセット上で評価し、明示的で暗黙的なイベントのイベント順序付けと時間的コモンセンス理解の大幅な改善を実証した。
  論文  参考訳（メタデータ） (2025-02-17T04:37:07Z)
• Temporally Grounding Instructional Diagrams in Unconstrained Videos [51.85805768507356]
  本稿では,ビデオ中の命令図中のクエリ列を同時にローカライズするという課題について検討する。 既存のほとんどのメソッドは、クエリの固有の構造を無視しながら、一度に1つのクエリをグラウンドすることに焦点を当てている。 ステップダイアグラムの視覚的特徴を包括的にペアリングして構築した複合クエリを提案する。 ステップ図のグラウンド化のためのIAWデータセットと自然言語クエリのグラウンド化のためのYouCook2ベンチマークに対するアプローチの有効性を示す。
  論文  参考訳（メタデータ） (2024-07-16T05:44:30Z)
• 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)
• 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)

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

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