Elsevier

Fuzzy Sets and Systems

Volume 286, 1 March 2016, Pages 1-29
Fuzzy Sets and Systems

Fuzzy constraint satisfaction problem for model-based image interpretation

https://doi.org/10.1016/j.fss.2014.10.025Get rights and content

Abstract

Scene interpretation guided by a generic model benefits from structural representations of objects and their spatial relationships. In this paper, we consider nested conceptual graphs for encoding objects and groups of objects, spatial relationships between objects or between groups of objects, along with the imprecision and uncertainty attached to the formal representations of such relationships. Scene interpretation is then formalized as a graph homomorphism problem for the identification of possibly multiple instances of the model in an image. We propose an extension of fuzzy constraint satisfaction problems (FCSP) to deal with complex objects. In particular, we extend FCSP arc-consistency checking to deal with groups of objects which can be related among them or have a spatial property such as being aligned. The instantiations of the model in the image are obtained by solving a FCSP. This framework is illustrated on the example of interpretation of Earth observation images. A method is proposed to find the instantiations of a nested conceptual graph, representing a generic model of the scene (such as harbor or airport) in an unlabeled image. Experimental results on high resolution satellite images show that the proposed approach successfully recognizes a given spatial configuration and is robust to image segmentation errors. The results demonstrate the interest of using complex spatial relations for the interpretation of images.

Introduction

Image interpretation consists in recognizing different objects which compose a scene, understanding their spatial organization, and providing a description of this scene and a semantic labeling of the image. To interpret an image it is necessary to use information within the image, but also contextual information relevant to the interpretation task. The contextual information should allow us to answer questions such as: which are the objects of interest? How to identify these objects or their parts? And how are these objects or parts related? This information depends on the domain, the objective of the description and the application. Thus when performing an automatic image interpretation a knowledge representation system should be developed. In this system we should be capable of encoding information about objects, spatial relations between objects or object parts, extraction algorithms, etc.

In this paper we focus on the interpretation of very high resolution Earth observation images, as an illustration. These images contain a large amount of information. They are the outcome of the combination of many different intensities that can represent natural concepts such as vegetation, geomorphological and hydrological concepts, man-made objects such as buildings and roads, and artifacts caused by variations in illumination of the terrain, such as shadows [43]. This large quantity of information allows the description of the images at different conceptual levels [23]:

  • individual objects, for instance a house, a tree, a road segment,

  • land cover type, for instance water, bare land, vegetation,

  • complex or composite objects, which are new semantic objects formed by several spatially related individual objects, for instance airports, harbors, train stations, nuclear power plants, toll gates, stadiums, etc.

The conceptual level used to describe the image depends on the objective of the description as well as the resolution of the image. Moreover, Earth observation images contain objects of different sizes, which makes it unfeasible to analyze all the concepts of the image at the same scale. For instance, a building can be identified at a very high resolution using its shape, a city is better identified at a lower resolution as a texture. Therefore, according to the level of concept we are interested in, we should choose an appropriate scale of observation. In this work we concentrate on the interpretation of complex objects. One of the difficulties of this task lies in determining the important details to extract the objects which compose complex objects. Objects belonging to the same complex object can be observable at different scales. Furthermore, some objects in a complex scene cannot always be recognized with traditional methods using spectral and textural features. They often require the recognition of other objects having a spatial relation with them, and then use the spatial relation to identify them. Hence the spatial relations and the spatial arrangements of objects and of complex objects and their parts in the scene are of prime importance for the recognition of complex objects. Another difficulty encountered in the interpretation of complex objects is that the spatial arrangements can be expressed as complex relationships, i.e. spatial relations that are not necessarily expressed between two objects but between a group of objects and an object, or groups of objects having a spatial property, such as alignment. Hence, the interpretation method should be able to encode these complex relationships and deal with them.

In this work we propose a method to identify complex objects in an Earth observation image. We make use of knowledge on the spatial structure of the complex objects to guide their identification in the image. We describe a complex object through a nested conceptual graph. This model allows the representation of spatial information of the complex object, including complex spatial relationships. We assume that the image is already segmented and we only concentrate on the problem of labeling the regions according to the knowledge and information supplied by the model.

