| 摘要 |
PURPOSE:To form a plan matched with a given problem by repeating the inspection and correction of a plan by an inspecting means and a correcting means until a given restricting condition is satisfied. CONSTITUTION:Specifications inputted to an input device 1 are stored in a memory 7. A temporary plan (TP) forming task 2 forms a TP from knowledge stored in a data base 8 and the specifications stored in the memory 7. When the TP is formed, a simulation task 3 sets up a state matched with the TP in the memory 7 at first and then simulates a plan based upon the TP and sets up the simulated result in the memory 7. An inspecting task 4 compares the simulated result with the restricting condition, and when the simulated result satisfies the condition, decides the TP as a final answer. When the condition is not satisfied, the task 5 corrects the TP. When the corrected TP is formed, a monitor 6 transfers control to the task 3 again to execute simulation. Thus, the plan satisfying the restricting condition can finally be formed. |
