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