开发知识级问题求解建模

开发知识级问题求解建模正在导致知识工程的重大变革。鉴于知识表示的本体论可以作为开发知识级建模的基础理论，我们提出描述问题求解过程组织的本体论ＲＡ和刻划领域世界结构的本体论ＯＴ，并设计了基于这两个本体论的问题求解建模方法。由于面向知识级建模分析的特点，支持该方法的建模环境ＫＭＥＰＳ有效地克服了面向符号级实现的知识工程的弱点。

Development of Knowledge-Level Modeling for Problem Solving

The development of knowledge-level modeling for problem solving is leading upto a significantrevolution in knowledge engineering.Since the ontologies of knowledge representation can be used as thebasic theories for knowledge-level modeling,we propose the ontology called RA,for describing theorganization of problem solving processes and the ontology,called OT,for characterizing the structures ofdomain world,and formulate a knowledge-level modeling method based on the two ontologies.Because ofthe features oriented to knowledge-level modeling analysis,the modeling environment supporting thismethod,called KMEPS,overcomes the weakness of knowledge engineering oriented to symbol-levelrealization.