наша модель может столкнуться с неприятностями. Например, вопрос

        ?-  допускается( s1, [а]).

приведет к тому, что модель будет бесконечно переходить в состояние s1, все время надеясь отыскать какой-либо путь в конечное состояние.

Упражнения

4. 4.    Почему не могло возникнуть зацикливание модели исходного автомата на рис. 4.3, когда в его графе переходов не было 'спонтанного цикла'?

Посмотреть ответ

4. 5.    Зацикливание при вычислении допускается можно предотвратить, например, таким способом: подсчитывать число переходов, сделанных к настоящему моменту. При этом модель должна будет искать пути только некоторой ограниченной длины. Модифицируйте так отношение допускается. Указание: добавьте третий аргумент - максимально допустимое число переходов:

        допускается( Состояние, Цепочка, Макс_переходов)

Посмотреть ответ

Назад | Содержание | Вперёд

4. 4.    Планирование поездки

В данном разделе мы создадим программу, которая дает советы по планированию воздушного путешествия. Эта программа будет довольно примитивным советчиком, тем не менее она сможет отвечать на некоторые полезные вопросы, такие как:

По каким дням недели есть прямые рейсы из Лондона в Любляну?

Как в четверг можно добраться из Любляны в Эдинбург?

Мне нужно посетить Милан, Любляну и Цюрих; вылетать нужно из Лондона во вторник и вернуться обратно в Лондон в пятницу. В какой последовательности мне следует посещать эти города, чтобы ни разу на протяжении поездки не пришлось совершать более одного перелета в день.

Центральной частью программы будет база данных, содержащая информацию о рейсах. Эта информация будет представлена в виде трехаргументного отношения:

        расписание( Пункт1, Пункт2, Список_рейсов)

где  Список_рейсов  -  это список, состоящий из структурированных объектов вида:

        Время_отправления / Время_прибытия / Номер_рейса