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

Abstract

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

Keywords

• многозначная логика
• логика Лукасевича
• расстояние между формулами
• мера недостоверности
• теория моделей
• истинность на моделях