2026-08-20T03:07:00Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:21222 2024-10-22T05:39:58Z ddc:004 open_access

A Framework for Assessing Inconsistency in Disjunctive Temporal Problems Condotta, Jean-François Salhi, Yakoub Disjunctive Temporal Problems Inconsistency Measures Temporal Reasoning Inconsistency measures serve to quantify the level of contradiction present within a knowledge base. They can be used for both consistency restoration and information extraction. In this article, we specifically explore inconsistency measures applicable to Disjunctive Temporal Problems (DTPs). We present a framework that extends traditional propositional logic approaches to DTPs, incorporating both new postulates and adaptations of existing ones. We identify and elaborate on various properties that establish relationships among these postulates. Furthermore, we introduce multiple inconsistency measures, adopting both a conventional approach that particularly leverages Minimal Inconsistent Subsets and a DTP-specific strategy based on constraint relaxation. Finally, we show the applicability of the inconsistency measures in DTPs through two real-world applications. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Jean-François Condotta and Yakoub Salhi 2024 Is Part Of LIPIcs, Volume 318, 31st International Symposium on Temporal Representation and Reasoning (TIME 2024) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.TIME.2024.15 urn:nbn:de:0030-drops-212223 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2024.15 eng https://creativecommons.org/licenses/by/4.0/legalcode