Искусственный интеллект. Экспертные системы. Интеллектуальные САПР и АСУП

Приведено описание технических средств моделирования интеллектуальных систем при использовании современной элементной базы. К таким средствам относятся микропроцессоры, транспьютеры, сигнальные процессоры, нейрокомпьютеры и оптические процессоры. Рассмотрены интегрированная среда моделирования и моделирующие комплексы (аналоговые и аналого-цифровые). На конкретных примерах описаны стенды для физического и полунатурного моделирования. Автоматизация моделирования также рассмотрена на примере описания интеллектуальных технологий в автоматизации проектирования систем управления базами моделей. Рассмотрены интеллектуальные средства моделирования сети Интернет: электронная почта, доски объявлений, телеконференции. Приведены оценки качества и эффективности работы систем, а также требования к техническим средствам стендов с точки зрения обеспечения надежности их работы.

Дано описание методики разработки проектов интеллектуальных систем конструкторского и технологического проектирования в машиностроении. Для студентов старших курсов МГТУ им. Н.Э. Баумана.

Ученые придумали робота, которого можно поставить к конвейру.

Как нарушение законов роботехники может привести к кибернетическому коллапсу.

Рассмотрены теоретические основы логического программирования. Даны примеры и описание предметной области с помощью логических моделей. Показана связь базовых понятий логики предикатов и основных конструкций языка логического программирования Пролог. Изложены основы логического программирования на примере языка Visual Prolog 7. Рассмотрены структура программы, алгоритм работы интерпретатора, ввод - вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования и управления выполнением программы, различные структуры данных и предикаты работы с ними. Книга содержит многочисленные примеры, а также контрольные вопросы и практические задания. Пособие будет полезно при изучении курса "Функциональное и логическое программирование".