Quarterly Progress Report on Contract N00014-91-J-1577 (Yale University).
YALE UNIV NEW HAVEN CT DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
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.
- Computer Programming and Software