We formulate the problem of labeling the image regions as a homomorphism from the model to the image regions. Modeling the problem as a homomorphism permits to map the model to several regions of the image (several instantiations), and thus account for uncertainty within the model. By uncertainty in the model we mean that even if all the objects in the model appear in the image, we are not certain about the number of instantiations. For instance in a harbor, a dock can have none, one or several boats adjacent to it. This type of uncertainty is present in Earth observation images. Moreover, when a model is used to represent the spatial arrangement of the objects that should appear in the scene, other types of information imperfections can be present:

  • Imprecision on spatial relations. Many spatial relations can be imprecise by nature. Their satisfaction depends on the context or even on the size of the objects. For instance the relation near has a different interpretation according to the size of the reference object: the distance used to determine whether a building is near an airport is different from the one used to determine whether a building is near a tree.

  • Uncertainty with labeling objects in the image. When labeling the objects in the image after a segmentation, labels may be uncertain.

  • Imprecision on the objects in the image. This can be due to different causes, such as the discretization of space (passing from a continuous scene to a digital image), or the processing methods (e.g. segmentation).

We express the problem of finding a graph homomorphism as a Fuzzy Constraint Satisfaction Problem (FCSP). Using a FCSP allows us to consider the different sources of imperfections. The imprecision of spatial relations is dealt by modeling the spatial relations as fuzzy relations which are handled by FCSP. The other two types of information imperfections are modeled by using fuzzy membership functions (that consider information from the model) to perform an initial labeling of the objects in the image.

The main two contributions of this paper are (i) an interpretation method that starts from an unlabeled segmented image (possibly imprecisely and inaccurately segmented) and exploits knowledge about the scene to be recognized, and (ii) translate the problem as a FCSP and adapt the FCSP formalism to deal with complex spatial relations. The proposed framework was developed in [44].

We formulate the problem of image interpretation within the framework of Knowledge Based Systems (KBS). In Section 2, we introduce KBS, their use in image interpretation, and discuss the choice of the proposed method. In Section 3, we discuss nested conceptual graphs and their representation capabilities. In Section 4 we explain how the proposed problem can be represented as a Fuzzy CSP. The FCSP formalism has to be extended in order to allow the representation of embedded information, which is done in Section 5. Finally in Section 6, we illustrate the proposed method on two examples.

Section snippets

Knowledge Based Systems (KBS) for image interpretation

The important role played by knowledge in image interpretation explains the large development of KBS's in this domain. A review of such systems can be found in [13], [27], [43]. KBS's are inspired by human reasoning, and consist in representing and modeling the knowledge relative to a domain. Their objective is to reason on this knowledge in order to solve a concrete problem, such as identification, recognition, classification, diagnosis, configuration and planning, among others [27]. These

Structural model

The model used to represent the scene has to be flexible enough in order to allow the representation of the following spatial situations which are frequent in Earth observation images:

  • S1.

    Two or more objects satisfying a spatial relation. For example, a “fountain between a road and a house”. Note that spatial relations can have any arity.

  • S2.

    A group of objects satisfying a spatial relation with another object, with potential relations among the members of the group. This allows the representation of

Fuzzy CSP

In this section, we summarize the main definitions and algorithms of Fuzzy CSP (FCSP). A Constraint Satisfaction Problem (CSP) is a generic framework for representing and solving problems whose aim is to find the solutions to a set of constraints. A constraint represents a relation, and a constraint satisfaction problem states which relations should hold between a set of decision variables. The authors in [17] extended CSP to FCSP in order to deal with flexible constraints. Such constraints

Extension of the FCSP model to handle complex concept nodes

To deal with complex concept nodes representing groups of regions satisfying some relations between them, Algorithm 1 has to be extended and adapted.

A complex concept node can be considered dually either as a constraint or as a variable. It is seen as a variable when it is viewed as an object (a group is then considered as one complex object) that can satisfy spatial relations with other objects or groups. It is seen as a constraint when we evaluate the relations or spatial properties that

Interpreting an unlabeled image

When dealing with an unlabeled image, the difficulty lies in adequately creating the domain of regions which can represent each concept node of the model conceptual graph. As mentioned in Section 2.3, we tackle this difficulty by performing a multi-scale segmentation, which allows us to extract objects of different sizes. Moreover, the multi-scale segmentation provides an explicit hierarchical organization of the regions which can be useful for spatial reasoning. In our experiments, we used a

Conclusion

We have addressed the problem of incorporating complex spatial relations in a model which represents a scene that we want to find in an image. For this, we first adapted a representation scheme to introduce this type of information in a model, then we addressed the problem of identifying the model in the image, by simultaneously considering some of the possible information imperfections which are present in this type of problem.

