Читать онлайн «Особенности проектирования и онтологии предметной области для поиска противоречий в правовых ЭБ»

Особенности проектирования модели и онтологии предметной области для поиска противоречий в правовых электронных библиотеках Андреев А. М. , Березкин Д. В. , Симаков К. В. В статье предложен подход к решению за- 1. Примеры противоречий в дачи поиска противоречий в правовых тек- законодательстве стах. Описана структура модели предмет- ной области и онтологии. Представлены Прежде, чем разрабатывать теорию выявления примеры противоречий, предложена их противоречий, были исследованы реальные случаи формальная модель и методы выявления, выявления противоречий в законотворческой прак- опирающиеся на структуру модели и онто- тике. Приводимый перечень примеров отнюдь не логии. Рассмотрена структура ЭБ «Монито- является полным, и служит иллюстрацией рассмат- ринг правового пространства и правопри- риваемой в данной работе проблемы. Более того, менительной практики в СФ РФ». технология построения системы выявления проти- воречий должна в качестве одного из первых этапов Введение включать подобный анализ имеющихся примеров, выполняемый экспертом-аналитиком. Такой анализ Термин «противоречие» охватывает обширное позволит позднее сформулировать формальные пра- поле проблем, решаемых в таких областях науки как вила, обнаруживающие противоречия в новых тек- логика, лингвистика, юриспруденция, психология, стах. Иными словами, прежде чем закладывать в этика и др. Многие аспекты противоречий (мораль- систему правила выявления противоречий необхо- но-этические, психологические) не поддаются стро- димо определить их классификацию по результатам гой формализации, что делает затруднительным их анализа естественно-языкового материала. автоматическое выявление с применением вычисли- тельной техники. Тем не менее, логическая сторона 1. 1. Противоречия в понятиях противоречий, разработанная еще в античности Включение в текст документа (раздела законода- (Аристотель), поддается строгой формализации, что тельства) понятия и его прямого отрицания, выра- в принципе дает возможность ее реализации мето- женного в явной и неявной форме. дами искусственного интеллекта. Пример: Обобщенно, в данной работе рассматриваются В Федеральном законе “О реструктуризации противоречия, обнаруживаемые в естественно- кредиторской задолженности юридических лиц по языковых текстах из правовой области, квалифици- налогам и сборам в бюджеты всех уровней”, приня- руемые как разного рода несоответствия ее модели том Государственной Думой, но отклоненном Сове- (МПО) и онтологии (ОПО).