| English | Russian |
| computational tree logic model | темпоральная модель ветвящегося времени (русс. перевод взят из статьи: Куриленко И.Е., Еремеев А.П. Реализация вывода в темпоральных моделях ветвящегося времени // Известия Академии наук. Теория и системы управления 107-127. Alex_Odeychuk) |
| fuzzy inference logic model | модель выводов на базе нечёткой логики (ssn) |
| fuzzy logic model | нечётко-логическая модель (Alex_Odeychuk) |