摘要 |
PURPOSE:To attain the astable reasoning by selecting the searching branches of each stage of reasoning with an indication supplied from a user of a reasoning device. CONSTITUTION:The knowledge to be used for the proof of a hypothesis is searched through a comparison arithmetic part 4 of a CPU 3A against the input data (hypothesis) given from an input device 1. Then the obtained knowledge is displayed on a display 2 through a knowledge display part 6. A knowledge selecting part 5 displays a selecting indication for searching branches on the display 2 out of the displayed knowledge and sets the next searching hypothesis with an indication of a user supplied from the device 1. In this case, it is checked whether the knowledge that can prove the hypothesis to be proved by the backward reasoning is stored or not in a knowledge storing part 8 of a memory 7A. When said knowledge is stored in the part 8, it is displayed on the display 2. Then the user supplies an indication to proceed the search of knowledge by a stage in the vertical direction.
|