В докладе рассматриваются вопросы разработки программного ком-плекса, предназначенного для экспериментального исследования особенностей логического вывода на основе VTF-логик.
Под VTF-логиками понимаем класс логик, основанный на векторном представлении истинности. Согласно ему истинность представляется вектором вида <Истина; Ложь>, где оба компонента (аспекта истинности) принимают значения из интервала [0, 1]. Оба компонента определяются конструктивно в том смысле, что каждый из них формируется своим комплексом свидетельств. В результате, если, например, нет свидетельств ни в пользу Истины ни в пользу Лжи, соответствующий вектор принимает значение <0; 0> (Неопределенность). Если доводы убедительны как в пользу Истины, так и в пользу Лжи вектор равен <1;1> (Противоречие) и т.п. Строгая истина и строгая ложь представлены, соответственно, векторами <1; 0> и <0; 1>.
В серии работ и докладов автора на различных конференциях обсуждались вопросы организации вывода в таких логиках. Предлагаемый доклад посвящен обсуждению практической реализации соответствующих техник в рамках программного комплекса. Комплекс разрабатывался специально для проверки теоретических положений, положенных в основу подобного вывода. Фактически он является своего рода средой для разработки простейших экспертных и консультирующих систем, призванных работать в условиях дефицита и противоречивости данных.
В докладе обсуждаются особенности представления данных и знаний в указанном программном комплексе, элементы организации диалога с пользователем при формировании базы знаний, а также в ходе консультаций и некоторые другие вопросы.
Примечание. Тезисы докладов публикуются в авторской редакции
Ваши комментарии Обратная связь |
[Головная страница] [Конференции] |
© 1996-2000, Институт вычислительных технологий СО РАН, Новосибирск
© 1996-2000, Сибирское отделение Российской академии наук, Новосибирск