Применение логики первого порядка для выявления организаторов и исполнителей противоправных действий в преступных группах

Известны три основных семейства алгоритмов вывода в логике первого порядка: прямой логический вывод и его применение к дедуктивным базам данных и продукционным системам; процедуры обратного логического вывода и системы логического программирования; системы доказательства теорем на основе метода резолюции. При решении конкретных проблем наиболее эффективными являются алгоритмы, позволяющие охватить все факты и аксиомы, которые должны быть учтены в процессе логического вывода. Рассматривается пример применения логики первого порядка с целью выявления виновных в противоправных действиях. На основании высказываний формируется база знаний из выражений, с помощью которых составляется выражение логики первого порядка. Приводятся доказательства рассуждений, полученных в прямом логическом выводе с помощью дерева доказательств. Прямой логический вывод предусматривает выполнение допустимых этапов логического вывода на основе всех известных фактов, поэтому также рассматривается метод на основе резолюции при реализации обратного логического вывода с учетом выражения, полученного при прямом логическом выводе. Данное выражение преобразуется в конъюнктивную нормальную формулу с помощью законов булевой алгебры и доказывается методом исключения событий с помощью операции конъюнкции.

1. Самойлов, А. В. О применении основных логических законов и последствиях их нарушения в уголовно-процессуальной деятельности / А. В. Самойлов, Д. Е. Снегирева // Auditorium : электр. науч. журнал Курского гос. ун-та. - 2014. - № 4. - С. 96-102.

2. Владимиров, Л. Е. Учение об уголовных доказательствах / Л. Е. Владимиров. - Тула : Автограф, 2000. - 464 с.

3. Рассел, C. Искусственный интеллект: современный подход / C. Рассел, П. Норвиг. - 2-е изд. - М. : Вильямс, 2006. - 1408 с.