Skip to main navigation Skip to search Skip to main content

Quantifying conflicts for spatial and temporal information

  • Université d'Artois
  • Univ. Poitiers

Research output: Contribution to journalConference articlepeer-review

16 Citations (Scopus)

Abstract

This paper tackles the problem of evaluating the degree of inconsistency in spatial and temporal qualitative reasoning. We first introduce postulates to propose a formal framework for measuring inconsistency in this context. Then, we provide two inconsistency measures that can be useful in various AI applications. The first one is based on the number of constraints that we need to relax to get a consistent qualitative constraint network. The second inconsistency measure is based on variable restrictions to restore consistency. It is defined from the minimum number of variables that we need to ignore to recover consistency. We show that our proposed measures satisfy required postulates and other appropriate properties. Finally, we discuss the impact of our inconsistency measures on belief merging in qualitative reasoning.

Original languageEnglish
Pages (from-to)443-452
Number of pages10
JournalProceedings of the International Conference on Knowledge Representation and Reasoning
Publication statusPublished - 1 Jan 2016
Externally publishedYes
Event15th International Conference on Principles of Knowledge Representation and Reasoning, KR 2016 - Cape Town, South Africa
Duration: 25 Apr 201629 Apr 2016

Fingerprint

Dive into the research topics of 'Quantifying conflicts for spatial and temporal information'. Together they form a unique fingerprint.

Cite this