Document Open Access Logo

A Framework for Assessing Inconsistency in Disjunctive Temporal Problems

Authors Jean-François Condotta , Yakoub Salhi

PDF
Thumbnail PDF

File

LIPIcs.TIME.2024.15.pdf
  • Filesize: 0.86 MB
  • 18 pages

Document Identifiers

Author Details

Jean-François Condotta
  • CRIL UMR 8188, Université d'Artois & CNRS, Lens, France
Yakoub Salhi
  • CRIL UMR 8188, Université d'Artois & CNRS, Lens, France

Cite As Get BibTex

Jean-François Condotta and Yakoub Salhi. A Framework for Assessing Inconsistency in Disjunctive Temporal Problems. In 31st International Symposium on Temporal Representation and Reasoning (TIME 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 318, pp. 15:1-15:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/LIPIcs.TIME.2024.15

Abstract

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.

Subject Classification

ACM Subject Classification
  • Computing methodologies → Temporal reasoning
Keywords
  • Disjunctive Temporal Problems
  • Inconsistency Measures
  • Temporal Reasoning

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads
    0
    Metadata Views

References

  1. James F. Allen. Maintaining knowledge about temporal intervals. Commun. ACM, 26(11):832-843, 1983. URL: https://doi.org/10.1145/182.358434.
  2. Meriem Ammoura, Yakoub Salhi, Brahim Oukacha, and Badran Raddaoui. On an MCS-based inconsistency measure. Int. J. Approx. Reasoning, 80:443-459, 2017. URL: https://doi.org/10.1016/J.IJAR.2016.06.004.
  3. Philippe Besnard. Revisiting postulates for inconsistency measures. In Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, pages 383-396. Springer, 2014. URL: https://doi.org/10.1007/978-3-319-11558-0_27.
  4. Glauber De Bona, John Grant, Anthony Hunter, and Sébastien Konieczny. Classifying inconsistency measures using graphs. J. Artif. Intell. Res., 66:937-987, 2019. URL: https://doi.org/10.1613/JAIR.1.11852.
  5. Jean-François Condotta. The augmented interval and rectangle networks. In Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, editors, KR 2000, Principles of Knowledge Representation and Reasoning Proceedings of the Seventh International Conference, Breckenridge, Colorado, USA, April 11-15, 2000, pages 571-579. Morgan Kaufmann, 2000. Google Scholar
  6. Carl Corea, John Grant, and Matthias Thimm. Measuring Inconsistency in Declarative Process Specifications. In Business Process Management - 20th International Conference, BPM 2022, Münster, Germany, September 11-16, 2022, Proceedings, volume 13420 of Lecture Notes in Computer Science, pages 289-306. Springer, 2022. URL: https://doi.org/10.1007/978-3-031-16103-2_20.
  7. Rina Dechter, Itay Meiri, and Judea Pearl. Temporal constraint networks. Artif. Intell., 49(1-3):61-95, 1991. URL: https://doi.org/10.1016/0004-3702(91)90006-6.
  8. John Grant and Anthony Hunter. Measuring the good and the bad in inconsistent information. In IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, pages 2632-2637. IJCAI/AAAI, 2011. URL: https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-438.
  9. John Grant and Francesco Parisi. On measuring inconsistency in graph databases with regular path constraints. Artif. Intell., 335:104197, 2024. URL: https://doi.org/10.1016/J.ARTINT.2024.104197.
  10. Anthony Hunter and Sébastien Konieczny. On the measure of conflicts: Shapley Inconsistency Values. Artif. Intell., 174(14):1007-1026, 2010. URL: https://doi.org/10.1016/J.ARTINT.2010.06.001.
  11. Itay Meiri. Combining qualitative and quantitative constraints in temporal reasoning. Artif. Intell., 87(1-2):343-385, 1996. URL: https://doi.org/10.1016/0004-3702(95)00109-3.
  12. Paul H. Morris, Nicola Muscettola, and Thierry Vidal. Dynamic control of plans with temporal uncertainty. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001, pages 494-502. Morgan Kaufmann, 2001. Google Scholar
  13. Francesco Parisi and John Grant. On measuring inconsistency in definite and indefinite databases with denial constraints. Artificial Intelligence, 318:103884, 2023. URL: https://doi.org/10.1016/J.ARTINT.2023.103884.
  14. Yakoub Salhi. Inconsistency Measurement for Improving Logical Formula Clustering. In Christian Bessiere, editor, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, pages 1891-1897. ijcai.org, 2020. URL: https://doi.org/10.24963/IJCAI.2020/262.
  15. Yakoub Salhi. Inconsistency measurement for paraconsistent inference. In Zhi-Hua Zhou, editor, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021, pages 2033-2039. ijcai.org, 2021. URL: https://doi.org/10.24963/IJCAI.2021/280.
  16. Yakoub Salhi and Michael Sioutis. A Decomposition Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning. In Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023, pages 604-613, 2023. URL: https://doi.org/10.24963/KR.2023/59.
  17. Yakoub Salhi and Michael Sioutis. A Paraconsistency Framework for Inconsistency Handling in Qualitative Spatial and Temporal Reasoning. In ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), volume 372 of Frontiers in Artificial Intelligence and Applications, pages 2049-2056. IOS Press, 2023. URL: https://doi.org/10.3233/FAIA230498.
  18. Kostas Stergiou and Manolis Koubarakis. Backtracking algorithms for disjunctions of temporal constraints. Artif. Intell., 120(1):81-117, 2000. URL: https://doi.org/10.1016/S0004-3702(00)00019-9.
  19. Matthias Thimm. On the evaluation of inconsistency measures. In John Grant and Maria Vanina Martinez, editors, Measuring Inconsistency in Information, volume 73 of Studies in Logic. College Publications, February 2018. Google Scholar
  20. Ioannis Tsamardinos, Thierry Vidal, and Martha E. Pollack. CTP: A new constraint-based formalism for conditional, temporal planning. Constraints An Int. J., 8(4):365-388, 2003. URL: https://doi.org/10.1023/A:1025894003623.
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact