• Automatic Theorem Proving ⤓ .md 2026-07-15T045311.000 000000000021048
  Soviet mathematical logic and automatic reasoning, 1960s-1980s. Key contributions by Sergei Maslov (inverse method, 1964), Vladimir Lifschitz, and others. Built on the Soviet tradition in mathematical logic from Kolmogorov and Markov. The inverse method provided an alternative to resolution-based theorem proving.
• Dialogue Systems ⤓ .md 2026-07-15T045311.000 000000000021664
  Soviet natural language processing and human-machine dialogue research, 1970s-1980s. Developed at Moscow State University, the Institute of Linguistics, and the Institute of Control Sciences. Emphasized pragmatics (what speech acts accomplish) over syntax, influenced by speech act theory and Soviet discourse analysis.
• Frame-Based Knowledge ⤓ .md 2026-07-15T045311.000 000000000021784
  Minsky's frame concept (1974) was extensively developed in Soviet AI at the Institute of Control Sciences and elsewhere, 1970s-1980s. Soviet researchers integrated frames with logic programming and semantic networks, emphasizing practical knowledge engineering over formal semantics.
• Fuzzy Set Reasoning ⤓ .md 2026-07-13T092753.000 000000000013192
  Zadeh's fuzzy sets (1965) were extensively adopted in Soviet AI and control; Soviet contributions by Averkin, Batyrshin, and others at the Institute of Control Sciences.
• Pattern Recognition ⤓ .md 2026-07-15T045311.000 000000000021536
  Soviet pattern recognition school, 1960s-1980s. Foundational contributions by Mikhail Bongard ("Pattern Recognition," 1967), Aizerman, Braverman, and Rozonoer (potential functions method), and Vapnik and Chervonenkis (VC theory, statistical learning theory). This work laid theoretical foundations for modern machine learning.
• Semiotic Modeling ⤓ .md 2026-07-15T045311.000 000000000022488
  Soviet semiotics applied to artificial intelligence, 1970s-1980s. Key contributors include Yuri Shreider, Mikhail Bongard, and researchers connected to the Moscow-Tartu semiotic school. Dmitry Pospelov integrated semiotic concepts into the Soviet AI program. Built on Lotman's cultural semiotics and Peirce's sign theory.
• Situational Control ⤓ .md 2026-07-15T045311.000 000000000022208
  Dmitry Pospelov and the Soviet AI school, Institute of Control Sciences (IPU), Moscow, 1970s-1980s. Developed as a distinct approach from Western AI's focus on search and logic. Emphasized knowledge-intensive reasoning about structured wholes rather than state-space search.