|
-
Ключові слова:
робототехніка, робототехника ; проектування, проектирование, graphics, design ; інтелектуальні системи, интеллектуальные системы ; роботизація, роботизация ; роботизовані комплекси, роботизированные комплексы, РТК
-
Анотація:
В статье изложен подход к проектированию центрального модуля интеллектуальной робототехнической системы на базе автоматического доказательства теорем с переключаемыми стратегиями логического вывода
-
Зміст:
Системы и методы искусственного интеллекта
-
Є складовою частиною документів:
-
Теми документа
-
УДК // Математика
-
УДК // Штучний інтелект
|
