Аннотация:
В докладе будут изложены идеи и результаты предложенного Ю. Л. Ершовым, С. С. Гончаровым и Д. И. Свириденко логического подхода в рамках семантического моделирования для построения математических методов доверительного ИИ и построения управления сложными объектами на основе теоретико-модельных конструкций построения наследственно конечных списочных расширений абстрактных моделей и логического языка для определения вычислимости над абстрактными моделями. Исходные идеи для данного подхода базируются как на теории вычислимости и теории моделей, так и на развитии идей теории допустимых множеств. Исследования посвящены алгоритмическим свойствам языка и его семантики, включая проблемы полиномиальности строящихся алгоритмов как над языковыми конструкциями, так и над моделями, а также теоретико-модельным свойствам и связям различных конструкций. Важным элементом данных исследований являются и методы реализации в практических реализациях и возникающих при этом новых проблемах и задачах.
