Терминологический словарь автоматизации строительства и производственных процессов

Свидетельство о регистрации СМИ:
ЭЛ № ФС77-79395 от 02.11.2020

ISSN: 2782-1528

DOI 10.34660/c0727-6092-6372-a

Последнее обновление словаря: 14.05.2024 - 12:54
Категории

Программирование аксиоматическое 

Программирование аксиоматическое  (axiomatic programming) — задание ВМ базы знаний из аксиом предметной и проблемной областей и вывод ответа на запрос пользователя по этой базе знаний. Знания задаются логическими формулами, выражающими факты и утверждения о фактах, а также правилами вывода фактов и утверждений о фактах и метаправилами вывода правил.

[Словарь понятий по информатике от А до З. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user/415987/page/slovar-kompyuternyh-…/, свободный.]

60 просмотров

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