Computer and Computing Technologies in Agriculture VII 7th IFIP WG 5.14 International Conference, CCTA 2013, Beijing, China, September 18-20, 2013, Part II
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.
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
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⟩
