计算机定量问题自动求解系统

“定量问题求解系统”，是ＡＩ和专家系统领域内的一门新技术。其目的是建立集科学、工程技术中广为应用的量、公式、定理等定量知识为一体的知识存储、检索和问题求解的计算机系统。本文简述国外计算机定量问题自动求解系统研究工作，全文介绍了定量问题求解系统的研究对象和一般的理论方法，并着重讨论几个典型的应用系统；同时详细介绍了一个用面象对象方法开发的系统ＱＰＳ，该系统在英国的ＴｈｅＱｕｅｅｎ’ｓＵｎｉｖｅｒｓｉｔｙｏｆＢｅｌｆａｓｔ开发成功。