On Connection Synthesis via Rough Mereology

Issue title: Qualitative Spatial Reasoning

Article type: Research Article

Authors: Polkowski, Lech

Abstract: Rough mereology is a paradigm for reasoning under uncertainty whose primitive notion is that of being a part to a degree; hence, rough mereology falls in the province of mereology-based theories for reasoning about complex objects. Among mereological theories of objects, theories based on the primitive notion of a connection distinguish themselves by a variety of applications of which we would like to mention the area of Qualitative Spatial Reasoning. In this paper, we define rough mereologies within the realm of mereologies based on the primitive notion of a part and we show that in this framework one may induce notions of connection closely related to initial rough mereologies in the sense that they induce the same notion of a part. We also address the distributed environment proving some results about connection preservation throughout the reasoning system.

Keywords: ontology, mereology, rough mereology, connection, Čech topology

Journal: Fundamenta Informaticae, vol. 46, no. 1-2, pp. 83-96, 2001