ВУЗ:
Составители:
15
приемов доказательства теорем сыграло большую роль в развитии методов ИИ.
Оказалось, что многие неформальные задачи допускают их формализацию как
задачи на доказательство теорем.
Робототехника. В настоящее время это самостоятельная область науки и
техники, выделившаяся из ИИ. Ее задачей является решение теоретических и
практических вопросов организации целесообразного поведения подвижных
кибернетических систем – роботов
, снабженных сенсорными и эффекторными
(исполнительными) механизмами. Перед роботами обычно ставится некоторая
глобальная цель, например – достижение некоторой точки в окружающем
пространстве. Однако предполагается, что заранее невозможно полностью
предсказать все возможные взаимодействия робота с окружающей средой.
Поэтому многие проблемы своего поведения в окружающей среде робот
должен решать самостоятельно (методами ИИ), учитывая конкретные
условия и
используя при этом бортовой компьютер.
Исследования по робототехнике оказали существенное влияние на
развитие многих идей ИИ. В частности, они привели к созданию методов
описания и моделирования состояния внешнего мира, дали лучшее понимание
того, каким образом строить планы для последовательности действий робота и
как управлять выполнением этих планов. Методы
планирования действий
робота стали строить как многоуровневые системы с высоким уровнем
абстракции на верхнем уровне и все более детализированные на последующих
уровнях.
Автоматическое программирование. Существующие компиляторы в
некотором смысле уже осуществляют автоматическое программирование. Они
воспринимают полную спецификацию во входном коде того, что программа
должна делать, и пишут программу в объектном
коде, которая это делает. Под
автоматическим программированием понимается некий «суперкомпилятор»,
который мог бы воспринимать описание на очень высоком уровне вплоть до ЕЯ
того, что требуется от искомой программы. При этом, учитывая высокий
уровень входного описания, а, следовательно, и наличие большого числа
неоднозначностей в этом описании, автоматическое программирование
предполагает, дополнительный диалог между
системой и пользователем для
исключения этих неоднозначностей.
Задача автоматического написания программы для достижения заданного
результата тесно связана с задачей доказательства того, что программа вообще
достигнет этого результата. Последняя задача получила название верификации
программы. Поэтому многие системы автоматического программирования
включают верификацию выходной программы в качестве некоторой
дополнительной возможности.
Важным вкладом в
автоматическое программирование явилось
заимствованное из робототехники представление об отладке программ как
стратегии решения проблем. Установлено, в частности, что часто более
эффективным оказывается создание недорогой, с большим количеством ошибок
Страницы
- « первая
- ‹ предыдущая
- …
- 13
- 14
- 15
- 16
- 17
- …
- следующая ›
- последняя »
