Корухова Л.С. Системы планирования и языки искусственного интеллекта

МГУ, 1985. - 44 с. Данная работа является учебным пособием по специальному курсу лекций для студентов факультета ВМК МГУ. В ней проводится сравнительный анализ особенностей систем и языков программирования, ориентированных на решение задач искусственного интеллекта. Дается описание входного языка диалоговой процедурно- дедуктивной системы СВЯЗКА, сочетающей традиционные методы программирования с возможностями дедуктивного вывода. Система предназначена для программирования процессов, протекающих в сложных средах. На примере построения планировщика ПЛАР рассматриваются возможности этой системы при решении задач планирования действий модельного робота. Работа полезна для студентов, аспирантов и стажеров, специализирующихся по языкам программирования и в области создания систем автоматического решения сложных задач на ЭВМ.