Towards a general theory of action and time
Artificial Intelligence
Navigation and mapping in large-scale space
AI Magazine
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Qualitative reasoning: modeling and simulation with incomplete knowledge
Qualitative reasoning: modeling and simulation with incomplete knowledge
Advances in the Dempster-Shafer theory of evidence
Fuzzy Sets and Systems - Special issue: fuzzy sets: where do we stand? Where do we go?
Rough mereological foundations for design, analysis, synthesis, and control in distributed systems
Information Sciences: an International Journal - From rough sets to soft computing
Artificial intelligence and mobile robots: case studies of successful robot systems
Artificial intelligence and mobile robots: case studies of successful robot systems
An Behavior-based Robotics
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
Incomplete Information: Rough Set Analysis
Incomplete Information: Rough Set Analysis
Robot Shaping: An Experiment in Behavior Engineering
Robot Shaping: An Experiment in Behavior Engineering
Rough Sets in Knowledge Discovery 2: Applications, Case Studies, and Software Systems
Rough Sets in Knowledge Discovery 2: Applications, Case Studies, and Software Systems
Foundations of Fuzzy Systems
Imprecision in Finite Resolution Spatial Data
Geoinformatica
A Generalized Definition of Rough Approximations Based on Similarity
IEEE Transactions on Knowledge and Data Engineering
COSIT '97 Proceedings of the International Conference on Spatial Information Theory: A Theoretical Basis for GIS
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Repräsentation und Verarbeitung räumlichen Wissens
Repräsentation und Verarbeitung räumlichen Wissens
Atomicity vs. Infinite Divisibility of Space
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
The Mereotopology of Discrete Space
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
A Predication Calculus for Qualitative Spatial Representations
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
On Ontology and Epistemology of Rough Location
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Reasoning about Cardinal Directions Using Grids as Qualitative Geographic Coordinates
COSIT '99 Proceedings of the International Conference on Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science
Decision Rules, Bayes' Rule and Ruogh Sets
RSFDGrC '99 Proceedings of the 7th International Workshop on New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
Level Cut Conditioning Approach to the Necessity Measure Specification
RSFDGrC '99 Proceedings of the 7th International Workshop on New Directions in Rough Sets, Data Mining, and Granular-Soft Computing
Qualitative and Topological Relationships in Spatial Databases
SSD '93 Proceedings of the Third International Symposium on Advances in Spatial Databases
Calculi for Qualitative Spatial Reasoning
AISMC-3 Proceedings of the International Conference AISMC-3 on Artificial Intelligence and Symbolic Mathematical Computation
Toward a geometry of common sense: a semantics and a complete axiomatization of mereotopology
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Fuzzy logic = computing with words
IEEE Transactions on Fuzzy Systems
On Connection Synthesis via Rough Mereology
Fundamenta Informaticae - Qualitative Spatial Reasoning
Hi-index | 0.00 |
Rough Mereology has been proposed as a paradigm for approximate reasoning in complex information systems. Its primitive notion is that of a predicate of rough inclusion which gives for any two entities of discourse the degree in which one of them is a part of the other. Rough Mereology may be regarded as an extension of Rough Set Theory as it proposes to argue in terms of similarity relations induced from a rough inclusion instead of reasoning in terms of more strict indiscernibility relations. Rough Mereology is also a generalization of Mereology i.e. a theory of reasoning based on the notion of a part. Classical languages of mathematics are of two-fold kind: the language of set theory (naive or formal) expressing classes of objects as sets consisting of ”elements”, ”points” etc. suitable for objects perceived as built of ”atoms” and applied to structures perceived as discrete and the language of part relations suitable for e.g. continuous objects like solids, regions, etc. where two objects are related to each other by saying that one of them is a part of the other. Mereological theories for reasoning about complex structures are at the heart of Qualitative Spatial Reasoning. In this paper, we study basic aspects of Rough Mereology in Information Systems. Mereology makes the distinction between entities perceived as individuals (singletons), to which the part predicate may be applied, and entities perceived as distributive classes (sets, lists, general names etc.) of entities. This distinction is made formal and precise within Ontology i.e. Theory of Being based on the primitive notion of the copula is which is also a basic ingredient of theories for Spatial Reasoning. The practical aim of Ontology is to elaborate a system of concepts (notions, names, sets of entities) about which the reasoning is carried out. Therefore, we begin our study with an analysis of a simple rough set-based Ontology (the template ontology) in Information Systems and in this setting we present our approach to Mereology in Information Systems. In this framework we introduce Rough Mereology and we present some ways for defining rough inclusions. We demonstrate applications of Rough Mereology to approximate reasoning taking as the case subject Qualitative Spatial Reasoning. We address here some of its mereo-topological as well as mereo-geometrical aspects.