很多早期的人工智能的成功发生在单一、形式化的环境下，不需要计算机对世界有太多的知识。
Many of the early successes of AI took place in relatively sterile and formal environments and did not require computers to have much knowledge about the world.
本体是由知识中的概念、概念间的关系以及计算机可以识别的形式化描述语言组成的实体。
An ontology is the entity which composes of the concept of knowledge, the relationship between the concepts and formal description language can be identified by computers.
计算机能够自动的通过逻辑推理规则来推理这些用形式化语言描述的陈述。
A computer can reason about statements in these formal languages automatically using logical inference rules.
具有讽刺意味的是，对于人类来说最难的脑力任务之一就是抽象、形式化任务，然而这对于计算机来说却是最简单的任务之一。
Ironically, abstract and formal tasks that are among the most difficult mental undertakings for a human being are among the easiest for a computer.
作为自然语言理解的一项研究重点，语义分析旨在将人类的自然语言转化为计算机能够理解的形式化语言。
As a research focus in natural language understanding area, the purpose of semantic analysis is to transfer the mankind's natural language into formal language that computer can understand.
根据计算机生成兵力的特点提出了基于控制论的CGF实体对象行为模型ESCP的概念模型、形式化模型和结构模型。
Based on the characteristic of CGF, the thesis presents a behavior model of CGF entity named ESCP and its concept model, formalization model and construct model.
形式化语言是计算机科学中一个重要的研究领域。
Formal language is an important research area in computer science.
类型系统一直是理论计算机科学的研究热点，特别是带高阶子类型的多态类型系统的研究在探讨面向对象技术形式化理论基础中起着重要作用。
In recent years, peoples have studied many type systems, and the type systems with high order subtyping play an important role in the research of formal foundation of object oriented technology.
通过功能符号形式化描述建立分层次的机构概念运动模型，实现对计算机辅助概念运动设计的支持。
By setting up a hierarchical mechanism motion model for conceptual design through the formal description of function symbol we provide a solid support to the computer aided conceptual motion design.
该方法针对目前航空电子系统的系统设计与验证中的“V”型流程进行建模，并对其进行形式化的描述，以供计算机分析、识别。
With this met hod V-type process in current avionics system design and verification is modeled and formally described for computer analysis and identification.
最后构建计算机网络课程知识本体的实例，并用owl语言形式化的将它表现出来。
Lastly, an instance of the ontology of the course of Computer Network is constructed and represented in OWL language.
研究表明，基于多色集合理论建立的机械产品概念设计模型易于形式化描述和推理，方便计算机编程。
Results show that the conceptual design model of mechanical product based on polychromatic sets can be described and reasoned with formal method, and programmed easily.
本文对CQAES系统所使用的问句进行了形式化描述，主要对在计算机上所使用的中文自然语言问句的形式做一些探讨。
This paper formally describes question sentences used in CQAES. It mainly intend to probe into the formation of question sentence of natural language used in computer.
本文对CQAES系统所使用的问句进行了形式化描述，主要对在计算机上所使用的中文自然语言问句的形式做一些探讨。
This paper formally describes question sentences used in CQAES. It mainly intend to probe into the formation of question sentence of natural language used in computer.
应用推荐