Международный конгресс "МАТЕМАТИКА в XXI веке.
Роль ММФ НГУ в науке, образовании и бизнесе."
25-28 июня 2003г., Академгородок
Обращение Конгресса
Тезисы докладов
Круглый стол "Математическое образование в школе и в ВУЗе."
Формы специальных знаний в социально-правовой информации: программная обработка конфликтных ситуаций и противоречивых фактов
Красноярский государственный технический университет (Красноярск)
Во многих случаях от систем представления и
обработки знаний требуется наличие определенных характеристик,
связанных с их организацией и управлением.
К ним можно отнести следующие позиции:
- Ограниченные связи и децентрализованное принятие решений,
компьютеры не имеют доступа к внутренним компонентам друг друга.
Локальность связей между компьютерами опосредует необходимость в
децентрализованном принятии решений.
- Принципиальная
противоречивость баз знаний, вследствие независимости и
приватности информации пользователей разные базы знаний
распределенной системы неизбежно содержат противоречащие друг
другу положения, если взять в целом все базы знаний, то они будут
противоречивы. Децентрализация не позволяет обновлять все базы
знаний одновременно. Из этого следует, что нет принципиальной
возможности узнать, какая информация содержится в базах данных в
каждый конкретный момент времени. Таким образом, система должна
функционировать в условиях противоречивости и неполноты базы
знаний.
- Необходимость соглашений между компонентами
системы, так в системах с высоким уровнем распределенности ни один
компонент не управляет ресурсами других компонентов. Отдельные
компоненты системы должны «убеждать» друг друга делиться
ресурсами, а архитектура систем должна поддерживать механизм
ведения переговоров.
- Неадекватность гипотезы замкнутого
мира. Суть гипотезы замкнутого мира заключается в том, что модель
внешнего мира считается информационно полной, то есть из локальной
информации, которой обладает система, можно вывести именно те
связи, которые существуют между реальными объектами. На практике,
чем меньше информации доступно системе локально, тем труднее
обеспечить заранее подготовленные ответы на все случаи жизни.
Семантика обмена высказываниями определяет значение высказывания
таким образом: значением высказывания считается то влияние,
которое оно имеет на последующее поведение системы. Иначе говоря,
значение высказывания определяется тем, как оно повлияло на
поведение адресата. Каждое частичное поведение высказывания
создается адресатом в зависимости от характера его обработки.
Глубинный уровень понимания всегда связан с выделением категорий,
которые порождаются взаимодействиями, а не присущи явлениям
внутренне, и зависят от сочетания различных точек зрения. Поэтому
значение высказывания принципиально связано с взаимодействием.
Значение высказывания всегда открыто и может неограниченно
развертываться и развиваться по мере того, как адресат
обрабатывает его. В семантике обмена высказываниями понятие
значения основано не на логике, а на коммуникации. При наличии
конфликтной информации требуется вырабатывать различные подходы к
пониманию конфликтной ситуации, и пути их разрешения.
В рамках этого подхода была разработана программная система для
решения различных задач в области гражданского процессуального
права. Среди них были следующие задания:
изучение схем и образцов процессуальных документов для ознакомления
с правилами их
составления с целью уяснения особенностей опосредования
процессуальных действий определенными актами – документами ( по
стадиям гражданского процесса). При создании шаблонов документов
использовалась теория кластерного анализа, которая позволяет
осуществлять более быстрый поиск документов, доступ к ним и
некоторые другие задачи.
© 1996-2002, Сибирское отделение Российской академии наук, Новосибирск