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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.inria.fr/hal-01220844
Contributor : Hal Ifip <>
Submitted on : Tuesday, October 27, 2015 - 8:28:31 AM
Last modification on : Wednesday, January 17, 2018 - 10:45:35 AM
Long-term archiving on : Thursday, January 28, 2016 - 10:21:10 AM

File

978-3-642-54341-8_35_Chapter.p...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

103

Files downloads

130