Near sets are disjoint sets that resemble each other. Resemblance between disjoint sets occurs whenever there are observable similarities between the objects in the sets. Similarity is determined by comparing lists of object feature values. Each list of feature values defines an object's description. Comparison of object descriptions provides a basis for determining the extent that disjoint sets resemble each other. Objects that are perceived as similar based on their descriptions are grouped together. These groups of similar objects can provide information and reveal patterns about objects of interest in the disjoint sets. For example, collections of digital images viewed as disjoint sets of points provide a rich hunting ground for near sets.

Near set theory provides methods that can be used to extract resemblance information from objects contained in disjoint sets, i.e., it provides a formal basis for the observation, comparison, and classification of objects. The discovery of near sets begins with choosing the appropriate method to describe observed objects. This is accomplished by the selection of probe functions representing observable object features. A probe function is a mapping from an object to a real number representing a feature value. For example, when comparing fruit such as apples, the redness of an apple (observed object) can be described by a probe function representing colour, and the output of the probe function is a number representing the degree of redness (or whatever colour apple you prefer to eat). Probe functions provide a basis for describing and discerning affinities between objects as well as between groups of similar objects. Objects that have, in some degree, affinities are considered near each other. Similarly, groups of objects (i.e. sets) that have, in some degree, affinities are also considered near each other.

Near sets offer an ideal framework for solving problems based on human perception that arise in areas such as image processing, computer vision as well as engineering and science problems. In near set theory, perception is a combination of the view of perception in psychophysics with a view of perception found in Merleau-Ponty's work. In the context of psychophysics, perception of an object (i.e., in effect, our knowledge about an object) depends on signal values gathered by our senses. In this view of perception, our senses are likened to probe functions by considering them as mappings of stimuli to sensations that are a source of values assimilated by the mind. A human sense modelled as a probe measures observable physical characteristics of objects in our environment. The sensed physical characteristics of an object are identified with object features. In Merleau-Ponty's view, an object is perceived to the extent that it can be described. In other words, object description goes hand-in-hand with object perception. It is our mind that identifies relationships between object descriptions to form perceptions of sensed objects. It is also the case that near set theory has been proven to be quite successful in finding solutions to perceptual problems such as measuring image correspondence and segmentation evaluation.

A partition of a set

History

edit
 
Example of a rough set

It has been observed that mathematical topics emerge and evolve through interactions among many researchers. This was the case with the discovery of near sets. Work on a perceptual basis for near sets began in 2002, motivated by digital image analysis. It was inspired by a study of the perception of nearness of familiar objects carried out by Z. Pawlak and J.F. Peters [1]. In this context, nearness is interpreted to mean closely corresponding to or resembling an original. This collaboration was important in paving the way toward a description-based approach to exploring the nearness of sets.

Excitement grew after 2002, when it became apparent that it was possible to introduce measures of nearness based on similarities between classes contained in coverings of disjoint sets (e.g., this is possible if we define coverings of sets representing digital images and then look for similarities between the images such as shades of green in one landscape that resemble one or more shades of green in another landscape). In this context the term similarity means resemblance between two or more individual objects or sets of objects and almost equal patterns in compared items. Collaboration between J.F. Peters, A. Skowron, and J. Stepaniuk led to a formal basis for the nearness of objects considered in the context of proximity spaces[2]. Near sets and an approach to defining resemblance between sets was introduced by J.F. Peters in [3] [4].

 
Example of near sets

Near set theory and its applications grew out of a generalization of the approach to the classification of objects proposed by Z. Pawlak during his work on rough sets in the early 1980s, and E. Orłowska's work on approximation spaces. Briefly, a rough set can be described as follows. Consider a non-empty finite set of objects labelled  . The set   can be partitioned into cells (referred to as classes in near set theory) by grouping together objects that have similar descriptions (using one or more probe functions). A set   is considered rough when it cannot be formed completely by the union of classes from the partition of  . The set   is considered rough inasmuch as   cannot be fully described by probe functions selected to describe the individual objects of  .

Near sets are considered a generalization of rough sets, since it has been shown that every rough set is a near set but not every near set is a rough set. Near sets grew out of the idea that two or more rough sets can share objects with matching descriptions if they both contain objects belonging to the same class from the partition of  . When this occurs, the sets are considered near each other with respect to the classes contained in the partition.

Definitions

edit

Definition 1: Object

An object is anything that has its origin in the physical world.

An identifying characteristic of an object is that it must have some quantifiable features. The term feature is used in S. Watanabe's sense of the word, i.e., a feature corresponds to an observable property of physical objects. Each feature has a 1-to-many relationship to real-valued functions called probe functions representing the feature. For each feature (such as colour) one or more probe functions can be introduced to represent the feature (such as grayscale, or RGB values). Objects and sets of probe functions form the basis of near set theory and are sometimes referred to as perceptual objects due to the focus on assigning values to perceived object features. A non-empty, finite set of objects is denoted by  .

Definition 2: Probe Function

A probe function is a real-valued function,  , representing a feature of an object.

