Так вот к чему - в онлайновом каталоге билиотеки МИФИ вижу раздел "АВТОФОРМАЛИЗАЦИЯ ЗНАНИЙ" (код 0155). Не поленился - МИФИ все-таки - заглянул в раздел, посмотрел чего оне туда кладут. Собирают, как оказалось, в тот раздел - по их, видимо, классификации "автоформализации" - в б-ке МИФИ нынче докт. дисс. и НИР отчеты по следующим дисциплинам:
- 28.19 Теория кибернетических систем управления
....
02980002890 Задачи идентификации неизвестных параметров и основные принципы ее решения: Отчет о НИР (промежуточ.) /Московский государственный авиационный институт (технический университет) (МАИ) ; Руководитель ... ГР 01980003448.
УДК 681.3. 1998.04.08. 40 с. , 2 ил.} - Библиогр.: 11 назв.
Исследованы принципы и методы построения комплексного управления многорежимными объектами авиационной и космической техники в условиях неопределенности. Цель: разработка основ алгебраической теории параметрической идентификации и выбор методов ее решения и основных принципов решения задачи управления упругим объектом методом модального управления....
....
28.21 Теория информации
....
02980002423 Анализ алгоритмов автономного определения местоположения источников излучения: Отчет о НИР (промежуточ.) /Челябинский государственный технический университет (ЧГТУ) ; Руководитель ...- . ГР 01970003306.
УДК 621.396.96. 1998.03.23. 25 с. : 1 таб.} , 6 ил.} - Библиогр.: 8 назв.
Объект исследования: цифровые алгоритмы фильтрации координат целей в пассивных однопозиционных радиотехнических системах (РТС). Цель: анализ цифровых алгоритмов фильтрации координат целей в пассивных РТС; ... Результаты работы могут представлять интерес для разработчиков радиолокационной и радионавигационной техники...
....
28.23 Искусственный интеллект
....
02980002808 Геометрические аспекты интеллектуальных робототехнических комплексов: Отчет о НИР (промежуточ.) /Восточно-Сибирский государственный технологический университет (ВСГТУ) ; Руководитель ...-
УДК 007.52. 1998.04.01. 58 с. : 2 таб.} , 22 ил.} - Библиогр.: 24 назв.
Работа посвящена исследованию вопроса распознавания плоских объектов, введенных в ЭВМ с помощью системы технического зрения (СТЗ)...
...
Никакой такой - и даже около - "автоформализации" никогда, как на духу сознаюсь, не имел в виду. Более того, в том числе и для того, чтобы от ровно этого всего отгородиться термин ввел. Увольте, г-да мифисты - "...не марсксист". Никакая автоформализация - ни с одной исходно к ней задуманной стороны - в том ряду и возле не стояла.
Нашли тоже видать по случаю оказалось что "модное слово". Теперь доказывай - кому, как и вообще - что не верблюд, не марксист, и уж тем более не автоформализация там у их хранится, а вовсе даже и наоброт.
PS. То есть, оно по сути то конечно понятно - "нам не дано предугадать, как наше слово отзовется" - каждый волен апосля того (выпорхнуло если словцо) вкладывать в него свой смысл. И тем ни менее, странно бывает это порой - в такого рода, как приведено выше, экзотических версиях, когда в термин кем-то вдруг вкладывается смысл, ровно противоположный автором ему исходно задуманному, то и тем более - наблюдать ...