Considering the problems in actual application, this paper proposed a kind of domain knowledge centered know-ledge discovery process model, then formalized it and described its dynamic semantics.
针对知识发现在实际应用中的问题，提出了一种以领域知识为中心的知识发现过程模型，并将其形式化，描述了其动态语义。
On the basis of this formalized system, NLP-oriented disambiguation knowledge along with its representation formulism and application strategy is given.
在这种知识的形式化表示基础上，给出了NLP中的消歧知识及其表示形式，以及基于消歧知识的消歧策略。
A knowledge representation language is designed and implemented based on the formalized definition of object and the specification of our expert system developing tool.
按照面向对象的形式定义，结合专家系统的具体特征，设计适用于专家系统开发工具的知识表示语言。
A knowledge representation language is designed and implemented based on the formalized definition of object and the specification of our expert system developing tool.
按照面向对象的形式定义，结合专家系统的具体特征，设计适用于专家系统开发工具的知识表示语言。
应用推荐