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 (operators), one of which is marked as “beginning”. These structures can be divided into: computing control constructs and information processing constructs. The developer can group individual operators into blocks – for their repeated usage (including organization of recursive calculations). The structure of the graph also includes a description of the data.