Zobrazeno 1 - 2
of 2
pro vyhledávání: '"R. S. Katerinenko"'
Autor:
R. S. Katerinenko, I. A. Bessmertny
Publikováno v:
Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki, Vol 13, Iss 1, Pp 86-90 (2013)
The paper proposes a method of data verification in issues tracking systems by means of production rules. This model makes it possible to formulate declaratively conditions that the information containment should comply with and apply reasoning proce
Externí odkaz:
https://doaj.org/article/c62197ac41b14142bfa05b45b9f5492b
Autor:
I. A. Bessmertnyi, R. S. Katerinenko
Publikováno v:
Programming and Computer Software. 37:197-199
The paper considers the problem of combinatorial complexity of logical inference in knowledge bases constructed on the base of the production model. A method for logical inference relying on a relational algebra of facts located in a DBMS medium is d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28802744296ed1eb5c5699fa45d2594a
https://doi.org/10.1134/s0361768811040049
https://doi.org/10.1134/s0361768811040049