Metric formulas between the n-valued logic and the unreliability of statements in clustering
Keywords:
multi-valued logic, Lukasiewicz logic, distance between formulas, measure of unreliability, model theory, truth on models, clustering of sets of logical formulasAbstract
The object of study - statements that can be written multiple-valued logic formulas. In the article, using the theory of models introduced over the total distance between the formulas n-valued logic of Lukasiewicz and measure the unreliability of statements formulated the theorem about the properties of these variables. With the distance and entered the unreliability of measures, based on the known algorithms for clustering algorithms for clustering sets of statements, we examine the results for different n.
