Knowledge-base computer system with state information indicative of ambiguous applied conditions

摘要

A knowledge-base computer system includes an inference section which provides retrieval inference means, state information generating means and execution control means. The retrieval inference means retrieves frame knowledge relative to output information specified at an input section, and calculates output in formation value corresponding to the output information selected from a knowledge base section. The state information generating means executes the calculation of output information value corresponding the output information by each solution in each frame, and generates state information indicative of a state of the executed result of the calculation when the retrieval inference means searched information including a plurality of solution. The execution control means determines the execution of next solution in response to the state information on the basis of the execution control, method information. Therefore, the execution by this computer system is continued without stopping the execution even when a calculation impossibility is occurred.