The mapping problem was represented as a graph homomorphism which

References (47)

  • D. Dubois et al.

    Refinements of the maximin approach to decision-making in a fuzzy environment

    Fuzzy Sets Syst.

    (1996)
  • D. Dubois et al.

    Computing improved optimal solutions to max–min flexible constraint satisfaction problems

    Eur. J. Oper. Res.

    (1999)
  • G. Fouquier et al.

    Sequential model-based segmentation and recognition of image structures driven by visual features and spatial relations

    Comput. Vis. Image Underst.

    (2012)
  • S. Goward et al.

    Normalized difference vegetation index measurements from the Advanced Very High Resolution Radiometer

    Remote Sens. Environ.

    (1991)
  • J. Guo et al.

    Cascaded classification of high resolution remote sensing images using multiple contexts

    Inf. Sci.

    (2013)
  • C. Hudelot et al.

    Fuzzy spatial relation ontology for image interpretation

    Fuzzy Sets Syst.

    (2008)
  • Y. Liu et al.

    A generalized network model and its applications in qualitative spatial reasoning

    Inf. Sci.

    (2008)
  • S.W. Myint et al.

    Per-pixel vs. object-based classification of urban land cover extraction using high spatial resolution imagery

    Remote Sens. Environ.

    (2011)
  • O. Nempont et al.

    A constraint propagation approach to structural model based image segmentation and recognition

    Inf. Sci.

    (2013)
  • G.T. Papadopoulos et al.

    A comparative study of object-level spatial context techniques for semantic image analysis

    Comput. Vis. Image Underst.

    (2011)
  • A. Perchant et al.

    Fuzzy morphisms between graphs

    Fuzzy Sets Syst.

    (2002)
  • I. Sebari et al.

    Automatic fuzzy object-based analysis of VHSR images for urban objects extraction

    ISPRS J. Photogramm. Remote Sens.

    (2013)
  • A. Sowmya et al.

    Modelling and representation issues in automated feature extraction from aerial and satellite images

    ISPRS J. Photogramm. Remote Sens.

    (2000)
  • Cited by (14)

    • Resolution methods for constraint satisfaction problem in remote sensing field: A survey of static and dynamic algorithms

      2022, Ecological Informatics
      Citation Excerpt :

      Moreover, CSP methods have been used in a wide range of applications, including object recognition (Nempont et al., 2013; Petridis et al., 2006; Saathoff and Staab, 2008), air traffic planning (Stojadinovi, 2014; Vascik and Hansman, 2018), and activity planning and scheduling (Alhaijawy and Florea, 2018; Behrens et al., 2019; Choudhury et al., 2021). More recently too, CPS methods have also become an avenue of investigation for the remote sensing community (Vanegas et al., 2016). CSP expresses complex problems in the form of constraints linking their variables and then solves these problems using resolution methods.

    • Spatial relation learning for explainable image classification and annotation in critical applications

      2021, Artificial Intelligence
      Citation Excerpt :

      Also, there exists an extensive literature about spatial fuzzy relations [55], which makes the whole framework well-suited for managing images. For annotation, we propose to learn in a similar way constraints that will be then used to solve a Fuzzy Constraint Satisfaction Problem (FCSP) [49]. This constraint-based approach also satisfies the transparency requirement.

    • Fuzzy sets for image processing and understanding

      2015, Fuzzy Sets and Systems
      Citation Excerpt :

      These fuzzy representations can enrich ontologies and contribute to reduce the semantic gap between symbolic concepts, as expressed in the ontology, and visual percepts, as extracted from the images. These ideas were used in particular in the segmentation and recognition methods described in [11,34,36,53,85,116,153]: a concept of the ontology is used for guiding the recognition by expressing its semantic as a fuzzy set, for instance in the image domain or in an attribute domain, which can therefore be directly linked to image information. Similarly, such spatial relations are useful attributes in graphs and fuzzy graphs, and endow recognition and mining methods based on similarity between graphs with structural information [5,15,49,128], benefiting from the huge literature on fuzzy comparison tools (see e.g. [43]).

    • Neural network to solve fuzzy constraint satisfaction problems

      2024, IAES International Journal of Artificial Intelligence
    View all citing articles on Scopus
    1

    This work was performed during M.C. Vanegas's PhD thesis at Telecom ParisTech and CNES.

    View full text