Рекомендуемая литература. Упражнения.
Применение экспертных систем для выполнения планирования рассматривается во множестве статей, включенных в популярные сборники, среди которых рекомендуем обратить внимание на следующие: [Nilsson, 1980], [Genesereth and Nilsson, 1987] и [Charniak and McDermott, 1985].
Читателей, интересующихся ранними исследованиями в области использования стратегии наименьшего принуждения для планирования, мы отсылаем к работе [Sacerdoti, 1974], Описание других исследований, касающихся решения проблем конструирования, можно найти в работах [Brown and Chandrasekaran, 1989] и [Coyne, 1988].
Результаты более поздних исследований представлены в книге [Dean and Wellman, 1991] и публикуемых IEEE трудах ежегодных конференций AI Simulation and Planning in High Autonomy Systems (выпуски за 1991 и 1992 гг.).
С системой EXPECT, которая является одной из автоматизированных систем приобретения знаний, аналогичной по возможностям рассмотренной в этой главе системе VT, можно ознакомиться в работе [Gil and Paris, 1984].
Упражнения
Упражнение 1
Поясните смысл стратегии наименьшего принуждения. В чем отличие этой стратегии и стратегии предложение и пересмотр!
Упражнение 2
Постарайтесь перечислить как можно больше задач, к которым, по вашему мнению, можно применить стратегию наименьшего принуждения; нельзя применить стратегию наименьшего принуждения, не подкрепив ее какой-нибудь другой.
Подумайте о тех задачах, с которыми вы достаточно часто сталкиваетесь в повседневной жизни, например планирование похода по магазинам. Чем отличаются эти два класса задач?
Упражнение 3
Объясните смысл терминов метауровневая архитектура и метапланирование.
Упражнение 4
Проанализируйте программу, представленную во врезке 15.1. Подумайте над тем, каким образом нужно модифицировать данные, приведенные в операторе deffacts, – чтобы программа прервала работу, поскольку не смогла сформировать расписание, хотя, в принципе, его можно составить. (Указание: попробуйте манипулировать только приоритетами задач.)
Упражнение 5
Программа планирования мероприятий, представленная во врезке 15.1, не сможет составить расписание для следующего набора исходных данных, несмотря на то, что такое расписание существует.
(deffacts the-facts (goal (subgoal start)) (errand (name hospital) (earliest 1030) (latest 1030) (duration 200) (priority 1)) (errand (name doctor) (earliest 1430) (latest 1530) (duration 200) (priority 1)) (errand (name lunch) (earliest 1130) (latest 1430) (duration 100) (priority 2)) (errand (name guitar-shop) (earliest 1000) (latest 1700) (duration 100) (priority 2)) (errand (name haircut) (earliest 900) (latest 1700) (duration 30) (priority 2)) (errand (name groceries) (earliest 900) (latest 1800) (duration 130) (priority 2)) (errand (name bank) (earliest 930) (latest 1530) (duration 30) (priority 2)) (errand (name dentist) (earliest 900) (latest 1600) (duration 100) (priority 1)))
Почему?