Верификация версий расследования на основе компьютерной логико-семантической модели

Аннотация

The paper [4] substantiates the possibility of formalizing the investigative situation in a digital logical – semantic model for the current state of the information base of the investigation. The model is presented using formulas based on atomic statements of universal syllogistics. Atomic statements and conjunctive formulas made up of them have semantic meanings in the form of a set of non-negative integers or an empty set. Universal syllogistics differs from many well-known syllogistics in the ability to express single- meaning statements by means of a conjunctive formula. The computer program calculates the semantic meaning of the universal syllogistic formula describing the version, and allows you to check whether it is a logical consequence of the information available at this stage of the investigation. The program also allows you to visually depict logical connections in the form of a discrete Venn diagram. Ideologically, this approach goes back to the works of P. S. Poretsky. Keywords: process of investigating criminal cases, digitalization of logical - semantic models, syllogistics, applications of logic, decision-making, verification of logical consequence. Введение. Субъект расследования имеет дело с отражением на материаль- ных носителях различной природы – материальной обстановке, памяти участни- ков и очевидцев преступления. Процесс расследования – познавательная деятельность, в которой выявля- ются связи между фактами и обстоятельствами субъектами и объектами пре- ступления. Он восходит от знания о настоящем – к знанию о прошлом. Вехами, отмечающими процесс расследования, служат следственные ситуации и версии, выдвигаемые на основании текущей информационной базы и логико- семантической модели (следственной ситуации). Основная часть. Рассмотрим, в каком соотношении находится булева ло- гика высказываний и универсальная силлогистика. 1. Сопоставим модельным множествам булевы переменные так что являются характеристическими функциями для , то есть . 2. Любая формула булевой логики от n переменных может быть рассмотрена как логическое уравнение (равенство) . Левая часть этого Мультидисциплинарные (неюридические) аспекты цифровой трансформации равенства может быть представлена любой другой формулой, равносильной , в том числе совершенной дизъюнктивной нормальной формой. 3. Заменим в равенстве характеристические функции модельных множеств на соответствующие им модельные множества , а единицу на универсум . Между равенствами и существует соотно- шение изоморфизма. 4. Чтобы перевести равенства формулы логики высказываний в равенства формулы булевой логики используется равносильные формулы . 5. Чтобы соотнести атомарные высказывания универсальной силлогисти- ки с равенствами , используем равносильности, установленные еще во времена Венна. Например, . Отсюда следует, что . Этому универсуму сопоставляется диаграмма, изображенная на рис. 2. Ur= 0 3 7 Y = │====■■│ Рис. 2. Диаграмма для формулы Таким образом, вырожденная логика высказываний с семантическими значениям ложь (0) и истина (1), в которой наличествует парадокс материальной импликации, может быть заменена универсальной силлогистикой, основанной на алгебраической системе. Рассмотрим пример перехода от конъюнктивной формулы логики выска- зываний к конъюнктивной формуле универсальной силлогистики. Заменяем подформулы с импликацией равносильными . Далее заменяем булевы переменные модельными множествами и получа- ем равенство являюшееся КППФ универсальной силлогистики. . (4) Процесс доказывания (формирования версионного умозаключения) в каж- дой следственной ситуации реализуется итерационной процедурой состоящей как минимум из пяти этапов: Мультидисциплинарные (неюридические) аспекты цифровой трансформации 1) количественное накопление и структуризация фактических данных; 2) совокупная логическая оценки этих данных и формирования версий; 3) верификация версий с фиксацией возможностных и необходимых для версии заключений; 4) выявление неполноты фактической базы для каждой из перспективных версий и планирование следственных действий по ее пополнению; 5) уточнение (корректировка) предыдущей следственной ситуации и по- строение следующей следственной ситуации, исходя из реалий процесса рассле- дования. «Основные функции версий – объяснительная, установительная, прове- рочная» [1. С. 79]. В литературе [1] выявлены три различные формы связи между ними: не- обходимой, сопутствующей (возможной), а также наиболее сильной и редкой – необходимой и достаточной. Возможная форма связи иллюстрируется примером 1. Пример 1. Пусть имеет место система из двух посылок, выраженных мно- гозначными категорическими суждениями Аристотеля. Все M есть P и некото- рые P есть S. Логично предположить, что некоторые из M есть S. В нотации кате- горических суждений Аристотеля Многозначность категорических суждений не позволяет уточнить при ка- ких сочетаниях смысловых значений посылок эта возможность реализуется. Универсальная силлогистика позволяет это сделать. Запишем категорически