TY - CONF

T1 - Integration of Logical and Neural Network Methods for Creation of Digital Twins of Regulations

AU - Palchunov, Dmitry

AU - Nemtsev, Ivan

AU - Yakobson, Alexander

AU - Shelkovnikova, Svetlana

N1 - D. Palchunov, I. Nemtsev, A. Yakobson and S. Shelkovnikova, "Integration of Logical and Neural Network Methods for Creation of Digital Twins of Regulations," 2025 IEEE XVII International Scientific and Technical Conference on Actual Problems of Electronic Instrument Engineering (APEIE), Novosibirsk, Russian Federation, 2025, pp. 1-6, doi: 10.1109/APEIE66761.2025.11289398.

PY - 2025/11/14

Y1 - 2025/11/14

N2 - The paper is devoted to the development of a hybrid system for creating digital twins of regulations, integrating neural network methods with formal logic models. Modern approaches based on embeddings and large language models have the disadvantage of “black box”, which limits their application in critical areas. In this paper, we propose a five-stage algorithm including linguistic preprocessing, construction of atomic diagrams through the LogicText system, generation of vector embeddings, ontological comparison of vector and logical representations of information, and query correction. The system is implemented using the Spring Boot platform with the Camunda BPMN engine for automation of control of regulated processes of university departments. The hybrid approach addresses the opacity problem of language models, providing interpretability and formal verification while preserving the efficiency of neural network methods. The results demonstrate the feasibility of creating a digital deputy for the department secretary.

AB - The paper is devoted to the development of a hybrid system for creating digital twins of regulations, integrating neural network methods with formal logic models. Modern approaches based on embeddings and large language models have the disadvantage of “black box”, which limits their application in critical areas. In this paper, we propose a five-stage algorithm including linguistic preprocessing, construction of atomic diagrams through the LogicText system, generation of vector embeddings, ontological comparison of vector and logical representations of information, and query correction. The system is implemented using the Spring Boot platform with the Camunda BPMN engine for automation of control of regulated processes of university departments. The hybrid approach addresses the opacity problem of language models, providing interpretability and formal verification while preserving the efficiency of neural network methods. The results demonstrate the feasibility of creating a digital deputy for the department secretary.

KW - нормативное регулирование

KW - цифровой двойник

KW - онтология

KW - атомарная диаграмма

KW - LogicText

KW - частичная модель

KW - эмбеддинг

KW - LLM

KW - GPT

KW - regulation

KW - digital twin

KW - ontology

KW - atomic diagram

KW - LogicText

KW - partial model

KW - embedding

KW - LLM

KW - GPT

UR - https://www.scopus.com/pages/publications/105031785934

U2 - 10.1109/APEIE66761.2025.11289398

DO - 10.1109/APEIE66761.2025.11289398

M3 - Paper

SP - 1

EP - 6

T2 - 2025 IEEE XVII International Scientific and Technical Conference on Actual Problems of Electronic Instrument Engineering (APEIE)

Y2 - 14 November 2025 through 16 November 2025

ER -