Метрика между формулами n-значной логики и недостоверность в кластеризации высказываний

Abstract

Объект исследования — высказывания, которые можно записать логическими многозначными формулами. В статье, используя теорию моделей, вводятся понятия более полного расстояния между формулами n-значной логики Лукасевича и меры недостоверности высказываний, кроме того, сформулированы теоремы о свойствах этих величин. С помощью введённых расстояния и меры недостоверности на основе известных алгоритмов кластеризации разработаны алгоритмы для кластеризации множеств высказываний и исследованы результаты для различных n.