Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Publication in BibTeX Format

@ARTICLE{AICPub1775:2009, AUTHOR={Forth, J. and Waldinger, R.}, TITLE={Deductive Formation of Recursive Workflows}, JOURNAL={Proceedings of the ICAPS 2009 Workshop on Generalized Planning: Macros, Loops, Domain Control (ICAPS GenPlan 2009)}, MONTH={Sep}, YEAR={2009}, KEYWORDS={workflow, recursive plans, theorem proving, well-founded induction, resolution, action theory, program extractio, termination}, ABSTRACT={We present an action theory with the power to represent recursive plans and the capability to reason about and synthesize recursive workflow control structures. In contrast with the software verification setting, reasoning does not take place solely over predefined data structures, and neither is there a process specification available in recursive form. Rather, specification takes the form of goals, and domain structure takes the form of a physical application setting containing objects. For this reason, well-founded induction is employed for its suitability for practical action domains where recursive structures must be described or inferred. Under this method, termination of the synthesized recursive workflow is a property that follows automatically. We show how a general workflow recursive construct is added to an action language that is then augmented with induction. This formalism is then transformed in a way amenable to automated reasoning. We demonstrate the method with a particular example specified in the theory, and then extracted from a proof constructed by the SNARK first-order theorem prover. } }

SRI International
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy