Предлагается логический подход к формальному описанию предметной области систем планирования. Построена конструктивная модель среды.
планирование действий, конструктивная модель, формальное описание, реализационная интерпретация