Knowledge processing system structurizing tool

An assistant tool for assisting creation of an inference program in a knowledge processing system, comprising:

• input means for inputting information related to a problem desired to be solved, in accordance with selection menus for permitting a user to select classified items of a predetermined search control strategy, said items determining an initial node, a goal node and developments of intermediate nodes of a general-purpose search program;
• fist storage means for storing the input information inputted through said input means to be used in creating an inference program;
• second storage means for storing a skeleton of said general-purpose search program and skeletons to search elementary functions which are to be included in said skeleton of said general-purpose search program;
• third storage means for storing search functions which are to be included in said skeletons of said search elementary functions;
• fourth storage means for storing a correspondence table in which correspondences are preliminarily established between said skeletons of said search elementary functions and said search functions based on said items of said search control strategy;
• fifth storage means for storing a procedure for creating an inference program by utilizing said skeleton of said general-purpose search program;
• and
• means, connected to said input means and said first, second, third, fourth and fifth storage means, for creating an inference program for solving the desired problem based on said skeleton of said general-purpose search program;
• wherein said means or relating said inference program includes:
• means for completing said skeletons of said search, elementary functions by selecting required search functions from said third storage means in accordance with said procedure stored in said fifth storage means while referring to said correspondence table stored in said fourth storage table means, and
• means for completing said skeleton of said general-purpose search program to create said inference program by using said completed skeletons of said search elementary functions.