AUTOMATED ACQUISITION OF A LOGICAL DEDUCTION PATH IN A MIVAR KNOWLEDGE BASE

摘要

The invention relates to the field of control and computing technologies. A method is provided for building an inference path in a knowledge base comprising a representation of a model of a subject domain in the form of objects and links arranged in an oriented bipartite graph. The objects contain parameters, and the links contain rules; each rule has an input variable and an output variable, and each parameter linked with a rule is either an input variable or an output variable of the rule. A collection of known parameters is generated, and one or more required parameters are specified. The method comprises performing processing with respect to each known parameter which has not undergone the processing before, in order to find the required parameters. The processing comprises: determining launchable rules in which the known parameter is an input variable, for which all remaining input variables are known, and which have not been launched before; launching the determined launchable rules and adding output variables of the launched rules to the collection of known parameters; if all the required parameters are found, the processing is terminated. A sequence of launched rules is formed in the order in which they were launched; the sequence represents the inference path.