Semantic Graphs and Arc Consistency Checking - The Renewal of an Old Approach for Information Extraction from Images

The aim of this paper is to show that symbolic computation based on constraint satisfaction can be useful for information extraction from images. It presents how some limitations of this approach have been overcome by the development of new conceptual tools: arc-consistency with bilevel constraints, weak arc-consistency, a system of complex qualitative spatial relations. The application of these tools to images of various domains (medical images, high resolution satellite images) shows its effectivity.

[1]  Isabelle Bloch,et al.  Structure segmentation and recognition in images guided by structural constraint propagation , 2008, ECAI.

[2]  Luc Brun,et al.  Image interpretation with a conceptual graph: Labeling over-segmented images and detection of unexpected objects , 2009, Artif. Intell..

[3]  Eugene C. Freuder,et al.  Partial Constraint Satisfaction , 1989, IJCAI.

[4]  James V. Mahoney,et al.  Interpreting Sloppy Stick Figures by Graph Rectification and Constraint-Based Matching , 2001, GREC.

[5]  Aline Deruyver,et al.  Qualitative spatial relationships for image interpretation by using a conceptual graph , 2009, Image Vis. Comput..

[6]  David L. Waltz,et al.  Understanding Line drawings of Scenes with Shadows , 1975 .

[7]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[8]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[9]  Pascal Van Hentenryck,et al.  A Generic Arc-Consistency Algorithm and its Specializations , 1992, Artif. Intell..

[10]  Aline Deruyver,et al.  Constraint Satisfaction Problem with Bilevel Constraint: Application to Interpretation of Over-Segmented Images , 1997, Artif. Intell..

[11]  Thomas C. Henderson,et al.  Arc and Path Consistency Revisited , 1986, Artif. Intell..

[12]  Aline Deruyver,et al.  Arc-Consistency Checking with Bilevel Constraints: An Optimization , 2009, GbRPR.

[13]  Christian Bessiere,et al.  Arc-Consistency and Arc-Consistency Again , 1993, Artif. Intell..