Background . The need to develop a reasoning search algorithm that is capable of automating the search and generation of context-based legal positions and an algorithm for generating legal positions of judicial decisions from existing judicial decisions in the judicial system of Ukraine, as a preparatory stage for a reasoning search algorithm. Objective . Development of the concept of a reasoning search algorithm that is capable of automating the search and generation of context-based legal positions. Development and implementation of an algorithm for generating legal positions of judicial decisions available in the judicial system of Ukraine. Methods . Development of the concept of a model of a reasoning search algorithm with three main components: search, formation of alternatives and generation of an answer. Development and implementation of an algorithm for generating legal positions of court decisions that searches for used legal norms, decomposes court decisions into a sequence of actions and generates legal positions. Results. Mathematical model of the algorithm for generating legal positions of court decisions, which ensures automatic formation of a database of structured legal positions. Validation of the algorithm for generating legal positions of court decisions by comparing the results of the algorithm analysis and existing legal positions in the Database of Legal Positions of the Supreme Court. Conclusions. The need for automating the search and generation of context-based legal positions is substantiated. The concept of a reasoning search algorithm is proposed, which is capable of automating the search and generation of context-based legal positions. An algorithm for generating legal positions using large language models and Data Science methods has been implemented, the validation of which has shown that the results correspond to the existing positions of the Supreme Court
Background. Automated surveillance systems using thermal images from UAVs struggle to detect and identify objects in real time, especially against countermeasures.…
Background. Financial time series are characterized by nonlinearity, non-stationarity, and a high level of noise, which significantly complicates their modeling and…
Background . Modern industrial control systems are characterized by a high level of integration between information and physical processes and the use of distributed…