|
ситуаций, каждая из которых представляет собой мгновенный снимок мира. В различные моменты времени мир может находиться в различных состояниях. Каждая ситуация всегда находится в конкретном состоянии, а различные ситуации могут находиться в одном и том же состоянии. Действия переводят одну ситуацию в другую. По существу в ситуационном исчисление и в целом в формальных системах этого класса влияние фактора времени сводится к явному указанию последовательности показателей изменений (действий в ситуационном исчислении). Можно отметить ряд существенных ограничений по представлению сложных временных структур, которыми обладает этот класс [2 0]: 1.Мгновенность действия. В системах, основанных на изменениях, действия не обладают какой-либо длительностью; поэтому не представимы такие утверждения, как “робот должен поставить вазу на стол медленно, так чтобы её не разбить, а положить книгу на стол как можно быстрее для экономии времени”. 2 .Эффект моментальное™ результатов действия. Это порождает, по крайней мере, две проблемы: невозможность отобразить задержки результатов действий и проявление эффекта действия только . в ограниченный промежуток времени. В первом случае это относится к отображению таких утверждений как “спустя 30 секунд после нажатия кнопки на светофоре, он переключился на зеленый свет”, во втором к утверждениям типа “когда вы нажали кнопку на сушильной маизине, она выбрасывала горячий воздух в течение 30 секунд”. 3.Эффект продолжительности процессов. В системах, основанных на изменениях, понятие времени связывается с состояниями, соответствующими различным временным точкам, поэтому в них не представимы ситуации, соответствующие продолжительным процессам, описываемых предложениями типа “в результате открытия крана, уровень воды постепенно увеличивался, до тех пор пока чашка не переполнилась” . |
• объяснение: задано описание мира в некоторый момент времени и правила изменения состояний, необходимо построить описание мира в некоторый более ранний момент времени, из которого доступно текущее состояние; • планирование: задано описание некоторого желаемого состояния мира в некоторый момент времени и правила распространения изменений; требуется построить последовательность действий, в результате которых состояние мира будет соответствовать желаемому; • построение правил изменения: задано описание мира в различные моменты времени; требуется построить правила, соответствующие наблюдаемым закономерностям мира. Представление темпоральной информации и рассуждения на основе этой информации требует языка, который бы поддерживал концепцию изменений в течение времени и мог отображать истинность и ложность высказываний в различные моменты времени. Эти требования и привели к разработке временных логик. В общем случае будем рассматривать два различных подхода к представлению темпоральных данных (временного фактора): подход, основанный на явном моделировании времени, и подход, основанный на моделировании изменений. Подход, основанный на моделировании изменений, базируется на сущностях показателях изменения, указывающих наличие изменений. Прототипом такого подхода может служить ситуационное исчисление [171] с действиями как показателями изменений. В ситуационном исчислении предметная область (реальный мир) рассматривается в терминах множества ситуаций, каждая из которых представляет собой мгновенный снимок мира. В различные моменты времени мир может находиться в различных состояниях. Каждая ситуация всегда находится в конкретном состоянии, а различные ситуации могут находиться в од82 ном и том же состоянии. Действия переводят одну ситуацию в другую. По существу в ситуационном исчисление и в целом в формальных системах этого класса влияние фактора времени сводится к явному указанию последовательности показателей изменений (действий в ситуационном исчислении). Можно отметить ряд существенных ограничений по представлению сложных временных структур, которыми обладает этот класс [2 0 ]: 1.Мгновенность действия. В системах, основанных на изменениях, действия не обладают какой-либо длительностью; поэтому не представимы такие утверждения, как “робот должен поставить вазу на стол медленно, так чтобы её не разбить, а положить книгу на стол как можно быстрее для экономии времени”. 2.Эффект моментальное™ результатов действия. Это порождает, по крайней мере, две проблемы: невозможность отобразить задержки результатов действий и проявление эффекта действия только в ограниченный промежуток времени. В первом случае это относится к отображению таких утверждений как “спустя 30 секунд после нажатия кнопки на светофоре, он переключился на зеленый свет”, во втором к утверждениям типа “когда вы нажали кнопку на сушильной машине, она выбрасывала горячий воздух в течение 30 секунд”. 3.Эффект продолжительности процессов. В системах, основанных на изменениях, понятие времени связывается с состояниями, соответствующими различным временным точкам, поэтому в них не представимы ситуации, соответствующие продолжительным процессам, описываемых предложениями типа “в результате открытия крана, уровень воды постепенно увеличивался, до тех пор пока чашка не переполнилась”. 83 |