Конференции ИВТ СО РАН

Тезисы докладов

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

В докладе обсуждается еще один подход к описанию истинности суждений о неполных и противоречивых предметных областях. Он основан на представлении истинности вектором áИстина; Ложьñ, где оба компонента (аспекта истинности) принимают значения из интервала [0, 1] [1]. Это делает Истину и Ложь не зависящими друг от друга, а также естественно допускает наличие иных аспектов, кроме Истины и Лжи (без изменения основного формализма). Нечеткие, а также некоторые конечнозначные логики являются частными случаями такого взгляда. Его частным случаем является и классическая логика. Обсуждаются вопросы логического вывода для такого представления.

Литература
1. Многозначные логики с векторной семантикой/ Аршинский Л.В.; ВСИ МВД России.- Иркутск, 2003.- 46 с.: Рус.- Деп. в ВИНИТИ 13.02.03, № 281-В2003

Дополнительные материалы:

PDF (202 kb)

Примечание. Тезисы докладов публикуются в авторской редакции

Ваши комментарии Обратная связь

[Головная страница] [Конференции]

© 1996-2000, Институт вычислительных технологий СО РАН, Новосибирск
© 1996-2000, Сибирское отделение Российской академии наук, Новосибирск