Space-contained conflict revision, for geographic information

Using qualitative reasoning with geographic information, contrarily, for instance, with robotics, looks not only fastidious (i.e.: encoding knowledge Propositional Logics PL), but appears to be computational complex, and not tractable at all, most of the time. However, knowledge fusion or revision, is a common operation performed when users merge several different data sets in a unique decision making process, without much support. Introducing logics would be a great improvement, and we propose in this paper, means for deciding –a priori- if one application can benefit from a complete revision, under only the assumption of a conjecture that we name the “containment conjecture”, which limits the size of the minimal conflicts to revise. We demonstrate that this conjecture brings us the interesting computational property of performing a notprovable but global, revision, made of many local revisions, at a tractable size. We illustrate this approach on an application.

• Type: Conference
• Year: 2007
• Where: AGILE
• Authors: Omar Doukari, Robert Jeansoulin
• Keywords: AGILE 2007, Decision Making Process, Knowledge Propositional Logics, Qualitative Reasoning