PURPOSE: To obtain the retrieving results of all solutions by allocating a variable to the element taken out through the unified retrieval and performing an OR parallel process and an AND stream parallel process in parallel with each other.
CONSTITUTION: A unified retrieval module 3 receives a request for a unified retrieval request in response to an inquiry and retrieves a knowledge base 2 to take out the corresponding element and to give this element to a parallel inference driver 5. Then an OR parallel process module 6 and an AND stream parallel process module 7 perform the OR and AND stream parallel processes respectively for the received elements. The results of these parallel processes are given to the driver 5 and evaluated. Then the retrieving results of all solutions are outputted. Thus a new variable is allocated to the corresponding element taken out of the base 2 in response to an inquiry. Then the OR and AND stream parallel processes are carried out in parallel with each other, and the retrieving results of all solutions are outputted at high speed.
YOKOTA HARUO
KISHIMOTO MITSUHIRO
HOSOI SATOSHI