RUS  ENG
Полная версия
ЖУРНАЛЫ // Сибирский журнал чистой и прикладной математики // Архив

Вестн. НГУ. Сер. матем., мех., информ., 2011, том 11, выпуск 2, страницы 51–64 (Mi vngu78)

Эта публикация цитируется в 1 статье

Расстояния и меры недостоверности на высказываниях $n$-значной логики

А. А. Викентьевab, Р. А. Викентьевab

a Институт математики им. С. Л. Соболева СО РАН, пр. Акад. Коптюга, 4, Новосибирск, 630090, Россия
b Новосибирский государственный университет, ул. Пирогова, 2, Новосибирск, 630090, Россия

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

Ключевые слова: расстояния на формулах, метрики, меры «опровержимости», кластеризация, распознавание образов.

УДК: 510.646+510.647

Поступила в редакцию: 17.06.2009



© МИАН, 2024