Abstract
A retrospective survey of several research directions at the All-Soviet (now All-Russia) Institute for Scientific and Technical Information (VINITI), as well as research represented in several VINITI editions, is proposed. In a number of papers of the 1970-1980s, taxonomies (classifications) were naturally considered as lattices. Several problems of classification required consideration of tolerance relations as a model of similarity of objects. Such relations define symmetric formal contexts. A JSM-method of inductive plausible reasoning, which has been developed at VINITI since the early 1980s, is considered in terms of Galois connections and concept lattices. Mathematical research around the JSM-method and its applications is discussed.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Anshakov, O.M.: On a data lattice for the JSM-method of automated hypothesis generation. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(5-6), 33–36 (1996) (in Russian)
Anshakov, O.M.: Causal models of subject domains. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(3), 3–16 (2000) (in Russian)
Anshakov, O.M., Skvortsov, D.P., Finn, V.K.: Logical Means of Expert Systems of JSM-type. Semiotika i Informatika 28, 65–101 (1986) (in Russian)
Anshakov, O.M., Skvortsov, D.P., Ivashko, V.G., Finn, V.K.: Logical Means of the JSM-method of Automated Hypothesis Generation: Main Notions and System of Inference Rules. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(9), 10–18 (1987) (in Russian)
Anshakov, O.M., Finn, V.K., Skvortsov, D.P.: On axiomatization of manyvalued logics associated with the formalization of plausible reasonings. Stud. Log. 25(4), 23–47 (1989)
Birkhoff, G.D.: Lattice Theory. Amer. Math. Soc, Providence (1979)
Blinova, V.G.: Results of Application of the JSM-method of Hypothesis Generation to Problems of Analyzing the Relation “Structure of a Chemical Compound - Biological Activity. Autom. Docum. Math. Ling. 29(3), 26–33 (1995)
Blinova, V.G., Dobrynin, D.A.: Languages for Representing Chemical Structures in Intelligent Systems of Drug Design. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(6), 14–21 (2000) (in Russian)
Blinova, V.G., Dobrynin, D.A., Finn, V.K., Kuznetsov, S.O., Pankratova, E.S.: Toxicology analysis by means of the JSM-method. Bioinformatics 19, 1201–1207 (2003)
Bochvar, D.A.: On a three-valued calculus and its application to the analysis of paradoxes of the classical extended functional calculus. Matematicheskii sbornik (2), 287–308 (1938) (in Russian)
Borshev, V.B., Brudno, V.A., Khomyakov, M.V.: Algebraic Description of the Structure of Dependencies in a Database. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(3), 17–18 (1977) (in Russian)
Budunova, A.P., Poroikov, V.V., Blinova, V.G., Finn, V.K.: The JSM-method of hypothesis generation: Application for analysis of the relation “Structure - hepatoprotective detoxifying activity. Nauchno-Tekhnicheskaya Informatsiya (7), 12–15 (1993) (in Russian)
Data Mining Cup (DMC), http://www.data-mining-cup.de
Dunaev, V.V., Polyakov, O.M.: Methodological Aspects of Relational Classification Theory. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(4), 21–27 (1987) (in Russian)
Fabrikantova, E.F.: Problems of computer modeling of metabolic transformations of xenobiotics in a human organism Itogi Nauki i Tekhniki. Seriya Informatika 15, 115–135 (1991) (in Russian)
Ferré, S., Ridoux, O.: The use of associative concepts in the incremental building of a logical context. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol. 2393, pp. 299–313. Springer, Heidelberg (2002)
Finn, V.K.: On Machine-oriented Formalization of Plausible Reasoning in F.Bacon-J.S.Mill Style. Semiotika i Informatika (20), 35–101 (1983) (in Russian)
Finn, V.K.: Plausible Reasoning in Systems of JSM Type, Itogi Nauki i Tekhniki. Seriya Informatika 15, 54–101 (1991) (in Russian)
Finn, V.K.: On a variant of argumentation logic. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(5-6), 3–19 (1996) (in Russian)
Finn, V.K.: Synthesis of cognitive procedures and the problem of induction. Nauchno-Tekhnicheskaya Informatsiya, ser. 2(1-2), 8–44 (1999) (in Russian)
Finn, V.K., Mikheyenkova, M.A.: On logical means of conceptualization of opinion analysis. Nauchno-Tekhnicheskaya Informatsiya 2(6), 4–21 (2002) (in Russian)
Galitsky, B.A., Kuznetsov, S.O., Samokhin, M.V.: Analyzing Conflicts with Concept-Based Learning. In: Dau, F., Mugnier, M.-L., Stumme, G. (eds.) ICCS 2005. LNCS (LNAI), vol. 3596, pp. 307–322. Springer, Heidelberg (2005)
Ganter, B., Grigoriev, P.A., Kuznetsov, S.O., Samokhin, M.V.: Concept-based data mining with scaled labeled graphs. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol. 3127, pp. 94–108. Springer, Heidelberg (2004)
Ganter, B., Kuznetsov, S.O.: Formalizing Hypotheses with Concepts. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol. 1867, pp. 342–356. Springer, Heidelberg (2000)
Ganter, B., Kuznetsov, S.O.: Pattern structures and their projections. In: Delugach, H.S., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol. 2120, pp. 129–142. Springer, Heidelberg (2001)
Ganter, B., Kuznetsov, S.O.: Hypotheses and Version Spaces. In: Ganter, B., de Moor, A., Lex, W. (eds.) ICCS 2003. LNCS, vol. 2746, pp. 83–95. Springer, Heidelberg (2003)
Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1999)
Gergely, T., Finn, V.K.: On Solver of “Plausible Inference + Deduction” Type, in Intelligent Information-Computing Systems. In: Artif. Intel. IFAC Ser., vol. (9). Pergamon Press, London (1984)
Grigoriev, P.A.: SWORD-systems or JSM-systems for strings employing statistical considerations. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(5-6), 45–51 (1996) (in Russian)
Grigoriev, P.A.: On computer forecast of repeated hypophysis adenoma. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(1-2), 83–88 (1999) (in Russian)
Grigoriev, P.A., Kuznetsov, S.O., Obiedkov, S.A., Yevtushenko, S.A.: On a Version of Mill’s Method of Difference. In: Proc. ECAI 2002 Int. Workshop on Advances in Formal Concept Analysis for Knowledge Discovery in Databases, Lyon, pp. 26–31 (2002)
Grigoriev, P.A., Yevtushenko, S.A.: Elements of an agile discovery environment. In: Grieser, G., Tanaka, Y., Yamamoto, A. (eds.) DS 2003. LNCS (LNAI), vol. 2843, pp. 311–319. Springer, Heidelberg (2003)
Grigoriev, P.A., Yevtushenko, S.A., Grieser, G.: QuDA, a data miner’s discovery enviornment, Tech. report, FG Intellektik, FB Informatik, Technische Universität Darmstadt, AIDA 03 06 (2003), http://www.intellektik.informatik.tudarmstadt.de/~peter/QuDA.pdf
Gusakov, V.Y., Yakubovich, S.M.: Galois Connection and Some Theorems on Representing Binary Relations. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(7), 3–6 (1974) (in Russian)
Gusakov, V.Y., Yakubovich, S.M.: On Classification Algorithms. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(12), 17–22 (1976) (in Russian)
Gusakova, S.M., Finn, V.K.: On Formalization of Local and Global Similarities. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(6), 16–19 (1986) (in Russian)
Gusakova, S.M.: Canonical Representation of Similarities. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(9), 19–22 (1987) (in Russian)
Gusakova, S.M., Finn, V.K.: On New Means for Formalization of Local and Global Similarities. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(10), 14–22 (1987) (in Russian)
Gusakova, S.M., Finn, V.K.: Similarity and Plausible Reasoning. Izvestia Akademii Nauk (Tekhnicheskaya Kibernetika) (5), 42–63 (1987) (in Russian)
Gusakova, S.M., Mikheenkova, M.A., Finn, V.K.: On Logical Means for Automated Analysis of Opinions. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(5), 4–24 (2001) (in Russian)
Gusakova, S.M.: Paleography with JSM-method. Technical Report, VINITI (2001)
Hirsh, H.: Generalizing Version Spaces. Machine Learning 17, 5–46 (1994)
Kuznetsov, S.O.: On the lattice on graph sets for graphs with ordered vertex labels. In: Proc. Workshop on Semiotical Aspects of Formalization of Intelligent Activity, Borzhomi (Georgia, USSR), vol. 1, pp. 204–207 (1988) (in Russian)
Kuznetsov, S.O.: Similarity operation on hypergraphs as as a Basis of Plausible Inference. In: Proc. 1st Soviet Conference on Artificial Intelligence, vol. 1, pp. 442–448 (1988) (in Russian)
Kuznetsov, S.O.: Interpretation on Graphs and Complexity Characteristics of a Search for Specific Patterns. Nauchn. Tekh. Inf., Ser (Automat. Document. Math. Linguist.) 2(1), 23–27 (1989) (in Russian)
Kuznetsov, S.O.: JSM-method as a machine learning method Itogi. Nauki i Tekhniki, ser. Informatika 15, 17–50 (1991)
Kuznetsov, S.O.: Mathematical aspects of concept analysis, Journal of Mathematical Science. Journal of Mathematical Science. Ser. Contemporary Mathematics and Its Applications 18, 1654–1698 (1996) (in Russian)
Kuznetsov, S.O.: Learning of simple conceptual graphs from positive and negative examples. In: Żytkow, J.M., Rauch, J. (eds.) PKDD 1999. LNCS (LNAI), vol. 1704, pp. 384–391. Springer, Heidelberg (1999)
Kuznetsov, S.O.: On Computing the Size of a Lattice and Related Decision Problems. Order 18(4), 313–321 (2001)
Kuznetsov, S.O.: Machine learning and formal concept analysis. In: Eklund, P. (ed.) ICFCA 2004. LNCS (LNAI), vol. 2961, pp. 287–312. Springer, Heidelberg (2004)
Kuznetsov, S.O.: Learning in Concept Lattices from Positive and Negative Examples. Discrete Applied Mathematics 142, 111–125 (2004)
Kuznetsov, S.O., Finn, V.K.: Extension of Expert Systems of JSM-type to Graphs. Izvestia AN SSSR, ser. Tekhn. Kibern. (5), 4–11 (1988)
Kuznetsov, S.O., Finn, V.K.: On a model of learning and classification based on similarity operation. Obozrenie Prikladnoi i Promyshlennoi Matematiki 3(1), 66–90 (1996)
Kuznetsov, S.O., Obiedkov, S.A.: Comparing performance of algorithms for generating concept lattices. J. Exp. Theor. Artif. Intell. 14(2-3), 189–216 (2002)
Kuznetsov, S.O., Samokhin, M.V.: Learning closed sets of labeled graphs for chemical applications. In: Kramer, S., Pfahringer, B. (eds.) ILP 2005. LNCS (LNAI), vol. 3625, pp. 190–208. Springer, Heidelberg (2005)
Leibov, A.E.: Some methods of realization of the similarity operations for chemically oriented expert systems of JSM type. Nauchno-Tekhnicheskaya Informatsiya, Ser 2(5-6), 20–32 (1996) (in Russian)
Maier, D.: The Theory of Relational Databases. Computer Science Press (1983)
Matveev, A.A., Fabrikantova, E.F.: Algorithmic and Programming Means for Metabolism Forecasting. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(6), 26–34 (2002) (in Russian)
Meien, S.V., Shreider, Y.A.: Methodological Aspects of Classification Theory. Problemy Filosofii (12), 67–69 (1976) (in Russian)
van der Merwe, D., Obiedkov, S., Kourie, D.G.: AddIntent: A new incremental algorithm for constructing concept lattices. In: Eklund, P. (ed.) ICFCA 2004. LNCS (LNAI), vol. 2961, pp. 372–385. Springer, Heidelberg (2004)
Mikheenkova, M.A., Avidon, V.V., Sukhanova, S.A.: On Program Realization of the JSM-method of Automated Hypothesis Generation with Nonelement set of attributes. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(11), 20–26 (1984) (in Russian)
Mikheenkova, M.A., Finn, V.K.: On a Class of Expert Systems with Incomplete Information. Izvestia AN SSSR, ser. Tekhn. Kibern (5), 82–103 (1986) (in Russian)
Mill, J.S.: A System of Logic. Ratiocinative and Inductive, London (1843)
Mitchell, T.: Generalization as Search. Artificial Intelligence 18(2) (1982)
Mitchell, T.: Machine Learning. The McGraw-Hill Companies, New York (1997)
Nicolas, J.M.: Mutual Dependencies and Some Results on Undecomposable Relations. In: Proc. 4th Int. Conf. on Very Large Data Bases, West Berlin, pp. 360–376 (1978)
Obiedkov, S.: Modal logic for evaluating formulas in incomplete contexts. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol. 2393, pp. 314–325. Springer, Heidelberg (2002)
Obiedkov, S.A., Duquenne, V.: Incremental Construction of the Canonical Implication Basis. In: Proc. International Conference Journee de l’Informatique Messine (JIM 2003), Metz (2003); To appear in Discrete Applied Mathematics (2005)
Pankratova, E.S., Pankratov, D.V., Finn, V.K., Shabalova, I.P.: Application of the JSM-method for forecasting high pathogenicity viruses of human papilloma. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(6), 22–25 (2002) (in Russian)
Panova, N.S., Shreider, Y.A.: On Symbolic Nature of Classification. Nauchno- Tekhnicheskaya Informatsiya, Ser. 2(12), 3–10 (1974) (in Russian)
Popov, D.V., Blinova, V.G., Pankratova, E.S.: Drug Design: JSM-method of Hypothesis Generation for Antitumor Activity and Toxic Effects Forecast with Respect to Plant Products. In: FECS 5th Int. Conf. Chem. and Biotechnol. Biologica. Act. Nat. Prod., Varna, Bulgaria, September 18-23, pp. 437–440 (1989)
Polyakov, O.M., Dunaev, V.V.: Classification Schemes: Synthesis through Relations. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(6), 15–21 (1985) (in Russian)
Polyakov, O.M.: Classification Data Model. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(9), 13–20 (1986) (in Russian)
Polyakov, O.M.: On Systematization. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(12), 21–28 (1988) (in Russian)
Quinlan, J.R.: Induction on Decision Trees. Machine Learning 1(1), 81–106 (1986)
Raskina, A.A., Sidorov, I.S., Shreider, Y.A.: Semantical Foundations of Object-Attribute Languages. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(5), 18–25 (1976) (in Russian)
Shreider, Y.A.: Mathematical Model of Classification Theory, pp. 1–36. VINITI, Moscow (1968) (in Russian)
Shreider, Y.A.: Equality, Similarity, Order, Moscow, Nauka (1971) (in Russian)
Shreider, Y.A.: Logic of Classification. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(5), 3–7 (1973) (in Russian)
Shreider, Y.A.: Algebra of Classification. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(9), 3–6 (1974) (in Russian)
Shreider, Y.A.: Typology as a Base of Classification. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(11), 1–5 (1981) (in Russian)
Soergel, D.: Mathematical Analysis of Documentation Systems. Inf. Stor. Retr. (3), 129–173 (1967)
Tsalenko, M.S.: Semantical and Mathematical Models of Databases. Itogi Nauki i Tekhniki, Ser. Informatika 9, 3–207 (1985) (in Russian)
Tsalenko, M.S.: Canonical Representation of Irreducible Systems and Classification Schemes. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(1), 30–34 (1985) (in Russian)
Tversky, A.: Features of Similarity. Psychological Review 84(4), 327–352 (1977)
Vinogradov, D.V.: Logical Programms for Quasi-Axiomatic Theories. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(1-2), 61–64 (1999) (in Russian)
Vinogradov, D.V.: Formalization of Plausible Reasoning in FOPL. Nauchno- Tekhnicheskaya Informatsiya, Ser. 2(11), 17–20 (2000) (in Russian)
Vinogradov, D.V.: Correct Logical Programms for Plausible Reasoning. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(5), 25–27 (2001) (in Russian)
Wille, R.: Restructuring Lattice Theory: an Approach Based on Hierarchies of Concepts. In: Rival, I. (ed.) Ordered Sets, pp. 445–470. Reidel, Dordrecht (1982)
Wille, R.: Conceptual Structures of multicontexts. In: Eklund, P.W., Ellis, G., Mann, G. (eds.) Conceptual Structure Representation as Interlingua, pp. 23–39. Springer, Heidelberg (1996)
Yakubovich, S.M.: Axiomatic Theory of Similarity. Nauchno- Tekhnicheskaya Informatsiya, Ser. 2(10), 15–19 (1968) (in Russian)
Yakubovich, S.M.: On Properties of Conjugated Tolerance Spaces. Information Problems of Semiotics, Linguistics, and Machine Translation 1, 116–123 (1971) (in Russian)
Yakubovich, S.M. (Gusakova), Decomposition of Tolerance Spaces. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(3), 26–28 (1973) (in Russian)
Zabezhailo, M.I., Finn, V.K., Avidon, A.V., Blinova, V.G., et al.: On experiments with a database using JSM-method of hypothesis generation. Nauchno- Tekhnicheskaya Informatsiya, Ser. 2(2), 28–32 (1983)
Zabezhailo, M.I., Ivashko, V.G., Kuznetsov, S.O., Mikheenkova, M.A., Khazanovskii, K.P., Anshakov, O.M.: Algorithmic and Program Means of JSM-method Of Automatic Hypothesis Generation. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(10), 1–14 (1987) (in Russian)
Zabezhailo, M.I.: On search problems arising in automatic hypothesis generation with JSM-method. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(1), 28–31 (1988)
Zabezhailo, M.I.: Formal models of reasoning in decision making: Applications of the JSM-method in systems of intelligent control and automation of scientific research. Nauchno-Tekhnicheskaya Informatsiya, Ser. 2(5-6), 20–32 (1996) (in Russian)
Zeeman, E.C.: The Topology of Brain and Visual Perception. In: Ford, K.M. (ed.) The Topology of 3-Manifolds and Related Topics, pp. 240–256. Prentice Hall, Englewood Cliffs (1965)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kuznetsov, S.O. (2005). Galois Connections in Data Analysis: Contributions from the Soviet Era and Modern Russian Research. In: Ganter, B., Stumme, G., Wille, R. (eds) Formal Concept Analysis. Lecture Notes in Computer Science(), vol 3626. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11528784_11
Download citation
DOI: https://doi.org/10.1007/11528784_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-27891-7
Online ISBN: 978-3-540-31881-1
eBook Packages: Computer ScienceComputer Science (R0)