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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
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)