Automatic Theorem Proving⤓ .md 2026-07-13T062546.818 000000000000736 **Origin.** Soviet work in mathematical logic and automatic reasoning; contributions by Maslov (inverse method, 1964), Lifschitz, and others; connections to the Soviet tradition in mathematical logic from Kolmogorov and Markov.
Dialogue Systems⤓ .md 2026-07-13T062546.818 000000000000664 **Origin.** Soviet work on natural language processing and human-machine dialogue; research at Moscow State University, the Institute of Linguistics, and the Institute of Control Sciences (1970s-1980s).
Frame-Based Knowledge⤓ .md 2026-07-13T062546.818 000000000000704 **Origin.** Minsky's frames (1974) were extensively developed in Soviet AI at the Institute of Control Sciences and elsewhere; integration with Soviet logic programming and semantic networks.
Fuzzy Set Reasoning⤓ .md 2026-07-13T062546.818 000000000000688 **Origin.** 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-13T062546.818 000000000000688 **Origin.** Soviet pattern recognition school; foundational work by Bongard ("Pattern Recognition," 1967), Aizerman, Braverman, and Rozonoer (potential functions), Vapnik and Chervonenkis (VC theory, statistical learning).
Semiotic Modeling⤓ .md 2026-07-13T062546.818 000000000000672 **Origin.** Soviet semiotics applied to AI; work by Yuri Shreider, Mikhail Bongard, and the Moscow-Tartu semiotic school; Pospelov's integration of semiotics into AI.
Situational Control⤓ .md 2026-07-13T062546.818 000000000000688 **Origin.** Dmitry Pospelov and the Soviet AI school (1970s-1980s); developed at the Institute of Control Sciences (IPU), Moscow; distinct from Western AI's focus on search and logic.