Symbolic modeling of tasks and constructing programs

An updated methodology for symbolic modeling of programmable tasks is presented, designed to build knowledge systems about tasks that are intended for automated design of programs. Task constructions are created by means of memory links between tasks, represented by task constructive objects. Three types of memory link functions are defined, each of which allows assigning to a pair of tasks some third task formed from this pair. The task graph serves as representation of the problem area, designed to formalize task knowledge and implement the process of constructing tasks. The required construction is described by the problem specification, which contains a description of its memory, restrictions on the number of task vertices (and, if necessary, restrictions related to the accuracy of result, etc.). The mechanism of searching the resolving structures matches the specification of the original problem with a subgraph on the task graph by implementing three types of behavior in accordance with three types of requests for constructing.