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

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

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

Области интерпретации теоретико-типовой структуры рассматриваются как полные решетки. При этом нижний элемент решетки $$ используется для представления неопределенного значения или отсутствия значения. Явное введение неопределенного значения обеспечивает единообразную формализацию частично определенных функций. Принятые семантические правила обеспечивают корректную обработку частично определенных функций высших типов. Верхний элемент решетки $$ обеспечивает представление переопределенного\ значения, т.е. ошибочного значения, относительно которого прикладная система содержит противоречивые сведения. Введение такого элемента позволяет описать в рамках формальной системы понятие ошибки и тем самым осмысленно поставить задачу об исключении ошибок.

Язык системы содержит выражения всех конечных типов. Язык содержит средства для учета истинности высказываний по отношению к точкам соотнесения, что обеспечивает явный учет различных возможных интерпретаций, и, таким образом, делает язык интенсиональным. При этом интенсиональные контексты представлены единым образом в виде операторов. Подобный способ построения языка описан, например, в rusza. Семантическое построение обеспечивает непротиворечивость системы.

Фрагмент работы, относящийся к описанию языка, в настоящее время готовится к электронной публикации.

Заключение

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

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

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

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

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