In Chapter 6 we identified Ĥ8, a maximal tractable subset of RCC-8 that contains all base relations and for which path-consistency is complete for deciding inconsistency. It is, however, not clear whether Ĥ8 is the only such set or whether there are other maximal tractable subsets of RCC-8 that contain all base relations. There are at least two reasons why answering this question is important. First of all, without a complete analysis of tractability there are interesting subsets of RCC-8 for which it is unknown whether reasoning over these sets is tractable or NP-complete. Secondly, if new tractable subsets can be identified, these can be used to further enhance efficiency of reasoning over RCC-8.
CITATION STYLE
A Complete Analysis of Tractability in RCC-8. (2002) (pp. 117–130). https://doi.org/10.1007/3-540-70736-0_7
Mendeley helps you to discover research relevant for your work.