Systems of inclusions with unknowns in multioperations
The Bulletin of Irkutsk State University. Series Mathematics, Tome 38 (2021), pp. 112-123
Voir la notice de l'article provenant de la source Math-Net.Ru
We consider systems of inclusions with unknowns and coefficients in multioperations of finite rank. An algorithm for solving such systems by the method of reduction to Boolean equations using superposition representation of multioperations by Boolean space matrices is given. Two methods for solving Boolean equations with many unknowns are described for completeness. The presentation is demonstrated by examples: the representation of the superposition of multioperations by Boolean space matrices; solving a Boolean equation by analytical and numerical methods; and finding solutions to an inclusion with one unknown. The resulting algorithm can be applied to the development of logical inference systems for multioperator logics.
Keywords:
multioperation, Boolean equation
Mots-clés : inclusion, spatial matrix, term.
Mots-clés : inclusion, spatial matrix, term.
@article{IIGUM_2021_38_a7,
author = {N. A. Peryazev},
title = {Systems of inclusions with unknowns in multioperations},
journal = {The Bulletin of Irkutsk State University. Series Mathematics},
pages = {112--123},
publisher = {mathdoc},
volume = {38},
year = {2021},
language = {en},
url = {http://geodesic.mathdoc.fr/item/IIGUM_2021_38_a7/}
}
N. A. Peryazev. Systems of inclusions with unknowns in multioperations. The Bulletin of Irkutsk State University. Series Mathematics, Tome 38 (2021), pp. 112-123. http://geodesic.mathdoc.fr/item/IIGUM_2021_38_a7/