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

The role of this previously acquired knowledge in language comprehension has been formalized as schema theory.

以前的作用，在语言理解掌握的知识已经正式作为图式理论。

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