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

摘要

The invention relates to the field of control and computing technology. A method for the acquisition of a logical deduction path in a knowledge base is proposed, comprising presenting a model of a subject field in the form of objects and connections organized into an oriented bigraph. The objects contain parameters, and the connections contain rules; each rule has an input variable and an output variable, and each parameter associated with a rule is either the input variable or the output variable of said rule. A combination of known parameters is formed and one or more sought parameters are specified. In the method, processing is carried out for each known parameter which has not yet passed through said processing, with the aim of locating the sought parameters. The processing comprises the following stages: defining triggerable rules in which the known parameter is the input variable and for which all of the remaining input variables are known and which were not triggered earlier, triggering said defined triggerable rules and supplementing the combination of known parameters with the output variables of the triggered rules, and, if all of the sought parameters have been found, the processing is stopped. A sequence of triggered rules in the order that they are triggered is established, the sequence constituting the logical deduction path.