This article is cited in 1 paper

Algebraic and logical methods in computer science and artificial intelligence

Systems of inclusions with unknowns in multioperations

N. A. Peryazev

Saint Petersburg Electrotechnical University ''LETI'', St. Petersburg, Russian Federation

Abstract: 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, inclusion, spatial matrix, Boolean equation, term.

UDC: 519.716

MSC: 08А99,03В50

Received: 25.10.2020

Language: English

DOI: 10.26516/1997-7670.2021.38.112

Bibliographic databases:

•