Download or read book Learning Completable Reactive Plans Through Achievability Proofs written by Melinda Tumaneng Gervasio and published by . This book was released on 1990 with total page 88 pages. Available in PDF, EPUB and Kindle. Book excerpt: Proving achievability is shown to be possible for certain classes of problems without having to determine the actions to achieve the associated goals. General plans for use in this integrated approach are learned through a modified explanation-based learning strategy called contingent explanation-based learning. In contingent EBL, deferred goals are represented using conjectured variables, which act as placeholders for the eventual values of plan parameters whose values are unknown prior to execution. Completors are incorporated into general plans for the runtime determination of values to replace the conjectured variables.