We propose an approach to approximate reasoning by systems of intelligent agents based on the paradigm of rough mereology. In this approach, the knowledge of each agent is formalized as an information system (a data table) from which similarity measures on objects manipulated by this agent are inferred. These similarity measures are based on rough mereological inclusions which formally render d...

The ability to reason in space is crucial for agents in order to make informed decisions. Current high-level qualitative approaches to spatial reasoning has serious deficiencies in not reflecting the hierarchical nature of spatial data and human spatial cognition. This paper proposes a framework for hierarchical representation and reasoning about topological information, where a continuous mode...

In this paper a mereological theory of frames of reference is presented. It shows that mereology extended by the notion of granularity and approximation is sufficient to provide a theory for location based features of frames of reference. More complex theories, taking also into account orientation and metric properties can be built as extensions of the presented theory. In order to take the hie...

This paper explores the mereology of structural universals, using the structural richness of a non-classical mereology without unique fusions. The paper focuses on a problem posed by David Lewis, who using the example of methane, and assuming classical mereology, argues against any purely mereological theory of structural universals. The problem is that being a methane molecule would have to co...

Abstract There are two main ways in which the notion of mereological fusion is usually defined current literature mereology have been labelled ‘Le?niewski fusion’ and ‘Goodman fusion’. It well-known that, with Minimal Mereology as background theory, every Le?niewski also qualifies a Goodman fusion. However, converse does not hold unless stronger principles assumed. In this paper I will discuss ...