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

УДК 004.047, 004.912 DOI: 10.25702/KSC.2307-5252.2018.10.112-119 В.В. Диковицкий12, А.А. Менькова12 Л.М. Шишаева3 1 Институт информатики и математического моделирования ФИЦКНЦРАН 2 Филиал ФГБОУВО «МАГУ» в г. Апатиты 3 Санкт-Петербургский государственный университет МОДАЛЬНАЯ ЛОГИКА КАК СРЕДСТВО ФОРМАЛИЗАЦИИ НОРМАТИВНЫХ ДОКУМЕНТОВ Аннотация В статье рассмотрены предпосылки появления противоречий в нормативных документах, аргументы в пользу необходимости автоматизации поиска противоречий с помощью модальной логики. Описаны основные составляющие модальной логики, сделан упор на деонтические модальности. Рассмотрены основные обозначения, аксиомы и правила вывода деонтической логики. Проанализирован существующий опыт создания логических систем с применением аппарата модальной логики. Ключевые слова: Противоречия в нормативных документах, модальная логика, модальность, деонтическая логика V.V. Dikovitskiy, A.A. Menkova, L.M. Shishaeva MODAL LOGIC AS A MEANS OF FORMALIZATION OF NORMATIVE DOCUMENTS Abstract The article describes the prerequisites for the emergence of contradictions in regulatory documents, the arguments in favor of the need to automate the search for contradictions using modal logic. The main components of modal logic are described, emphasis is placed on deontic modalities. The main notation, axioms and rules for the derivation of deontic logic are considered. The existing experience of creating logical systems using the modal logic apparatus is analyzed. Keywords: Contradictions in regulatory documents, modal logic, modality, deontic logic Введение Нормативные документы - особый вид документов. [1] С одной стороны, законы, распоряжения, нормативные акты, указы, постановления и т.п. являются текстами на естественном языке (русском, английском и т.д.), с другой стороны, назначение этих текстов - применение к конкретной ситуации в предметной области и вывод о том, соответствует ли данная ситуация Закону. [2] Обширность базы нормативно-правовой документации, ее постоянное увеличение и модернизация приводят к появлению противоречий. Многие аспекты противоречий не поддаются строгой формализации что делает затруднительным их автоматическое выявление с применением вычислительной техники [3]. Тем не менее формализация закона (или любого нормативного акта) необходима для того, чтобы средствами математической логики выявлять в нем 112