Новые полные метрики и меры нетривиальности для формул многозначных логик в автоматической кластеризации формул из логической базы знаний. I

Abstract

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

Keywords

• расстояния и меры
• кластеризация множеств
• логика
• алгоритмы