Problem Solving by Modeling with Active Objects

To solve a problem without effective algorithm, we must construct a model of the objects, and combine the partial facts, and try to solve it by using heuristics. While a system co-operates with man to solve such problems, it is necessary to behave as man for mutual comprehension between man and the system. In order to write a program which allows natural description and simulates the process of man's thinking, we extend REWMOL to have object-oriented programming facility. REWMOL is a LISP like language with concurrent process facility. Problems of cryptomathematics are solved to test on the ability. It is made clear that it have a good property to generate, execute and put together many subgoals concurrently, but it is some difficult to descride discontinuation of thinking.