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