摘要
The expert system MUST (Mining Under Structures) shown in this paper and established by the authors is a preliminary expert system to solve the policy-making problems for mining under structures by means of computers instead of humanbeing. Based on the experience of relative experts,the authors established a knowledge base about the minings under structures,researched into reasonable method to simulate thinking processes of human experts when they are solving the problems, established the network of an expert system and named it ' MUST system' . MUST system uses the method of the structural system analysis approach. A kind of methods of Turbo Prolog and Fortran 77 language alternations is designed to meet the needs of exchange information within the MUST system. Based on this kind of methods MUST system has been constructed and realised on IBM-PC computer. For verifying the correctness, suitability and reliablity of MUST system,some practical examples of minings under structures were tentatively solved using MUST system,whose results are satisfactory.
The expert system MUST (Mining Under Structures) shown in this paper and established by the authors is a preliminary expert system to solve the policy-making problems formining under structures by means of computers instead of humanbeing. Based on the experience of relative experts,the authors established a knowledge base about the minings under structures ,researched into reasonable method to simulate thinking processes of human experts when they are solvin8 the problems, established the network of an expert system and named it'MUST system'MUST system uses the method of the structural system analysis approach. A kind of methods of Turbo Prolog and Fortran 77 language alternations is designed to meet the needs of exchange information within the MUST system. Based on this kind of methods MUST system has been constructed and realised on IBM-PC computer. For verifying the correctness. suitability and reliablity of MUST system,some practical examples of minings under structures were tentatively solved using MUST system ,whose results are satisfactory.