|
-
Ключові слова:
модель, model ; логічне програмування, логическое программирование, logical programming, programmation logique ; модальна логіка, модальная логика ; документознавство, документоведение
-
Анотація:
Приводится описание метода интерпретации нормативно- правовых документов, устанавливающих порядок и требования к объекту нормирования. Метод позволяет на основе анализа текстов документов, изложенных на естественном языке, построить формально-логическую модель системы требований. Модель может быть использована как информационно- поисковая система по нормативным требованиям в рассматриваемой области, для системного анализа документации на непротиворечивость, полноту, смещение понятий, а также при разработке вариантов изменения нормативно-правовой базы и оценке последствий (эффективности) внедрения предложенных изменений законодательства. Предлагаемый метод апробирован в процессе анализа нормативно-правовой документации в нескольких предметных областях: управлении качеством в АПК, госрегулировании продовольственных рынков, охране интеллектуальной собственности биологической природы и др.
-
Є складовою частиною документів:
-
Теми документа
-
УДК // Методи вирішення проблем
|
