Abstract
Statements that can be recorded by logical multivalued relations are studied. Using model theory, we introduce relations such that various logical values are taken into account most completely in the distances between relations of Lukasevich n-valued logic, introduce an uncertainty measure for statements, and formulate and prove theorems about the properties of these values. Using the introduced distances and uncertainty measures, we adapt known clustering algorithms for the clustering of sets of statements and use examples to examine results for various values of n. We study collective distances, which are the most effective in the sense of clustering indices and can be used to generate new distances for more powerful sets of statements.
Similar content being viewed by others
References
Yu. L. Ershov and E. A. Palyutin, Mathematical Logic, 2nd ed. (Nauka, Moscow, 1987) [in Russian].
A. S. Karpenko, Lukasevich Logic and Simple Numbers (Nauka, Moscow, 2000) [in Russian].
G. S. Lbov and N. G. Startseva, Logical Solving Functions and Problems on Solutions Statistical Stability (Sobolev Institute of Mathematics, Novosibirsk, 1999) [in Russian].
A. A. Vikent’ev and G. S. Lbov, “Setting the metric and informativeness on statements of experts,” Pattern Recogn. Image Anal. 7 (2), 175–183 (1997).
N. G. Zagoryiko, Applied Methods for Data and Knowledge Analysis (Sobolev Institute of Mathematics, Novosibirsk, 1999) [in Russian].
A. A. Vikent’ev, “Refutability measure of experts assertion, distances in many-valued logic and adaptation processes,” in Proc. 16th Int. Conf. “Knowledge–Dialogue–Solution” KDS 2008 (Varna, 2008), pp. 179–188.
E. S. Kabanova, “Distance between Lukasevich quinvalue logic formulas and experts assertions invalidation,” in Proc. 50th Jubilee Int. Students Sci.-Pract. Conf. “Student and Scientific-Technical Progress” (Novosibirsk State Univ., Novosibirsk, 2012).
B. G. Mirkin, Methods of Cluster Analysis for Supporting a Decision Making: Review (National Research Univ. Higher School of Economics, Moscow, 2011) [in Russian].
A. A. Vikent’ev and R. A. Vikent’ev, “Distances and invalidation measures for n-valued logic assertions,” Vestn. Novosib. Gos. Univ. Ser. Mat., Mekh., Inf. 11 (2), 51–64 (2011).
A. A. Vikent’ev, “On possible distances and invalidation measures in multi-valued experts assertions and the way to apply these terms to clusterization and recognition problems,” in Informatics Problems (Siberian Branch RAS, Novosibirsk, 2011), No. 3 (11), pp. 33–45 [in Russian].
G. S. Lbov and V. B. Berikov, Solving Functions Stability in Pattern Recognition and Diverse Information Analysis (Sobolev Institute of Mathematics, Novosibirsk, 2005) [in Russian].
A. Strehl and J. Ghosh, “Clustering ensembles: A knowledge reuse framework for combining multiple partitions,” J. Mach. Learn. Res. 3, 583–617 (2002).
A. S. Biryukov, V. V. Ryazanov, and A. S. Shmakov, “The way to solve cluster analysis problems by algorithms community,” Zh. Vychisl. Mat. Mat. Fiz. 48 (1), 176–192 (2008).
Y. Hong and S. Kwong, “To combine steady-state genetic algorithm and ensemble learning for data clustering,” Pattern Recogn. Lett. 29 (9), 1416–1423 (2008).
I. A. Pestunov, V. B. Berikov, E. A. Kulikova, and S. A. Rylov, “Ensemble clusterization algorithm for high data arrays,” Avtometriya 47 (3), 49–58 (2011).
A. A. Vikent’ev and E. S. Kabanova, “Distance between Lukasevich quin-value logic formulas and experts assertions invalidity in clusterization,” in Proc. Int. Sci. Conf. Dedicated to the Memory and 70th Anniversary of Professor T.G. Mustafin (Karaganda, 2012), pp. 28–29.
A. A. Vikent’ev and E. S. Kabanova, “Distance between Lukasevich quin-value logic formulas and experts assertions invalidation,” Vestn. Karagandinsk. Gos. Univ. Ser. Mat., No. 1 (69), 18–27 (2013).
A. A. Vikent’ev, “Possible distances and degrees of invalidation in multi-valued experts’ assertions and the way to apply these terms to clusterization and recognition problems,” in Informatics Problems (Siberian Branch RAS, Novosibirsk, 2011), No. 3 (11), pp. 33–45 (2011).
A. A. Vikent’ev, “Concerning distances and degrees of uncertainty for many-valued expert statements and application of those concepts in pattern recognition and clustering,” Pattern Recogn. Image Anal. 24 (4), 489–501 (2014).
A. A. Vikent’ev and V. V. Fefelova, “Introduction of total distances and invalidation measures for Lukasevich logic formulas for automated clusterization of the set of logical assertion from the data base,” Vestn. Karagandinsk. Gos. Univ. Ser. Mat., No. 3 (79), 17–24 (2015).
A. A. Vikent’ev and V. V. Fefelova, “New distances and measures of reliability for Lukasevich logic formulas for data base assertions clusterization,” in Proc. 17th All-Russian Conf. with International Participation Mathematical Methods in Pattern Recognition. Svetlogorsk City, Kaliningrad Region (Torus Press, Moscow, 2015), pp. 68–69.
Author information
Authors and Affiliations
Corresponding author
Additional information
Aleksandr Aleksandrovich Vikent’ev. Born in 1954. Graduated from the Academician Buketov Karaganda State University in 1977. PhD in model theory, 1992. Associate Professor from the Department of Algebra and Mathematical Logic of Novosibirsk State University, 1997. Senior Scientific Researcher at the Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences. Author of more than 70 scientific and didactic papers (text-books Number-Theory Problems and Manual for the Turing–Post Machine). Scientific interests: artificial intelligence, computability, model theory, knowledge analysis, pattern recognition, and data clustering.
Rights and permissions
About this article
Cite this article
Vikent’ev, A.A. New model metrics between relations of n-valued logic and uncertainty of automatic clustering of statements. Pattern Recognit. Image Anal. 27, 404–417 (2017). https://doi.org/10.1134/S1054661817030300
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1054661817030300