E3S Web of Conferences (Jan 2020)
Approach for Digitalization of the Technical Systems on Logical Basis
Abstract
In the article is given general approach, which can be implemented for digitalization of technical systems as automation in power sector, production sector and etc. Logical inference model is a basis for formalization of various processes. From other hand process of logical inference is a key for such formalization Proposed functioning is a stage question-answer systems proof’s, where happens to the list an operation and logic output for realization in computer. So many equations of the logic recorded in digital code.