Семантическое моделирование

[serj_aleks]

Click to view

ТЕМА: АВТОМАТИЗАЦИЯ. РЕШЕНИЯ ПРОБЛЕМ с помощью компьютеров. АНАЛИЗ декларативного программирования, в том числе функционального и логического программирования, выступающих как инструментарий искусственного интеллекта. Интеграция теоретико-модельного подхода с аксиоматическим. Конструирование на основе семантического моделирования нового, «

Comments

[serj_aleks]

"... умение понимать и ставить задачи, решать их и, что очень важно, при необходимости не только объяснить найденное решение, но и обосновать его ... существует ли возможность формулировать задачу таким образом, чтобы из этой формулировки компьютер мог бы автоматически «извлечь» требуемое решение? И не только извлечь решение, но и объяснить его? ... системы искусственного интеллекта, базирующиеся на применении технологии традиционных нейронных сетей, являются нестабильными, демонстрируя непредсказуемое поведение в непредусмотренных и нестандартных условиях ... главной причиной наличия указанных выше недостатков применяемых технологий ИИ является изолированность и обособленность используемых ими приемов и инструментов от исходного смысла (семантики) задачи, т. е. от тех знаний о проблемной области, которые используются при ее постановке и формулировке. Такая изолированность и обособленность усугубляется еще и тем, что при написании компьютерных программ используются, как правило, технологии и языки программирования, носящие

[serj_aleks]

1. Предполагается наличие исходной базовой модели, выступающей как ядро системы, средствами которой будут специфицироваться и решаться задачи. При этом предполагается, что все объекты данной модели (элементы, функции, предикаты) и операции над ними являются конструктивными, т. е. вычислимыми. В семантическом моделировании базовая модель рассматривается вместе со своей списочной надстройкой, состоящей из наследственно-конечных списков, порожденных элементами этой модели. Допускается интерпретация некоторых предикатов базовой модели как оракулов

[serj_aleks]

Список литературы

[serj_aleks]

https://ru.wikipedia.org/wiki/Порочный_круг
https://en.wikipedia.org/wiki/Vicious_circle_principle
https://ru.wikipedia.org/wiki/Юэ,_Жерар
https://sanskrit.inria.fr
https://ru.wikipedia.org/wiki/Логика_высшего_порядка
https://en.wikipedia.org/wiki/Impredicativity
https://ru.wikipedia.org/wiki/Непредикативность_(математика)

[serj_aleks]

https://journals.nsu.ru/sjp/archive/2018/18-4/sec1/2018-16-4-5-25... )