| 摘要 |
PROBLEM TO BE SOLVED: To determine one or more solutions to a problem. SOLUTION: A path within at least one pursuit (104) relevant to the problem is crossed and processed, and at least one node (106 to 118) within a given path is processed to create one or more judging paths (120 to 124). The judging paths (120 to 124) include (1) an evaluation of a premise about whether it is a premise node or not, passing of the premise in the case where the premise passes, and a note of a conclusion (126), a retraction of the preceding conclusion irrelevant to a master node of the conclusion (126) and passing of the conclusion node in the case of the conclusion node, (2) processing of a dependent node in the case where the present node, which is not a leaf node, passes, and (3)a termination of the judging paths (120 to 124) including an assertion as the solution of the conclusion (126), which has been noted but not retracted, in the case where the dependent node can be processed.
|
