|
|||||
|
|
| A FORMAL SYSTEMS APPROACH TO SOLVER DESIGN—HILL CLIMBING METHOD WITH PUSH DOWN STACK | |
| 作者姓名： | Yasuhiko TAKAHARA Yoshio YANO |
| 作者单位： | Depertment of Management Information Science，Chiba Institute of Technology，2-17-1 Tsudanuma，Narashino，Chiba，Japan，Depertment of Management Information Science，Chiba Institute of Technology，2-17-1 Tsudanuma，Narashino，Chiba，Japan |
| 摘 要： | This paper presents a formal approach to design of a solver of an intelligent managementinformation system and its implementation. The approach implies set theoretic modeling based on thegeneral 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 methodslook quite similar to the approach of this paper, there are clear differences between them. This paper isinterested in exploration of the solving system rather than algorithms. The paper first presents a design and implementation procedure of a solver. Then, classificationof problems is discussed. The least structured class of the classification is the target of this paper. Adata mining system is an example of the class. Formal theories are derived for the design procedure assuming the least structured case. A solvingstrategy,which is called a hill climbing method with a |
| 关 键 词： | 智能管理信息系统 系统设计 下推栈 爬山法 集合论 形式系统 解算机 |
A formal systems approach to solver design-hill climbing method with push down stack |
|
| Yasuhiko TAKAHARA,Yoshio YANO.A formal systems approach to solver design-hill climbing method with push down stack[J].Journal of Systems Science and Systems Engineering,2003,12(2):138-158. | |
| Authors: | Yasuhiko Takahara Yongmei Liu Yoshio Yano |
| Institution: | 1. Depertment of Management Information Science,Chiba Institute of Technology, 2-17-1 Tsudanuma, Narashino, Chiba, Japan takahara@pf.it-chiba.ac.jp 2. College of Business, Central South University, Changsha, 410083, P.R. China liuyongmeijp@yahoo.co.jp 3. Depertment of Management Information Science,Chiba Institute of Technology, 2-17-1 Tsudanuma, Narashino, Chiba, Japan gO173021@cc.it-chiba.ac.jp |
| Abstract: | 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 assuming 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. |
| Keywords: | Solver hill climbing push down automaton systems approach set theory Prolog |
| 本文献已被 CNKI 维普 万方数据 SpringerLink 等数据库收录！ | |