Формальные системы оперирования временемИС: 1. Представление и обработка знаний 2. Рассуждение 3. Общение Временные рассуждения – обеспечивают учет временных зависимостей Области применения: · Диагностика и объяснение · Планирование · И (СППР) РВ Классификация
Ситуационное исчисление Предикат HOLD Функция Result С их помощью задаются правила STRIPS – системы F= {F1, …, Fk} – база фактов R= {R1, …, Rm} – база правил Pi = {<cond>, <del>, <add>} Cond – предусловие Del – удаление ситуации Add – добавление
|
Средства представления информации о времени
Моделирование изменений
Явное моделирование времени
Моделирование на основе согласования ограничений