Examples of probe functions are the colour, size, texture, edge-orientation, or weight of an object. Probe functions are used to describe an object to determine the characteristics and perceptual similarity of objects. Perceptual information is always presented with respect to probe functions just as our senses define our perception of the world. For example, our ability to view light in the visible spectrum rather than infra red or microwaves spectra defines our perception of the world just as the selection of probe functions constrains the amount of perceptual information available for feature extraction from a set of objects. The set of all probe functions is denoted by  , and a set of specific probe functions for a given application is denoted by  

Definition 3: Perceptual System

A perceptual system   consists of a non-empty set   together with a set   of real-valued functions.

The notion of a perceptual system admits a wide variety of different interpretations that result from the selection of sample objects contained in a particular sample space  . A recent example of a perceptual system is given by D. Hall [5]. Two other examples of perceptual systems are: a set of microscope images together with a set of image processing probe functions, or a set of results from a web query together with some measures (probe functions) indicating, e.g., relevancy of the results.

Definition 4: Object Description

Consider a perceptual system  . The description of an object   is given by the vector

 

where   is the length of the vector  , and each   is a probe function belonging to the set  .

Definition 5: Perceptual Indiscernibility Relation

Let   be a perceptual system. For every   the perceptual indiscernibility relation   is defined as follows:

 

where   represents the   norm. This is a refinement of the original indiscernibility relation given by Pawlak in 1981. Using the perceptual indiscernibility relation, objects with matching descriptions can be grouped to form classes called elementary sets (also called an equivalence class) defined by

 

Similarly, a quotient set is the set of all elementary sets defined as

 

Definition 6: Perceptual Tolerance Relation

When dealing with perceptual objects (especially, components in images), it is sometimes necessary to relax the equivalence condition of Defn. 5 to facilitate observation of associations in a perceptual system. This variation is called a perceptual tolerance relation. Let   be a perceptual system and let  . For every   the tolerance relation   is defined as follows:

 

For notational convenience, this relation can be written   instead of  with the understanding that   is inherent to the definition of the tolerance [6].

Tolerance classes are defined in terms of preclasses. Let   denote that   is a perception-based preclass. Given  , then for all  , i.e.,

 

Let   denote a tolerance class, which, by definition, is a maximal preclass. For  , we also use the notation   to denote a tolerance class containing  . Note,   covers   instead of partitioning   because an object can belong to more than one class. In addition, each pair of objects   in   must satisfy the condition  . Next, a covering of   defined by   is the union of all tolerance classes in the covering.

Notice that the tolerance relation   is a generalization of the indiscernibility relation given in Defn. 5 (obtained by setting  ).

Definition 7: Weak Nearness Relation

Let   be a perceptual system and let  . A set   is weakly near to a set   (denoted  ) within the perceptual system   iff there are   and   and there is   such that  . Notice that the image given in the lead section is actually an example of sets that are weakly near each other (with  ).

Definition 8: Nearness Relation

Let   be perceptual system and let  . A set   is near to a set   (denoted  ) within the perceptual system   iff there are   and   and there are   such that  ,   and  .

 
Examples of Defn.'s 7 & 8: (a) Example of Defn. 7, (b) example of  , (c) example of  , and (d) example of   showing (together with (b) and (c)) that sets   and   are near to each other according to Defn. 8.

Examples

edit

Simple Example

The following simple example highlights the need for a tolerance relation as well as demonstrates the construction of tolerance classes from real data. Consider the 20 objects in the table below with  .

Sample Perceptual System
               
  .4518   .6943   .4002   .6079
  .9166   .9246   .1910   .1869
  .1398   .3537   .7476   .8489
  .7972   .4722   .4990   .9170
  .6281   .4523   .6289   .7143


Letting   gives the following tolerance classes:

 

Observe that each object in a tolerance class satisfies the condition  , and that almost all of the objects appear in more than one class. Moreover, there would be twenty classes if the indiscernibility relation was used since there are no two objects with matching descriptions. Finally, using these objects, the sets

  and  

are weakly near each other.

Image Processing Example

 
Example of images that are near each other. (a) and (b) Images from the freely available LeavesDataset (see, e.g., www.vision.caltech.edu/archive.html).

The following example provides a more useful application of near set theory. Let a subimage be defined as a small subset of pixels belonging to a digital image such that the pixels contained in the subimage form a square. Then, let the sets   and   respectively represent the subimages obtained from two different images, and let  . Finally, let the description of an object be given by the Green component in the RGB color model. The next step is to find all the tolerance classes using the tolerance relation. Using this information, tolerance classes can be formed containing objects that have similar (within some small  ) values for the Green component in the RGB colour model. Furthermore, images that are near (similar) to each other should have tolerance classes divided among both images (instead of a tolerance classes contained solely in one of the images). For example, the figure accompanying this example shows a subset of the tolerance classes obtained from two leaf images. In this figure, each tolerance class is assigned a separate colour. As can be seen, the two leaves share similar tolerance classes. This example is a first step toward the application of near sets to the image correspondence problem. However, it also highlights a need to measure the degree of nearness of two sets.

Nearness measure

edit

