%0 Conference Proceedings
%T Application of a Logical Reasoning Approach Based Petri Net in Agriculture Expert System
%+ Institute of Information Science and Engineering [Shandong]
%A Geng, Xia
%A Liang, Yong
%A Wu, Qiulan
%< avec comité de lecture
%( IFIP Advances in Information and Communication Technology
%B 7th International Conference on Computer and Computing Technologies in Agriculture (CCTA)
%C Beijing, China
%Y Daoliang Li
%Y Yingyi Chen
%I Springer
%3 Computer and Computing Technologies in Agriculture VII
%V AICT-420
%N Part II
%P 326-341
%8 2013-09-18
%D 2013
%R 10.1007/978-3-642-54341-8_35
%K first-order predicate logic
%K Predicate/transition system
%K goal guiding
%K graphic reasoning
%K backward reasoning
%K agriculture expert system
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 5
%Z WG 5.14
%2 https://inria.hal.science/hal-01220844/document
%2 https://inria.hal.science/hal-01220844/file/978-3-642-54341-8_35_Chapter.pdf
%L hal-01220844
%U https://inria.hal.science/hal-01220844
%~ IFIP
%~ IFIP-AICT
%~ IFIP-TC
%~ IFIP-AICT-420
%~ IFIP-TC5
%~ IFIP-WG5-14
%~ IFIP-CCTA