Geodesic
On the use of variable predicates to formalize
News of the Kabardin-Balkar scientific center of RAS, no. 6-3 (2018), pp. 5-10

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

In the article logic systems with value predicates, their applications for the decision of intellectual problems in poorly formalized areas are considered. The way of construction of decision function for the set subject domain is offered, its properties are considered. As the private example of variable logic a system of four-unit logic, particularly DNA-logic is considered.
Keywords: variable logic, knowledge base, subject area, DNA-algorithms.
Mots-clés : clauses 
@article{IZKAB_2018_6-3_a0,
     author = {L. A. Lyutikova and E. V. Shmatova},
     title = {On the use of variable predicates to formalize},
     journal = {News of the Kabardin-Balkar scientific center of RAS},
     pages = {5--10},
     publisher = {mathdoc},
     number = {6-3},
     year = {2018},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IZKAB_2018_6-3_a0/}
}
TY  - JOUR
AU  - L. A. Lyutikova
AU  - E. V. Shmatova
TI  - On the use of variable predicates to formalize
JO  - News of the Kabardin-Balkar scientific center of RAS
PY  - 2018
SP  - 5
EP  - 10
IS  - 6-3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IZKAB_2018_6-3_a0/
LA  - ru
ID  - IZKAB_2018_6-3_a0
ER  - 
%0 Journal Article
%A L. A. Lyutikova
%A E. V. Shmatova
%T On the use of variable predicates to formalize
%J News of the Kabardin-Balkar scientific center of RAS
%D 2018
%P 5-10
%N 6-3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IZKAB_2018_6-3_a0/
%G ru
%F IZKAB_2018_6-3_a0
L. A. Lyutikova; E. V. Shmatova. On the use of variable predicates to formalize. News of the Kabardin-Balkar scientific center of RAS, no. 6-3 (2018), pp. 5-10. http://geodesic.mathdoc.fr/item/IZKAB_2018_6-3_a0/