Quarterly Progress Report on Contract N00014-91-J-1577 (Yale University).
Abstract
Our work continues, in the area of planning and control in realistic domains: Our planning work focused on (1) the extending and revising concepts that allow plans and their simulations to represented more transparently and (2) the application of these declarative concepts to encode knowledge for the detection and analysis of the plan failures. (1) The representation language for plan transformation rules has been extended such that a single plan transformation can make modification in several subplans. (2) XFRM-Ml, a PROLOG- like language for the implementation of failure diagnosis and plan revision has been extended and partly revised; and (3) the knowledge base for the detection and analysis of plan failures that can occur in the performance of an achievement task when it is carried out using imperfect sensors, imperfect, imperfect control, an inaccurate and highly in complete world model, and with other tasks has been elaborated.
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 1993
- Accession Number
- ADA263365
Entities
People
- Drew McDermott
Organizations
- Yale University