Abstract
Issues concerning intelligent data analysis occurring in machine learning are investigated. A scheme for synthesizing correct supervised classification procedures is proposed. These procedures are focused on specifying partial order relations on sets of feature values; they are based on a generalization of the classical concepts of logical classification. It is shown that learning a correct logical classifier requires solution of an intractable discrete problem to be solved. This is the dualization problem over products of partially ordered sets. The matrix formulation of this problem is given. The effectiveness of the proposed approach for solution of the supervised classification problem is illustrated on model and real-life data.
This study was partially supported by the Russian Foundation for Basic Research, project no. 19-01-00430-a.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Baskakova, L.V., Zhuravlev, Yu.I.: A model of recognition algorithms with representative samples and systems of supporting sets. U.S.S.R. Comput. Math. Math. Phys. 21(5), 189–199 (1981)
Dmitriev, A.N., Zhuravlev, Y., Krendelev, F.P.: On mathematical principles of objects or phenomena classification. Discrete Anal. (Diskretnyi analiz) 7, 28–40 (1966). (in Russian). In-t matem. SO Akad. Nauk SSSR, Novosibirsk
Djukova, E.V.: On an asymptotically optimal algorithm for constricting irredundant tests. Dokl. Akad. Nauk SSSR 233(4), 527–530 (1977)
Djukova, E.V., Zhuravlev, Y., Prokofyev, P.A.: Logical correctors in the problem of classification by precedents. Comput. Math. Math. Phys. 5(11), 1866–1886 (2017a)
Djukova, E.V., Zhuravlev, Y., Rudakov, K.V.: On the logical algebraic synthesis of correct recognition procedures based on elementary algorithms. Comput. Math. Math. Phys. 36(8), 1161–1167 (1996)
Djukova, E.V., Maslyakov, G.O., Prokofjev, P.A.: About product over partially ordered sets. J. Mach. Learn. Data Anal. 3(4), 239–249 (2017b)
Djukova, E.V., Maslyakov, G.O., Prokofjev, P.A.: Dualization problem over the product of chains: asymptotic estimates for the number of solutions. Doklady Math. 98(3), 564–567 (2018)
Djukova, E.V., Peskov, N.V.: Search for informative fragments in descriptions of objects in discrete recognition procedures. Comput. Math. Math. Phys. 42(5), 711–723 (2002)
Djukova, E.V., Prokofyev, P.A.: Asymptotically optimal dualization algorithms. Comput. Math. Math. Phys. 55(5), 891–905 (2015)
Babin, M.A., Kuznetsov, S.O.: Dualization in lattices given by ordered sets of irreducibles. Theor. Comput. Sci. 658, 316–326 (2017)
Boros, E., Elbassioni, K., Gurvich, V., Khachiyan, L., Makino, K.: Dual-bounded generating problems: all minimal integer solutions for a monotone system of linear inequalities. SIAM J. Comput. 31(5), 1624–1643 (2002)
Eiter, T., Makino, K., Gottlob, G.: Computational aspects of monotone dualization: a brief survey. Discrete Appl. Math. 156(11), 2035–2049 (2008)
Elbassioni, K.M.: Algorithms for dualization over products of partially ordered sets. SIAM J. Discrete Math. 23(1), 487–510 (2009)
Fredman, L., Khachiyan, L.: On the complexity of dualization of monotone disjunctive normal forms. J. Algorithms 21, 618–628 (1996)
Johnson, D.S., Yannakakis, M., Papadimitriou, C.H.: On general all maximal independent sets. Inf. Process. Lett. 27(3), 119–123 (1988)
Ganter, B., Kuznetsov, S.O.: Pattern structures and their projections. In: Delugach, H.S., Stumme, G. (eds.) ICCS-ConceptStruct 2001. LNCS (LNAI), vol. 2120, pp. 129–142. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-44583-8_10
Kaytoue, M., Codocedo, V., Buzmakov, A., Baixeries, J., Kuznetsov, S.O., Napoli, A.: Pattern structures and concept lattices for data mining and knowledge processing. In: Bifet, A., et al. (eds.) ECML PKDD 2015. LNCS (LNAI), vol. 9286, pp. 227–231. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-23461-8_19
Korobkov, V.K.: O monotonnyh funkciyah algebry logiki. V sb. “Problemy kibernetiki”, 13, 5–28 (1965). Nauka
Kozhevnikov, D.L., Larichev, O.I.: Comparison of algorithms for decoding monotone functions by the statistical simulation method. Comput. Math. Math. Phys. 39(8), 1356–1362 (1999)
Murakami, K., Uno, T.: Efficient algorithms for dualizing large-scale hypergraphs. Discrete Appl. Math. 170, 83–94 (2014)
Sokolov, N.A.: On the optimal evaluation of monotonic Boolean functions. Comput. Math. Math. Phys. 22(2), 449–461 (1982)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Djukova, E.V., Masliakov, G.O., Prokofyev, P.A. (2019). Logical Classification of Partially Ordered Data. In: Kuznetsov, S., Panov, A. (eds) Artificial Intelligence. RCAI 2019. Communications in Computer and Information Science, vol 1093. Springer, Cham. https://doi.org/10.1007/978-3-030-30763-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-030-30763-9_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-30762-2
Online ISBN: 978-3-030-30763-9
eBook Packages: Computer ScienceComputer Science (R0)