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

Abstract : 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.
Type de document :
Communication dans un congrès
Daoliang Li; Yingyi Chen. 7th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2013, Beijing, China. Springer, IFIP Advances in Information and Communication Technology, AICT-420 (Part II), pp.326-341, 2014, Computer and Computing Technologies in Agriculture VII. 〈10.1007/978-3-642-54341-8_35〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01220844
Contributeur : Hal Ifip <>
Soumis le : mardi 27 octobre 2015 - 08:28:31
Dernière modification le : mercredi 17 janvier 2018 - 10:45:35
Document(s) archivé(s) le : jeudi 28 janvier 2016 - 10:21:10

Fichier

978-3-642-54341-8_35_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Xia Geng, Yong Liang, Qiulan Wu. Application of a Logical Reasoning Approach Based Petri Net in Agriculture Expert System. Daoliang Li; Yingyi Chen. 7th International Conference on Computer and Computing Technologies in Agriculture (CCTA), Sep 2013, Beijing, China. Springer, IFIP Advances in Information and Communication Technology, AICT-420 (Part II), pp.326-341, 2014, Computer and Computing Technologies in Agriculture VII. 〈10.1007/978-3-642-54341-8_35〉. 〈hal-01220844〉

Partager

Métriques

Consultations de la notice

53

Téléchargements de fichiers

18