Труды КНЦ вып.9 (ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ вып. 10/2018(9))

нормативной информации представлено в работах [18-21]. Последние десятилетия получило развитие направление автоматизации рассуждений. В работе [22] представлен логический вывод на основе деонтической логики. В рамках проектов ИПИ РАН разработан язык расширенных семантических сетей и продукционный язык ДЕКЛ для их обработки. [23] Они образуют законченный технологический комплекс, ориентированный на сложные задачи, связанные с логическим выводом, преобразованием представлений, экспертными решениями. В работе [24] предложена автоматизация проверки правильности спецификаций протоколов инициирования сеансов в виде мультиагентной системы, представляемой процессными моделями и описанием требований их правильности на языке временной модальной логики. Автоматизацию проверки правильности спецификаций предложено осуществлять логическими программами, получаемыми с помощью предлагаемой методики перехода от процессной модели описания спецификации и требований правильности на языке модальной логики к логической программе проверки правильности на языке логического программирования ПРОЛОГ. В работе [25] предложена система понятий, отношений и аксиом для нормативных документов, позволяющая строить математические модели для множеств взаимосвязанных документов и проводить их логический анализ. В работе [26] предложено использовать эвристики наряду с логическим выводом. Наличие эвристик является неотъемлемой частью реально работающей ЭС, поэтому попытка «зажать» механизм вывода только в жесткий математический аппарат не принесет практического успеха. Следует применить более гибкий подход с использованием аппарата семантических и нейронных сетей, т.к. для использования только автоэпистемической логики нужны неограниченные временные и компьютерные ресурсы (в силу идеализации рассуждений) и требуется эвристика для ограничения этих рассуждений [26]. Заключение Формализация нормативных актов необходима для того, чтобы средствами математической логики выявлять в нем возможные противоречия, неполноту, противоречия с другими законами. Это является важнейшим условием обеспечения целостности правого поля. Для решения данных проблем разрабатываются технологии автоматизированного анализа нормативных документов и контроля целостности правого. Автоматизированная обработка нормативных документов и их логический анализ могут быть использованы при подготовке локальных актов для предупреждения противоречий с законом и с ранее принятыми локальными актами. Литература 1. Миков А.И. Представление онтологий нормативных документов с использованием прикладных логик // Известия ЮФУ. Технические науки, 2014 (в печати) 2. Аксиоматизация нормативных отношений на основе деонтической логики: методы и алгоритмы // Пекшева Марина Владимировна 3. http://www.inteltec.ru/publish/articles/textan/RCDL2004.shtml#1 4. Миков А.И. Нормативные мультиагентные системы // Известия ЮФУ. Технические науки, 2014 (в печати) 117