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.

针对知识发现在实际应用中的问题，提出了一种以领域知识为中心的知识发现过程模型，并将其形式化，描述了其动态语义。

youdao

On the basis of this formalized system, NLP-oriented disambiguation knowledge along with its representation formulism and application strategy is given.

在这种知识的形式化表示基础上，给出了NLP中的消歧知识及其表示形式，以及基于消歧知识的消歧策略。

youdao

A knowledge representation language is designed and implemented based on the formalized definition of object and the specification of our expert system developing tool.

按照面向对象的形式定义，结合专家系统的具体特征，设计适用于专家系统开发工具的知识表示语言。

youdao

Now to help facilitate the growth of robot scientists for routine, automated experiment, King and his team are urging that the methods and processes of science be formalized, to remove the ambiguities of natural language and make it easier to reproduce experiments and build the bases of knowledge.

FORBES: Chess, Art, Robots, and the Future of Science