Space-contained conflict revision, for geographic information
<|reference_start|>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 not-provable but global, revision, made of many local revisions, at a tractable size. We illustrate this approach on an application.<|reference_end|>
@article{doukari2007space-contained,
    title={Space-contained conflict revision, for geographic information},
    author={Omar Doukari (LSIS), Robert Jeansoulin (IGM-LabInfo)},
    journal={Proc. of 10th AGILE International Conference on Geographic
  Information Science, AGILE 2007. (07/05/2007) 1-14},
    year={2007},
    archivePrefix={arXiv},
    eprint={cs/0703130},
    primaryClass={cs.AI}
}