Geodesic
Methods of rules selection with backward chaining in static expert systems
Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, Tome 156 (2014) no. 3, pp. 142-151

Voir la notice du chapitre de livre provenant de la source Math-Net.Ru

The article discusses the problem of optimizing the solution search process in a static expert system. The research on the stage of backward chaining for rule selection and execution is conducted. A method of statistics collection for analysis of this stage is given. The results are presented in the form of a comparative analysis of the four methods of selecting rules for knowledge bases in three categories of tasks. The most efficient methods are identified in each category. Based on these methods, a version of the mixed method and an algorithm of backward chaining minimizing the number of rules used in solving the tasks under study are proposed.
Keywords: expert system, knowledge base, inference engine, backward chaining, production knowledge representation. 
@article{UZKU_2014_156_3_a14,
     author = {A. M. Yurin and M. P. Denisov},
     title = {Methods of rules selection with backward chaining in static expert systems},
     journal = {U\v{c}\"enye zapiski Kazanskogo universiteta. Seri\^a Fiziko-matemati\v{c}eskie nauki},
     pages = {142--151},
     publisher = {mathdoc},
     volume = {156},
     number = {3},
     year = {2014},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/UZKU_2014_156_3_a14/}
}
TY  - JOUR
AU  - A. M. Yurin
AU  - M. P. Denisov
TI  - Methods of rules selection with backward chaining in static expert systems
JO  - Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
PY  - 2014
SP  - 142
EP  - 151
VL  - 156
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/UZKU_2014_156_3_a14/
LA  - ru
ID  - UZKU_2014_156_3_a14
ER  - 
%0 Journal Article
%A A. M. Yurin
%A M. P. Denisov
%T Methods of rules selection with backward chaining in static expert systems
%J Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
%D 2014
%P 142-151
%V 156
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZKU_2014_156_3_a14/
%G ru
%F UZKU_2014_156_3_a14
A. M. Yurin; M. P. Denisov. Methods of rules selection with backward chaining in static expert systems. Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, Tome 156 (2014) no. 3, pp. 142-151. http://geodesic.mathdoc.fr/item/UZKU_2014_156_3_a14/