Семантическое моделирование
Click to viewТЕМА: АВТОМАТИЗАЦИЯ. РЕШЕНИЯ ПРОБЛЕМ с помощью компьютеров. АНАЛИЗ декларативного программирования, в том числе функционального и логического программирования, выступающих как инструментарий искусственного интеллекта. Интеграция теоретико-модельного подхода с аксиоматическим. Конструирование на основе семантического моделирования нового, «объяснительного» искусственного интеллекта.
https://sibphil.elpub.ru/jour/article/view/148/112
https://ru.wikipedia.org/wiki/Гончаров,_Сергей_Савостьянович
П. С. Демонстрация представлений Александра Ослона. Начиная с выделения логики из грамматики Пор-Рояля, онтологии из метафизики, гносеологии из эпистемологии, герменавтики из феноменологии, наконец, кибернетики из теории автоматов с приходом компьютеров ... Метаксис между семантическим программированим, грамотным программированием, концептуальным программированием и концептуальным моделированием, тематическим моделированием (документное моделирование), когнитивным моделированим ... металогика, метатеория, логическая семантика, семантика логики, когнитивистика, концептуальный анализ, искусственный интеллект, символьное моделирование, ... алгебра и топология ... Практика демонстрирует, что абстрагирование может быть «снизу»: от прецедента к категории и, «сверху», при проектировании (!) вне экзистенции. В любом случае есть ТЕМА и МОДЕЛЬ. Вторая ситуация - исследовательская и инженерная практика, первая - систематизация и оптимизация, для дидактики (картины мира, науки в смысле образования, дискурса для конвенции).