摘要 |
PURPOSE:To attain the efficient utilization in a real time processing environment field in the restricted inference system by performing a sequential estimate output of a remaining processing time in the processing midway stage of the restricted inference. CONSTITUTION:The restricted inference system is a system which outputs a solution candidate satisfying a restricted condition as an answer from among plural solution candidates and provided with an answer candidate total number calculation section 5 calculating total number of solution candidates, an already generated solution candidate counter section 7 counting number of generated solution candidates, an ungenerated solution candidate number calculation section 8 calculating number of ungenerated solution candidates by subtracting number of the already calculated solution candidates from the total number of the solution candidates, a unit inference time calculation section 6 calculating the unit verification time required for verifying the restricted condition of one solution candidate, and an inference remaining time output section 9 multiplying the number of the ungenerated solution candidates with the unit verification time and outputs a remaining processing time on the way to the restricted inference. |