![]() | Наукова періодика України |
| Наукові праці Донецького національного технічного університету |
Григорьев А. В. Обеспечение монотонности вывода и верификация баз знаний в инструментальной оболочке для создания интеллектуальных надстроек над САПР / А. В. Григорьев, О. В. Малявка // Наукові праці Донецького національного технічного університету. Серія : Інформатика, кібернетика та обчислювальна техніка. - 2010. - Вип. 11. - С. 161-164. - Режим доступу: http://nbuv.gov.ua/UJRN/Npdntu_inf_2010_11_28 Определена структура и функции новой версии системы вывода в инструментальной оболочке для создания интеллектуальных надстроек над САПР, обеспечивающей полное использование всех типов продукций, определенных в рамках подхода. Разработаны методы обеспечения монотонности вывода продукций и верификация модуля знаний, позволяющие выполнить разработку соответствующих программных средств поддержки в новой версии системы вывода. Цитованість авторів публікації: Бібліографічний опис для цитування: Григорьев А. В. Обеспечение монотонности вывода и верификация баз знаний в инструментальной оболочке для создания интеллектуальных надстроек над САПР / А. В. Григорьев, О. В. Малявка // Наукові праці Донецького національного технічного університету. Серія : Інформатика, кібернетика та обчислювальна техніка. - 2010. - Вип. 11. - С. 161-164. - Режим доступу: http://nbuv.gov.ua/UJRN/Npdntu_inf_2010_11_28. |
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |
|||||