Automated acquisition of a logical deduction path in a mivar knowledge base

A computer-implemented method of automatedly building an inference path in a knowledge base comprising a representation of a model of a domain as objects and links arranged in an oriented bipartite graph, wherein the objects include parameters, and the links include rules, and wherein each rule has at least one input variable and at least one output variable, and each parameter associated with a rule is either an input variable or an output variable of the rule;

• said method comprising:
• generating a collection of known parameters and specifying one or more required parameters;
• performing processing with respect to each known parameter which has not undergone said processing before, in order to find the required parameters, said processing comprising:
• determining launchable rules wherein:
• the known parameter is an input variable in the launchable rules, all remaining input variables are known for the launchable rules, and the launchable rules have not been launched before;
• simultaneously launching multiple said determined launchable rules and adding output variables of the launched rules to the collection of known parameters, and carrying out analysis regarding achievement of a goal, wherein simulation of launching a rule is performed by assigning values “known” to variables outputted in said rule;
• and
• if all the required parameters are found, terminating the processing and identifying a problem as solved;
• otherwise, performing subsequent search for the inference path;
• and
• building a sequence of the launched rules in an order in which they were launched, the built sequence of rules representing the inference path.

A computer device configured for automatedly building an inference path in a knowledge base comprising a representation of a model of a domain as objects and links arranged in an oriented bipartite graph, wherein the objects include parameters, and the links include rules, and wherein each rule has at least one input variable and at least one output variable, and each parameter associated with a rule is either an input variable or an output variable of the rule;

• said computer device comprising:
• one or more processors;
• and
• one or more data storage units having computer-executable instructions stored therein, the computer-executable instructions, when executed by the one or more processors, causing the one or more processors to:
• generate a collection of known parameters and specify one or more required parameters;
• perform processing with respect to each known parameter which has not undergone said processing before, in order to find the required parameters, said processing comprising:
• determining launchable rules wherein:
• the known parameter is an input variable in the launchable rules, all remaining input variables are known for the launchable rules, and the launchable rules have not been launched before;
• simultaneously launching multiple said determined launchable rules and adding output variables of the launched rules to the collection of known parameters, and carrying out analysis regarding achievement of a goal, wherein simulation of launching a rule is performed by assigning values “known” to variables outputted in said rule;
• and
• if all the required parameters are found, terminating the processing and identifying a problem as solved;
• otherwise, performing subsequent search for the inference path;
• build a sequence of the launched rules in an order in which they were launched, the built sequence of rules representing the inference path;
• and
• filter the built sequence of rules so that said sequence contains only those rules the launching of which was directly involved in finding the required parameters.

A computer-readable storage medium having computer-executable instructions stored therein, the computer-executable instructions, when executed, causing a computer to execute the method of automatedly building an inference path in a knowledge base comprising a representation of a model of a domain as objects and links arranged in an oriented bipartite graph, wherein the objects include parameters, and the links include rules, and wherein each rule has at least one input variable and at least one output variable, and each parameter associated with a rule is either an input variable or an output variable of the rule;

• said method comprising:
• generating a collection of known parameters and specifying one or more required parameters;
• performing processing with respect to each known parameter which has not undergone said processing before, in order to find the required parameters, said processing comprising:
• determining launchable rules wherein:
• the known parameter is an input variable in the launchable rules, all remaining input variables are known for the launchable rules, and the launchable rules have not been launched before;
• simultaneously launching multiple said determined launchable rules and adding output variables of the launched rules to the collection of known parameters, and carrying out analysis regarding achievement of a goal, wherein simulation of launching a rule is performed by assigning values “known” to variables outputted in said rule;
• and
• if all the required parameters are found, terminating the processing and identifying a problem as solved;
• otherwise, performing subsequent search for the inference path;
• and
• building a sequence of the launched rules in an order in which they were launched, the built sequence of rules representing the inference path.