Университеттің 85 жылдығына арналған «Қазіргі заманғы математика:
проблемалары және қолданыстары» III халықаралық Тайманов оқуларының
материалдар жинағы, 25 қараша, 2022 жыл
326
область многозначных логик. Далее подробнее остановимся на адаптации алгоритмов
кластеризации с помощью той или иной метрики для конечного множества формул.
Оптимальная кластеризация определяется подходящей метрикой (или из нескольких
метрик) для данного класса задач с учетом минимизации количества ошибок в
полученных разбиениях или заданного функционала качества.
Кластеризация высказываний.
Кластеризация - это разбиение исходного
множества объектов на подмножества (кластеры), при котором каждый объект может
быть отнесен к одному или нескольким заранее неизвестным классам. Внутри каждого
кластера должны оказаться схожие (наиболее близкие по расстоянию) объекты, а объекты
разных кластеров должны быть как угодно далеки.
Так как для множеств формул известны только расстояния между формулами и
расстояния от каждой формулы до тождественно истинной (мера нетривиальности),
остановимся на двух общеизвестных алгоритмах кластеризации. Для реализации их
достаточно знать попарные расстояния между объектами, и они адаптированы в работе
для кластеризации конечных множеств логических формул: учитываются меры
нетривиальности и пересечения соответствующих пар.
Достарыңызбен бөлісу: 
