Control graph based problem solvers for knowledge based systems

A methodology for using declaratively defined control graph structures to develop problem solvers for systems with knowledge bases is proposed. Special attention is paid to the processing of knowledge base fragments and the possibility of placing architectural components of the solver on different computing nodes. The structure of such an information-and-control graph includes related constructs (...