On Connection Synthesis via Rough Mereology

  • Authors:

  • Lech Polkowski

  • Affiliations:

  • -

  • Venue:
  • Fundamenta Informaticae - Qualitative Spatial Reasoning
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

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.