ИНФОРМАЦИОННОЕ МОДЕЛИРОВАНИЕ ДИНАМИЧНЫХ РАССУЖДЕНИЙ НА ПРИМЕРЕ ЮРИДИЧЕСКОЙ ДЕЯТЕЛЬНОСТИ

Л.Ю. Исмаилова, С.В. Косиков
НОУ «Институт актуального образования «Юринфор-МГУ»
г. Москва

Электронное издание работы публикуется в сокращенном варианте

В целом задача полноценного моделирования рассуждений в областях с неоднозначной интерпретацией далека от решения. Во многом трудности возникают вследствие того, что для подобных областей характерно одновременное наличие "двух логик", т.е. двух способов рассуждения: "логики знания", суть которой состоит в моделировании развития взгляда субъекта на ПО, и "логики данных", отображающей поведение объектов ПО. "Логика знания" описывает процесс постепенного расширения знаний в ходе решения задачи в ПО, при котором знания об объектах ПО возникают независимо от их наличия, отсутствия, поведения и т.п. Эта логика существенно интуиционистская. "Логика данных" описывает состояния ("статические срезы") ситуации в ПО. При условии фиксации точки зрения на ПО, момента времени и т.п., соответствующих определенному в данной точке уровню знания, эта логика – классическая.

Разработка таких моделей предполагает создание специализированных методов моделирования, учитывающих такие специфические качества юридической деятельности, как наличие большого количества разноуровневых правовых актов для регулирования конкретных общественных отношений, освещение сторонами в процессе одних и тех же обстоятельств дела с различных позиций и т.п. Решение этой задачи предполагает корректный и непротиворечивый метод описания правовых норм и последовательности действий с целью установления их соответствия. Естественной формальной основой такого метода является математическая логика. Однако классическая логика представляется недостаточной для решения этой задачиwolf_kos, так как не обеспечивает естественным образом описания изменения истинности высказываний в зависимости от времени, условий произнесения и т.д.

Интенсиональный язык и его семантика

В работе предлагается специализированный формальный язык для описания фрагментов динамичных гетерогенных ПО. Для интерпретации языка разработана семантическая конструкция – теоретико-типовая структура, в явном виде содержащая понятие точки соотнесения, задающей параметризацию условий истинности формул языка. Впервые модели, основанные на этом принципе, предложены в работе kripke. Различные варианты интенсиональных систем и принципов их построения изучались также в scott,mont,wolf.

Опубликовано:
Исмаилова Л. Ю., Косиков С. В. Информационное моделирование динамичных рассуждений на примере юридической деятельности. // Технологии информационного общества - Интернет и современное общество: труды IV Всероссийской объединенной конференции. Санкт-Петербург, 20 - 23 ноября 2001 г. - СПб.: Изд-во С.-Петерб. ун-та, 2001. - с. 36 - 43.

Никакая часть содержащегося здесь текста ни в каких целях не может быть воспроизведена в какой бы то ни было форме и какими бы то ни было средствами, будь то электронные или механические, если на то нет письменного разрешения АО "Центр ЮрИнфоР".

(Размещена 20 августа 2006 г.)