Can I read Formalizing Subgoal Ordering Constraints on EtoBox?
Formalizing Subgoal Ordering Constraints by Kak Long is a document available to read on EtoBox.
What is Formalizing Subgoal Ordering Constraints about?
This document proposes a new approach to representing problem subgoal ordering constraints that makes explicit the relationship between the constraints and problem operator schemata. It defines an extended representation schema for subgoal ordering constraints that allows more subgoals to be considered simultaneously to detect dependencies. This approach aims to systematically detect important subgoal ordering constraints from problem specifications in order to properly order subgoals before problem solving
- Author
- Kak Long
- Language
- EN