A FORMAL SYSTEMS APPROACH TO SOLVER DESIGN-HILL CLIMBING METHOD WITH PUSH DOWN STACK

摘要

This paper presents a formal approach to design of a solver of an intelligent management information system and its implementation. The approach implies set theoretic modeling based on the general systems concepts and implementation in the extProlog. There are research efforts which attack (optimization) problems using the set theory and logics. Furthermore, they use logic programming languages for their implementation. Although their methods look quite similar to the approach of this paper, there are clear differences between them. This paper is interested in exploration of the solving system rather than algorithms. The paper first presents a design and implementation procedure of a solver. Then, classification of problems is discussed. The least structured class of the classification is the target of this paper. A data mining system is an example of the class. Formal theories are derived for the design procedure assnming the least structured case. A solving strategy, which is called a hill climbing method with a push down stack, is proposed on the theories. A data mining system is used as an example to illustrate the results. Finally, a full implementation in extProlog is presented for the data mining system.