
Publication
SOME GENERALIZATION OF THE RESOLUTION METHOD
(STEF92 Technology, 2019-06-20, Aleksandr Shajkin)
Show more
If we create intelligent automated systems, decision support systems, expert systems, and in general knowledge-based systems then the development of the inference mechanism is very important. This mechanism of inference makes it possible to carry out reasoning on the available knowledge and data, to develop recommendations and decisions, to make their justifications and explanations. In this paper, a model of inference in the form of a bipartite graph is considered. The elements of the graph correspond to clauses,...
Informatics2019
