2020 г., Том 25, № 3, с.142-151

Предложена схема формализации задач активной идентификации объекта с использованием аппарата теории моделей — современного раздела математической логики. Теория моделей позволяет погрузить предмет “планирование и анализ эксперимента” в контекст семантического анализа. Семантический анализ понимается как установление соответствия между миром и его формальным представлением. С этой точки зрения представления об исследуемом объекте выражаются в некоторой прикладной теории. Предложен вывод модели для данной теории как процесс интерпретации, в котором ключевая роль отводится “экспериментатору”. Полученные результаты могут быть использованы при проектировании архитектур интеллектуальных систем для экспериментальных исследований, для построения онтологии эксперимента, создания баз знаний