On Approaches to Creating the Logical Inference Machines for Ensuring Compatibility and Integration of Systems and Controls | IEEE Conference Publication | IEEE Xplore