A new polynomial-time algorithm for linear programming
Combinatorica
String graphs. II.: Recognizing string graphs is NP-hard
Journal of Combinatorial Theory Series B
A unifying approach to temporal constraint reasoning
Artificial Intelligence
Spatio-temporal composition and indexing for large multimedia applications
Multimedia Systems
Sorites paradox and vague geographies
Fuzzy Sets and Systems - Special issue on Uncertainty in geographic information systems and spatial data
Conceptual Spaces: The Geometry of Thought
Conceptual Spaces: The Geometry of Thought
Fuzzy Sets and Systems: Theory and Applications
Fuzzy Sets and Systems: Theory and Applications
Geoinformatica
A Geometric Theory of Vague Boundaries Based on Supervaluation
COSIT 2001 Proceedings of the International Conference on Spatial Information Theory: Foundations of Geographic Information Science
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis
IJCAI '99 Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence
From the Egg-Yolk to the Scrambled-Egg Theory
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference
SSD '97 Proceedings of the 5th International Symposium on Advances in Spatial Databases
A Design of Topological Predicates for Complex Crisp and Fuzzy Regions
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Computational Properties of Qualitative Spatial Reasoning: First Results
KI '95 Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
Intelligent Mapping of Hyperspace
WI '03 Proceedings of the 2003 IEEE/WIC International Conference on Web Intelligence
Recognizing string graphs in NP
Journal of Computer and System Sciences - STOC 2002
On Topological Consistency and Realization
Constraints
Biomedical ontologies: what part-of is and isn't
Journal of Biomedical Informatics - Special issue: Biomedical ontologies
Generalized region connection calculus
Artificial Intelligence
Neighborhood restrictions in geographic IR
SIGIR '07 Proceedings of the 30th annual international ACM SIGIR conference on Research and development in information retrieval
Reasoning about vague topological information
Proceedings of the sixteenth ACM conference on Conference on information and knowledge management
Fuzzy region connection calculus: Representing vague topological information
International Journal of Approximate Reasoning
Fuzzy region connection calculus: An interpretation based on closeness
International Journal of Approximate Reasoning
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Efficient methods for qualitative spatial reasoning
Journal of Artificial Intelligence Research
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Reasoning about categories in conceptual spaces
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A formal theory for spatial representation and reasoning in biomedical ontologies
Artificial Intelligence in Medicine
Fuzzy description of topological relations I: a unified fuzzy 9-intersection model
ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part III
Fuzzy description of topological relations II: computation methods and examples
ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part III
A fuzzy sets theoretic approach to approximate spatial reasoning
IEEE Transactions on Fuzzy Systems
Finite Satisfiability in Infinite-Valued Łukasiewicz Logic
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Towards spatial reasoning in fuzzy description logics
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
Event Model Learning from Complex Videos using ILP
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Solving conflicts in information merging by a flexible interpretation of atomic propositions
Artificial Intelligence
COSIT'11 Proceedings of the 10th international conference on Spatial information theory
On standard models of fuzzy region connection calculus
International Journal of Approximate Reasoning
Spatio-temporal reasoning by combined topological and directional relations information
International Journal of Artificial Intelligence and Soft Computing
Solving satisfiability in fuzzy logics by mixing CMA-ES
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Hi-index | 0.00 |
Although the region connection calculus (RCC) offers an appealing framework for modelling topological relations, its application in real-world scenarios is hampered when spatial phenomena are affected by vagueness. To cope with this, we present a generalization of the RCC based on fuzzy set theory, and discuss how reasoning tasks such as satisfiability and entailment checking can be cast into linear programming problems. We furthermore reveal that reasoning in our fuzzy RCC is NP-complete, thus preserving the computational complexity of reasoning in the RCC, and we identify an important tractable subfragment. Moreover, we show how reasoning tasks in our fuzzy RCC can also be reduced to reasoning tasks in the original RCC. While this link with the RCC could be exploited in practical reasoning algorithms, we mainly focus on the theoretical consequences. In particular, using this link we establish a close relationship with the Egg-Yolk calculus, and we demonstrate that satisfiable knowledge bases can be realized by fuzzy regions in any dimension.