对语义数据调用推理程序。
本文通过研究采掘领域的专家知识，构造了采掘计划的规则库，并设计了基于产生式规则的推理程序。
Through studying the expert knowledge of mining scheduling, this paper constructed a mining rule base for mining scheduling, and designed a ratiocinate program based on production rules.
脱离语境的推理是公认的标准的推理过程和程序。
Decontextualized reasoning is the accepted standard process and procedure of reasoning.
根据上面提出的论点进行推理，可以设想不再出现大量可能的程序设计错误，促使质量上极大的进步。
By inference based on the argument presented above, one can assume that a large number of the possible programming errors were never made, resulting in tremendous gains in quality.
这时候已经有了一个能够工作的应用程序和框架，系统能够运用语义推理来理解它配置的服务。
At this point, you have a working application and the framework in place so that the system can use semantic reasoning to understand the services at its disposal.
这时候已经有了一个能够工作的应用程序和框架，系统能够运用语义推理来理解它配置的服务。
At this point you have a working application and the framework in place so that the system can use semantic reasoning to understand the services at its disposal.
与搜索引擎凭借关键字搜索相关网页不同的是，这款程序会进行逻辑推理。
Unlike a search engine, which finds relevant web pages statistically using key words, True Knowledge is able to reason.
这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。
This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.
正是由于完全不同的方法，Haskell 才能在很多应用程序中提供无以匹敌的简洁性和表达力，在那些要求进行数学推理的应用程序中，这一点更是表现突出。
Thanks to that radically different approach, Haskell's conciseness and expressiveness is unmatched in many applications, particularly in those requiring mathematical reasoning.
因此，刑事诉讼中的事实，应当包括在诉讼中具体体现的案件事实、程序事实和证据事实，并在事实推理的基础上，达到作为审判结果的法律事实。
So the fact in criminal suit should include case fact, procedure fact and evidence fact, and based on the fact reasoning, so as to reach the legal fact of the trial result.
在构造工艺设计子任务分解策略的基础上，对专家系统中基于固定程序推理所存在的问题进行了论述。
First this paper structures the sub-task dividing strategy of process planning, Then the problems for the existence of fixed program reasoning in expert system are analyzed.
系统运行良好，能够针对高级语言初学者程序中出现的大部分错误，经过推理分析，指示并提出改正方法。
The system run well and can direct the most of errors for beginner of high programming languages and give the methods of correction thought reasoning and analysis.
一般逻辑程序是知识表示的重要工具，也是非单调推理研究的领域之一。
General logic programming is an important knowledge representation tool, and is an area of nonmonotonic reasoning.
故障诊断程序采用模糊推理机制，能把故障快速定位到单板级。
Fuzzy reasoning was used in the fault diagnosis program. The system can locate fault at a single-board quickly.
本文根据逻辑程序的要求，设计了知识结构的三叉树表示法，并给出了基于这种表示的推理过程的框架。
Given the requirements of logical programming, a trinary-tree knowledge representation is proposed in this paper, and a framework of inference procedures based on the representation is given.
在解释程序的设计中，采用预置文本与路径跟踪法，可以在用户需要时给出推理结果和过程的详细解释。
In the design of interpretive program, employ preset text and path tagging method to get inference result and explanation of process in detail when users demand.
专家系统是一个智能计算机程序，它利用知识和经验，通过推理来解决领域中只有专家才能解决的问题。
The expert system is a intelligent computer program, which utilizes knowledge, experience and reasoning to solve the problems that only experts can solve.
自动程序设计系统APA使用类比推理技术，向过去经验学习编写新的LISP程序。
APA, an automatic programming system, can use analogical reasoning to learn from past experience and construct new LISP programs.
采用面向对象的程序设计构造蜗杆传动的知识库和实施推理策略，提出了啮合分析的优化计算方法。
To use object oriented programming method built knowledge storage and organon, put forward optimum calculative method for the mesh analysis.
采用加工分离程序和多重分离程序，以瑞文高级推理测验为实验材料，对内隐推理进行了实验研究。
This paper, using the process dissociation procedure and the multi process dissociation procedure and the Raven Advanced Progressive Matrices, experimentally studies implicit reasoning.
侦破事实具有故事性、程序性、推理性特征。
The investigation and detection facts have plot, program sense, and reasoning sense.
文中使用PROLOG程序设计语言，推理机采用反向推理方式，构造一个企业管理决策专家系统。
The paper USES PROLOG programme design language and introduces reverse inference into inference engine. In this way, an expert system for enterprise management decision has been established.
收敛思维分为静态收敛与动态收敛，具有聚焦性、指向性、综合性、程序性、继承性、推理性等特点。
Convergent thinking divided into static and dynamic convergence which has focus, direction and comprehensive, procedures, inheritance, and other characteristics.
我一直相信数字，还有那些引导推理的方程序和逻辑。
I've always believed in Numbers. In the equations and logic that lead to reason.
二级推理数据库是传统的数据库系统和PROLOG系统的结合，它可分为二级：数据库级及逻辑程序级。
The two-level deductive database is the amalgamation of a conventional database system and a PROLOG system, which is divided into two levels, the database level and the logic program level.
逻辑程序设计语言hprolog是一种类prolog语言，它将主要作为一种推理数据库的查询语言。
Logic programming language HPROLOG is a prolog-like language. It is mainly a deductive database query language.
本文给出了证明决策表程序正确性的推理规则，其中特别使用了决策表程序的层次结构和不可能规则。
This paper is shown how to prove the correct of Decision Table programs using some reasoning rules. The use of the hierarchical structure and impossible rules are of special significance.
论文对其体系结构、知识表示模式、推理机制、程序设计方法及测试情况作了简要介绍。
The system structure, pattern of knowledge expression, reasoning mechanism, programming method and testing result are introduced briefly.
推理机制是人工智能及逻辑程序设计的关键技术。
The inference mechanism is a key technology in AI and Logic Programming.
推理机制是人工智能及逻辑程序设计的关键技术。
The inference mechanism is a key technology in AI and Logic Programming.
应用推荐