Multi-rough Sets, Modal Logics, and a Logical Treatment of Images

Abstract

In this paper, we examine a logical representation of images by means of multi-rough sets. We introduce a level of granularization into a color space and then define approximations of images. Further we extend the idea to conditionals in images, which is expected to give a basis of image indexing and retrieval by images themselves.