Inconsistency Handling in DatalogMTL

• URL: http://arxiv.org/abs/2505.10394v1
• Date: Thu, 15 May 2025 15:17:09 GMT
• Title: Inconsistency Handling in DatalogMTL
• Authors: Meghyn Bienvenu, Camille Bourgaux, Atefe Khodadaditaghanaki,
• Abstract summary: We explore the issue of inconsistency handling in DatalogMTL, an extension of Datalog with metric temporal operators.<n>Our first contribution is the definition of relevant notions of conflicts (minimal explanations for inconsistency) and repairs (possible ways of restoring consistency)<n>Our second contribution is a data complexity analysis of the tasks of generating a single conflict / repair and query entailment under repair-based semantics.
• Score: 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.

Related papers

• Respecting Temporal-Causal Consistency: Entity-Event Knowledge Graphs for Retrieval-Augmented Generation [69.45495166424642]
  We develop a robust and discriminative QA benchmark to measure temporal, causal, and character consistency understanding in narrative documents.<n>We then introduce Entity-Event RAG (E2RAG), a dual-graph framework that keeps separate entity and event subgraphs linked by a bipartite mapping.<n>Across ChronoQA, our approach outperforms state-of-the-art unstructured and KG-based RAG baselines, with notable gains on causal and character consistency queries.
  arXiv  Detail & Related papers  (2025-06-06T10:07:21Z)
• Introducing Verification Task of Set Consistency with Set-Consistency Energy Networks [4.545178162750511]
  We introduce the task of set-consistency verification, an extension of natural language inference (NLI)<n>We present the Set-Consistency Energy Network (SC-Energy), a novel model that employs a contrastive loss framework to learn the compatibility among a collection of statements.<n>Our approach not only efficiently verifies inconsistencies and pinpoints the specific statements responsible for logical contradictions, but also significantly outperforms existing methods.
  arXiv  Detail & Related papers  (2025-03-12T05:11:11Z)
• Counterfactual-Consistency Prompting for Relative Temporal Understanding in Large Language Models [24.586475741345616]
  We tackle the issue of temporal inconsistency in large language models (LLMs) by proposing a novel counterfactual prompting approach.<n>Our method generates counterfactual questions and enforces collective constraints, enhancing the model's consistency.<n>We evaluate our method on multiple datasets, demonstrating significant improvements in event ordering for explicit and implicit events and temporal commonsense understanding.
  arXiv  Detail & Related papers  (2025-02-17T04:37:07Z)
• A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version) [13.706331473063882]
  We introduce a framework for analyzing and handling inconsistencies in propositional bases.<n>We propose two dual concepts: Minimal Inconsistency Relation (MIR) and Maximal Consistency Relation (MCR)
  arXiv  Detail & Related papers  (2024-12-16T15:22:10Z)
• Temporally Grounding Instructional Diagrams in Unconstrained Videos [51.85805768507356]
  We study the challenging problem of simultaneously localizing a sequence of queries in instructional diagrams in a video.<n>Most existing methods focus on grounding one query at a time, ignoring the inherent structures among queries.<n>We propose composite queries constructed by exhaustively pairing up the visual content features of the step diagrams.<n>We demonstrate the effectiveness of our approach on the IAW dataset for grounding step diagrams and the YouCook2 benchmark for grounding natural language queries.
  arXiv  Detail & Related papers  (2024-07-16T05:44:30Z)
• DAGnosis: Localized Identification of Data Inconsistencies using Structures [73.39285449012255]
  Identification and appropriate handling of inconsistencies in data at deployment time is crucial to reliably use machine learning models. We use directed acyclic graphs (DAGs) to encode the training set's features probability distribution and independencies as a structure. Our method, called DAGnosis, leverages these structural interactions to bring valuable and insightful data-centric conclusions.
  arXiv  Detail & Related papers  (2024-02-26T11:29:16Z)
• TIMELINE: Exhaustive Annotation of Temporal Relations Supporting the Automatic Ordering of Events in News Articles [4.314956204483074]
  This paper presents a new annotation scheme that clearly defines the criteria based on which temporal relations should be annotated. We also propose a method for annotating all temporal relations -- including long-distance ones -- which automates the process. The result is a new dataset, the TIMELINE corpus, in which improved inter-annotator agreement was obtained.
  arXiv  Detail & Related papers  (2023-10-26T22:23:38Z)
• Probabilistic Learning of Multivariate Time Series with Temporal Irregularity [21.361823581838355]
  Real-world time series often suffer from temporal irregularities, including nonuniform intervals and misaligned variables.<n>We propose an end-to-end framework that models temporal irregularities while capturing the joint distribution of variables at arbitrary continuous-time points.
  arXiv  Detail & Related papers  (2023-06-15T14:08:48Z)
• More than Classification: A Unified Framework for Event Temporal Relation Extraction [61.44799147458621]
  Event temporal relation extraction(ETRE) is usually formulated as a multi-label classification task. We observe that all relations can be interpreted using the start and end time points of events. We propose a unified event temporal relation extraction framework, which transforms temporal relations into logical expressions of time points.
  arXiv  Detail & Related papers  (2023-05-28T02:09:08Z)
• Conformance Checking with Uncertainty via SMT (Extended Version) [66.58864135810981]
  We show how to solve the problem of checking conformance of uncertain logs against data-aware reference processes. Our approach is modular, in that it homogeneously accommodates for different types of uncertainty. We show the correctness of our approach and witness feasibility through a proof-of-concept implementation.
  arXiv  Detail & Related papers  (2022-06-15T11:39:45Z)
• Measuring Inconsistency in Declarative Process Specifications [8.048412266667176]
  existing inconsistency measures for classical logic cannot provide a meaningful assessment of inconsistency in general. We propose a novel paraconsistent semantics as a framework for inconsistency measurement. We show how these measures can be applied to declarative process models and investigate the computational complexity of the introduced approach.
  arXiv  Detail & Related papers  (2022-06-14T18:08:49Z)
• Competency Problems: On Finding and Removing Artifacts in Language Data [50.09608320112584]
  We argue that for complex language understanding tasks, all simple feature correlations are spurious. We theoretically analyze the difficulty of creating data for competency problems when human bias is taken into account.
  arXiv  Detail & Related papers  (2021-04-17T21:34:10Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.