For some applications it is not sufficient to simply state that two sets are near each other. The practical application of near set theory sometimes requires a method for quantifying the nearness of sets. As a result, a   norm-based nearness measure is was developed. Specifically, it was based on the idea that sets can be considered near each other when they have "things" in common. In the context of near sets, the "things" can be quantified by granules of a perceptual system, i.e., the tolerance classes. The simplest example of nearness between sets sharing "things" in common is the case when two sets have similar elements. Defn. 7 can be used to define a Nearness Measure (NM) between two sets   and  . Let   and let the notation

 

denote the portion of the tolerance class   that belongs to  , and similarly, use the notation

 

to denote the portion that belongs to  . Further, let the sets   and   be weakly near each other using Defn. 6. Also, let   denote a covering of   defined by  . Then, a   between   and   is given by

 

The idea behind the NM is that sets that are similar should have a similar number of objects in each tolerance class. Thus, for each tolerance class obtained from the covering of  , the NM counts the number of objects that belong to   and   and takes the ratio (as a proper fraction) of their cardinalities. Furthermore, each ratio is weighted by the total size of the tolerance class (thus giving importance to the larger classes) and the final result is normalized by dividing by the sum of all the cardinalities. The range of the NM is in the interval [0,1], where a value of 1 is obtained if the sets are equivalent and a value of 0 is obtained if they have no elements in common.

As an example of the degree of nearness between two sets, consider figure below in which each image consists of two sets of objects,   and  . Each colour in the figures corresponds to an elementary set where all the objects in the class share the same description. The idea behind the NM is that the nearness of sets in a perceptual system is based on the cardinality of tolerance classes that they share. Thus, the sets in left side of the figure are closer (more near) to each other in terms of their descriptions than the sets in right side of the figure.

 
Examples of degree of nearness between two sets: (a) High degree of nearness, and (b) ow degree of nearness.

Near set evaluation and recognition (NEAR) system

edit

The Near set Evaluation and Recognition (NEAR) system, is a system developed to demonstrate practical applications of near set theory to the problems of image segmentation evaluation and image correspondence. It was motivated by a need for a freely available software tool that can provide results for research and to generate interest in near set theory. The system implements a Multiple Document Interface (MDI) where each separate processing task is performed in its own child frame. The objects (in the near set sense) in this system are subimages of the images being processed and the probe functions (features) are image processing functions defined on the subimages. The system was written in C++ and was designed to facilitate the addition of new processing tasks and probe functions. Currently, the system performs five major tasks, namely, displaying equivalence and tolerance classes for an image, performing segmentation evaluation, measuring the nearness of two images, and displaying the output of processing an image using an individual probe functions.

 
NEAR system GUI.

See also

edit

Notes

edit
  1. ^ Z. Pawlak, Z. Peters, J.F. Jak blisko (How near), Systemy Wspomagania Decyzji I (2002, 2007) 57, 109, ISBN: 83-920730-4-5 (available here). The intuition that led to the discovery of near sets is given in How near.
  2. ^ Peters J., Skowron, A. Stepaniuk, J. Nearness of objects: Extension of approximation space model. Fundamenta Informaticae 79, 3-4, 2007, 497-512 (available here). Where a nearness relation is used to define a particular form of proximity space.
  3. ^ Peters, J.F. Near sets. General theory about nearness of objects, Appl. Math. Sci. 1 (53) (2007) 2029–2609 (available here). Reminiscent of M. Pavel's approach, descriptions of objects are defined relative to vectors of values of real-valued functions called probes (Sect. 3, n. 2). See Pavel, M. Fundamentals of Pattern Recognition, in the Further reading section below, for the introduction of probe functions considered in the context of image registration. In the near set approach, a probe is viewed as a model for a sensor typically used in science and engineering. See, also, Peters, J.F., Wasilewski, P., Foundations of near sets, also listed in the Further reading section.
  4. ^ Peters, J.F. Near sets. Special theory about nearness of objects, Fundam. Inform. 75 (1–4) (2007) 407–433 (available here). The basic distinction between near sets and rough sets is given (Remark 2.1). For a more detailed presentation of this topic, see Peters, J.F., Wasilewski, P., Foundations of near sets, listed in the Further reading section.
  5. ^ Hall, D. Automatic parameter regulation of perceptual systems. Image and Vision Computing 24, 8, 2006, 870-881 (available here).
  6. ^ Peters, J.F., Tolerance near sets and image correspondence. International Journal of Bio-Inspired Computation, 1, 4, 2009 (available here).

Further reading

edit
edit
  • Pal, S.K., Peters, J.F., Eds. Rough Fuzzy Image Analysis. Foundations and Methodologies. Routledge, 2010, ISBN 978-1-4398-0329-5. To appear in September 2010. Many chapters present the theory and application of near sets in image analysis, including several system implementations.
  • Hassanien, E., Abraham, A., Peters, J.F., Schaefer, G., Henry, C. Rough sets and near sets in medical imaging: A review. IEEE Trans. on Information Technology in Biomedicine 13 (5), 2009, doi: 10.1109/TITB.2009.2017017.