40325

Автор(ы): 

Ковалёв С. П. (ИПУ РАН, Лаборатория 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.