HOME
Full Articles List
Search by Author
Title: SOME GENERALIZATION OF THE RESOLUTION METHOD
BibTex 
Open this article in the author's DB |
|
SOME GENERALIZATION OF THE RESOLUTION METHOD
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
1314-2704
|
|
|
|
||
|
|
English
|
|
|
|
19
|
|
|
|
2.1
|
|
|
|
|
|
|
|
||
|
|
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, literals of clauses, and complement pairs of literals. This gives the initial structure for the inference procedure. The logical inference is carried out step by step. At each step, we make local changes to the graph. The inference ends positively if the graph is transformed into one vertex of the first or second type. The conclusion ends negatively if the next step cannot do. Note that we didn?t model getting of the resolvent according to the resolution principle. However, the proposed structure is able to model both the resolution method and the inverse method. Moreover, it allows you to simulate these methods not only separately. It is possible to obtain a hybrid from the step-by-step application of the methods alternately. At the same time, the resolution method received from us a considerable generalization. Getting the resolvent was made possible not only from a pair of clauses, but also from any number of clauses, for example, one or three. The proposed new mechanism of inference in its expressiveness is equal to the resolution method. It got the software implementation and showed good results. |
|
|
|
conference
|
|
|
|
||
|
|
||
|
|
19th International Multidisciplinary Scientific GeoConference SGEM 2019
|
|
|
|
19th International Multidisciplinary Scientific GeoConference SGEM 2019, 30 June - 6 July, 2019
|
|
|
|
Proceedings Paper
|
|
|
|
STEF92 Technology
|
|
|
|
International Multidisciplinary Scientific GeoConference-SGEM
|
|
|
|
Bulgarian Acad Sci; Acad Sci Czech Republ; Latvian Acad Sci; Polish Acad Sci; Russian Acad Sci; Serbian Acad Sci & Arts; Slovak Acad Sci; Natl Acad Sci Ukraine; Natl Acad Sci Armenia; Sci Council Japan; World Acad Sci; European Acad Sci, Arts & Letters; Ac
|
|
|
|
619-626
|
|
|
|
30 June - 6 July, 2019
|
|
|
|
website
|
|
|
|
cdrom
|
|
|
|
5403
|
|
|
|
inference mechanism; predicate logic; resolution principle; inverse method.
|
|
Download PDF