Application of a Logical Reasoning Approach Based Petri Net in Agriculture Expert System - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2014

Application of a Logical Reasoning Approach Based Petri Net in Agriculture Expert System

Résumé

First of all, a goal-guiding graphic reasoning approach that based on the predicate/transition system has been proposed for the first-order predicate logic. In process of reasoning, the premise is separated from the conclusion, which has been taken as the beginning of the backward reasoning that is purposeful and effective as well. Next, this reasoning approach has been applied in the agriculture expert system to present a method of solving problem, providing a new way for studying the reasoning mechanism of the agriculture expert system.
Fichier principal
Vignette du fichier
978-3-642-54341-8_35_Chapter.pdf (488.14 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01220844 , version 1 (27-10-2015)

Licence

Identifiants

Citer

Xia Geng, Yong Liang, Qiulan Wu. Application of a Logical Reasoning Approach Based Petri Net in Agriculture Expert System. 7th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2013, Beijing, China. pp.326-341, ⟨10.1007/978-3-642-54341-8_35⟩. ⟨hal-01220844⟩
97 Consultations
135 Téléchargements

Altmetric

Partager

More