. . . "The foregoing systems have a structure such that computer-understandable knowledge is accumulated in a form, such as a formula, a logical formula, a rule, a frame or a semantic network, which can be processed by a computer; and an inference process is performed with reference to the accumulated knowledge so as to automate problem solving which was previously performed by a human being." .