Implementation of a Knowledge Representation and Reasoning Tool Using Default Rules for a Decision Support System in Agronomy Applications

  • Patrice Buche
  • Virginie Cucheval
  • Awa Diattara
  • Jérôme Fortin
  • Alain Gutierrez
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8323)


This is an application paper in which we propose to use an extended version of the conceptual graph framework to represent and reason on expert knowledge for cheese making. In this extension, we propose to use default rules to represent specific pieces of knowledge. We use the CoGui software to manage conceptual graphs in the application from the CTFC data expressed in Freeplan. A specific end user interface has been designed on top of CoGui to ensure that end-user experts in cheese making can use it in a convenient way.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Baget and Fortin, 2010]
    Baget, J.-F., Fortin, J.: Default conceptual graph rules, atomic negation and tic-tac-toe. In: Croitoru, M., Ferré, S., Lukose, D. (eds.) ICCS 2010. LNCS (LNAI), vol. 6208, pp. 42–55. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  2. [Baget et al., 2009]
    Baget, J.-F., Croitoru, M., Fortin, J., Thomopoulos, R.: Default conceptual graph rules: Preliminary results for an agronomy application. In: Rudolph, S., Dau, F., Kuznetsov, S.O. (eds.) ICCS 2009. LNCS (LNAI), vol. 5662, pp. 86–99. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  3. [Chein and Mugnier, 2009]
    Chein, M., Mugnier, M.-L.: Graph-based Knowledge Representation and Reasoning. Computational Foundations of Conceptual Graphs. Advanced Information and Knowledge Processing Series. Springer, London (2009)Google Scholar
  4. [Reiter, 1980]
    Reiter, R.: A logic for default reasoning. Artificial Intelligence 13, 81–132 (1980)CrossRefzbMATHMathSciNetGoogle Scholar
  5. [Salvat and Mugnier, 1996]
    Salvat, E., Mugnier, M.-L.: Sound and complete forward and backward chaining of graph rules. In: Eklund, P., Mann, G.A., Ellis, G. (eds.) ICCS 1996. LNCS, vol. 1115, pp. 248–262. Springer, Heidelberg (1996)CrossRefGoogle Scholar
  6. [Sowa, 1984]
    Sowa, J.F.: Conceptual Structures: Information Proc. in Mind and Machine. Addison–Wesley (1984)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Patrice Buche
    • 1
  • Virginie Cucheval
    • 2
  • Awa Diattara
    • 3
  • Jérôme Fortin
    • 4
  • Alain Gutierrez
    • 5
  1. 1.LIRMM GraphIKINRA IATEFrance
  2. 2.CTFC PolignyFrance
  3. 3.INRA IATEFrance
  4. 4.IATE/LIRMM GraphIKUniversité Montpellier IIFrance
  5. 5.CNRS LIRMMFrance

Personalised recommendations