Study of model distances on logical statements based on expert interpretation of the formulas of many-valued logics of Lukasiewicz and automatic clustering of knowledge bases. I

Abstract

In article the model range on logical statements based on expert interpretation of the formulas of many - valued logics of Lukasiewicz. The result of Theorem 1 is based on the metric ordering elementary statements by each expert. Examples with the calculation of the distances between the formulas showing novelty metrics.