Author:
Aladin Dmitry,Kotsenko Anton,Kim Radmir,Peresypkina Mariia,Varlamov Oleg
Abstract
The complexity of the subject areas in which intelligent information systems operate is steadily increasing. The tasks set for such systems are increasingly aimed at automating and robotizing spheres of human activity. The solution of such problems requires adaptive and flexible methods capable of taking into account dynamic changes in the environment in real time. The mivar approach to creating intelligent decision-making systems allows working with adaptive discrete structures and provides methods for making management decisions based on adaptive active logical inference based on the knowledge base of mivar rules. The mivar machine of logical inference is the core of expert systems based on the mivar approach. As a result of the historical development of the mivar approach when working on different subject areas, various versions of mivar machines of logical inference with their algorithms for bypassing rules in the knowledge base were obtained. This paper discusses the reasons for the emergence of such options and demonstrates the need to use a parallel algorithm for activating rules in an adaptive network of logical rules when solving problems of action planning in technical systems.