Geodesic
The algebraic model of relevant backward inference based on equation solving
Matematičeskoe modelirovanie, Tome 24 (2012) no. 12, pp. 3-7.

Voir la notice de l'article provenant de la source Math-Net.Ru

Production system backward inference methods based on equation solving in LP structures is presented. The strategy of a relevant backward inference is aimed at optimization of queries to external information source (either to a database or an interactive user). Advantages of new algorithms are demonstrated experimentally on the test knowledge bases.
Keywords: lattice, logical equation, production system, backward inference. 
@article{MM_2012_24_12_a0,
     author = {S. Yu. Bolotova},
     title = {The algebraic model of relevant backward inference based on equation solving},
     journal = {Matemati\v{c}eskoe modelirovanie},
     pages = {3--7},
     publisher = {mathdoc},
     volume = {24},
     number = {12},
     year = {2012},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MM_2012_24_12_a0/}
}
TY  - JOUR
AU  - S. Yu. Bolotova
TI  - The algebraic model of relevant backward inference based on equation solving
JO  - Matematičeskoe modelirovanie
PY  - 2012
SP  - 3
EP  - 7
VL  - 24
IS  - 12
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MM_2012_24_12_a0/
LA  - ru
ID  - MM_2012_24_12_a0
ER  - 
%0 Journal Article
%A S. Yu. Bolotova
%T The algebraic model of relevant backward inference based on equation solving
%J Matematičeskoe modelirovanie
%D 2012
%P 3-7
%V 24
%N 12
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MM_2012_24_12_a0/
%G ru
%F MM_2012_24_12_a0
S. Yu. Bolotova. The algebraic model of relevant backward inference based on equation solving. Matematičeskoe modelirovanie, Tome 24 (2012) no. 12, pp. 3-7. http://geodesic.mathdoc.fr/item/MM_2012_24_12_a0/

[1] Sowa J. F., Knowledge Representation: Logical, Philosophical and Computational Foundations, Brooks Cole Publishing Co., Pacific Grove, CA, 1999

[2] Beniaminov E. M., Algebraicheskie metody v teorii baz dannykh i predstavlenii znanii, Nauchnyi mir, M., 2003, 184 pp.

[3] Makhortov S. D., “Logicheskie otnosheniya na reshetkakh”, Vestnik VGU. Seriya Fizika, matematika, 2003, no. 2, 203–209

[4] Makhortov S. D., “Logicheskie uravneniya na reshetkakh”, Vestnik VGU. Seriya Fizika, matematika, 2004, no. 2, 170–178

[5] Makhortov S. D., “Relevantnyi obratnyi vyvod i verifikatsiya logicheskikh programm na osnove resheniya uravnenii v LP-strukturakh”, Metody i sredstva obrabotki informatsii, III Vserossiiskaya nauchnaya konferentsiya (Moskva, 6–8 oktyabrya 2009), ed. L. N. Korolev, VMiK MGU, M., 2009, 143–148

[6] Birkhoff G., Lattice Theory, Providence, Rhode Island, 1967 | MR

[7] Sowyer B., Foster D., Programming Expert Systems in Pascal, John Wiley, Inc., 1986

[8] Giraud-Carrier C. G., Martinez T. R., “An Integrated Framework for Learning and Reasoning”, J. Artificial Intelligence Research, 3 (1995), 147–185 | Zbl