Problem Solving by Modeling with Active Objects

能動的オブジェクトを用いたモデル構築による問題解決

Problem Solving by Modeling with Active Objects

Creators Kariya Joji

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.

[ISSN]0372-7661

[NCID]AN00244228