Modeling and Comparing Farm Maps using Graphs and Case-based Reasoning

In this paper, we present the knowledge-based system ROSA working on spatial and functional organizations in agriculture. The reasoning in ROSA combines hierarchical classification, case-based reasoning, and qualitative spatial reasoning. The goal of the system is twofold: formalizing and building a case base holding on farm spatial and functional organizations, and helping the analysis of new cases. Domain knowledge and cases are modeled with the help of the so-called spatial organization graphs (sogs), and represented within a description logic system. Hierarchical case-based reasoning, involving classification and qualitative spatial reasoning, is used to compare and explain farm spatial structures modeled by sogs. An example of case retrieval is proposed, followed by a global discussion on case-based reasoning in the ROSA system and related work.

[1]  F. L. Ber,et al.  Analyse de l'interaction experts -- informaticiens lors de la modélisation de connaissances spatiales , 2002 .

[2]  D. Randell,et al.  Exploiting lattices in a theory of space and time , 1992 .

[3]  Janet L. Kolodner,et al.  Case-Based Reasoning , 1988, IJCAI 1989.

[4]  Anthony G. Cohn,et al.  Qualitative and Topological Relationships in Spatial Databases , 1993, SSD.

[5]  Amedeo Napoli,et al.  Correct and Complete Retrieval for Case-Based Problem-Solving , 1998, ECAI.

[6]  P. Vismara.  Reconnaissance et représentation d'éléments structuraux pour la description d'objets complexes : application à l'élaboration de stratégies de synthèse en chimie organique , 1995 .

[7]  Véronique Ventos,et al.  Study and Formalization of a Case-Based Reasoning System Using a Description Logic , 1998, EWCBR.

[8]  Ludmila Mangelinck,et al.  Représentation et classification de structures spatiales - Application à la reconnaissance de paysages agricoles. (Representation and classification of spatial structures : recognition of landscap patterns) , 1998 .

[9]  Anthony G. Cohn,et al.  Modelling Topological and Metrical Properties in Physical Processes , 1989, KR.

[10]  Francesco M. Donini,et al.  Reasoning in description logics , 1997 .

[11]  Florence Le Ber,et al.  The Design of an Object-based System for Representing and Classifying Spatial Structures and Relations , 2002, J. Univers. Comput. Sci..

[12]  F. L. Ber,et al.  Chorèmes et graphes pour modéliser les interactions entre organisation spatiale et fonctionnement des exploitations agricoles , 2001 .

[13]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[14]  S. Lardon,et al.  Representing spatial organisation in extensive livestock farming. , 2000 .

[15]  Amedeo Napoli,et al.  Using Classification in Case-Based Planning , 1996, ECAI.

[16]  Michael Wessel,et al.  Terminological Default Reasoning about Spatial Information: A First Step , 1999, COSIT.

[17]  Anthony G. Cohn,et al.  Representing and Reasoning with Qualitative Spatial Relations About Regions , 1997 .

[18]  Agnar Aamodt,et al.  CASE-BASED REASONING: FOUNDATIONAL ISSUES, METHODOLOGICAL VARIATIONS, AND SYSTEM APPROACHES AICOM - ARTIFICIAL INTELLIGENCE COMMUNICATIONS , 1994 .

[19]  Anni-Yasmin Turhan,et al.  RACE User''s Guide and Reference Manual , 1999 .

[20]  Jana Koehler,et al.  Planning from Second Principles , 1996, Artif. Intell..

[21]  Daniel Hernández,et al.  Qualitative Representation of Spatial Knowledge , 1994, Lecture Notes in Computer Science.

[22]  Roland Ducournau,et al.  An object-based representation system for organic synthesis planning , 1994, Int. J. Hum. Comput. Stud..

[23]  Volker Haarslev,et al.  A Description Logic with Concrete Domains and a Role-forming Predicate Operator , 1999, J. Log. Comput..

[24]  R. Brunet.  La carte-modèle et les chorèmes , 1986, Mappemonde.

[25]  Max J. Egenhofer,et al.  Reasoning about Binary Topological Relations , 1991, SSD.

[26]  Florence Le Ber,et al.  Design and Comparison of Lattices of Topological Relations Based on Galois Lattice Theory , 2002, KR.

[27]  Gerd Kamp.  Using Description Logics for Knowledge Intensive Case-Based Reasoning , 1996, EWCBR.

[28]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[29]  Anthony G. Cohn,et al.  Computing Transivity Tables: A Challenge For Automated Theorem Provers , 1992, CADE.

[30]  Eliseo Clementini,et al.  Qualitative Representation of Positional Information , 1997, Artif. Intell..

[31]  Anthony G. Cohn,et al.  A Foundation for Region-based Qualitative Geometry , 2000, ECAI.

[32]  Volker Haarslev,et al.  Foundations of Spatioterminological Reasoning with Description Logics , 1998, KR.

[33]  Ralph Bergmann,et al.  Towards a New Formal Model of Transformational Adaptation in Case-Based Reasoning , 1998, ECAI.