Автор(ы): Ковалёв С. П. (ИПУ РАН, Лаборатория 49)Автор(ов): 1 Параметры публикацииТип публикации: ДокладНазвание: Machine intelligence in engineering of axiomatic systemsНаименование конференции: Workshops organized on April 25 and October 5, 2016 in the IP RAS, MoscowНаименование источника: Proceedings of Workshops organized on April 25 and October 5, 2016 in the IP RAS, MoscowГород: МоскваИздательство: ИФ РАНГод издания: 2016Страницы: 3-7 АннотацияCapabilities to automatically generate axiomatic domain knowledge by means of machine intelligence are considered. An overview of approaches to automating axiomatic knowledge generation is provided. Application of the presented approaches to problems associated with automating rigorous design of complex heterogeneous engineering products is discussed. Библиографическая ссылка: Ковалёв С.П. Machine intelligence in engineering of axiomatic systems / Proceedings of Workshops organized on April 25 and October 5, 2016 in the IP RAS, Moscow. М.: ИФ РАН, 2016. С. 3-7.