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

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

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

Литература

1. Крипке С.А. Семантический анализ модальной логики I. Нормальные модальные исчисления высказываний. - в кн. Р. Фейс. Модальная логика. - М: "Наука", 1974, с. 254-303.

2. Скотт Д. Советы по модальной логике. - в кн. Семантика модальных и интенсиональных логик. Под ред. Смирнова В.А. - М: "Прогресс", 1981, с. 280-317.

3. Р. Монтегю. Прагматика. - в кн. Семантика модальных и интенсиональных логик. Под ред. Смирнова В.А. - М: "Прогресс", 1981, с. 254-279.

4. Ружа И. Интенсиональная логика без интенсиональных переменных. - в кн. Модальные и интенсиональные логики и их применение к проблемам методологии науки. Под ред. Смирнова В.А. - М: "Наука", 1984, с. 220-244.

5. Вольфенгаген В.Э., Яцук В.Я. Аппликативные вычислительные системы и концептуальный метод проектирования систем знаний. - М: МО СССР, 1987.

6. Вольфенгаген В.Э. Концептуализация в аппликативных вычислительных системах. - М.: МИФИ, 1990.

7. Вольфенгаген В.Э., Косиков С.В. Аппликативные системы для представления знаний. - в кн. Принципы построения и технология проектирования систем искусственного интеллекта. Информационные материалы - Вып. 3, 1989, с. 17-19.

8. L.Yu.Ismailova, K.E.Zinchenko, L.V.Bourmistrova. Event driven computations for Relational Query Language. - Proceedings of the Workshop on Computer Science and Information Technologies CSIT'99: Moscow, Russia, 1999, pp. 43-52.

9. L.Ismailova, S.Kosikov, K.Zinchenko, A.Mikhailov, L.Bourmistrova, A.Berezovskaya. Building views with description logics in ade: Applications development environment. - Computer Science and Information Technologies: Ufa, Russia, 2000. pp. 153-162.

10. Косиков С.В. Мясников А.В. Математические методы и средства в новой информационной технологии. - М.: МИФИ, 1990.

11. Исмаилова Л.Ю. и др. Компьютерные деловые игры и их использование в обучении. - в кн. Компьютерные технологии в юридической деятельности. - М.: Издательство БЕК, 1994.

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

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

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