Введение полных расстояний и мер недостоверности для формул логик Лукасевича для автоматической кластеризации множеств логических высказываний из базы знаний

Abstract

В статье рассмотрены логические высказывания экспертов, которые можно представить в виде логических формул n-значной логики Лукасевича. Используя теоретико-модельный подход, введены полные расстояния между формулами и меры недостоверности формул. Изучены свойства введенных величин. Также показаны вычисления и применения величин для кластеризации групп формул n-значной логики Лукасевича из базы знаний (экспертной системы).

Keywords

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