这时候已经有了一个能够工作的应用程序和框架，系统能够运用语义推理来理解它配置的服务。
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.
在可重用框架的场景下，通过测试驱动开发设计出的框架是真实可用的，而不是简单地推理。
Test driven development, in the context of reusable frameworks, is seen as a way to design frameworks that are actually usable rather than simply speculative.
针对概念衍生矩阵方法，给出该方法所需知识的框架表达形式，以及相应的概念推理机制。
In allusion to idea generation matrix, represents the knowledge included in the method based on frame, and proposes a correspondent mechanism of concept reasoning.
首先对基于事例推理进行了理论分析，研究了解体工艺的特征，提出了内燃机车解体工艺知识的事例框架表示法。
Firstly, the paper analyzes theoretically the case-based reasoning, then studies the characters of taking-apart craft and presents the frame representation of locomotive taking-apart craft.
此外，还开发了用以形成模糊专家系统框架核心的推理机制，并通过线性模糊矩阵代数运算予以实现。
Moreover, a fuzzy inference mechanism was developed to form the core of fuzzy expert system frame, which could be realized through linear fuzzy matrix algebra.
提出了客户需求知识的框架-规则表示方法及推理过程，对产品知识索引与检索方式进行分析。
The representation of client requirement knowledge based on frame - rule and its inference process are presented, the product knowledge index and retrieve are analyzed.
本文根据逻辑程序的要求，设计了知识结构的三叉树表示法，并给出了基于这种表示的推理过程的框架。
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 order to manage the conflict evidence effectively, a modified conflict evidence reasoning method based on non-closed frame of discernment is proposed.
基于开世界假设，提出了一个通用的不确定性推理和决策框架。
Based on the assumption of open world, a general framework of reasoning and decision-making with uncertainty is given.
粗糙集理论的概念性框架之一就是利用不可分辨关系和布尔推理作为数据约简和获取决策规则的基础。
Rough sets theory provides a framework in which indiscernibility relations and Boolean reasoning form a foundation for data reduction and decision rule generation.
利用面向对象的框架语言实现了知识基离散仿真模型的表达、推理和实施。
In this paper, we realize the representation, reasoning and implementation of knowledge based discrete event simulation models by means of object oriented frame language.
该推理机是一个对象推理机，采用正向推理策略完成对对象式框架知识集的推理操作。
The inference engine is an object which performs the inference operation of object_ framework knowledge using forward chaining strategy.
推理时，根据各类指标对应的案例框架匹配现实样本，以案例背景辅助解释新样本。
While reasoning, a practical sample is matched with past one according to the case framework corresponded by some kind of index, and is interpreted by the case context.
基于规则和基于框架的知识表达方法，在知识量大的情况下，存在表达效率低和推理效率低的缺陷。
The method to express machining knowledges based on rules and frame has the drawbacks of low expression efficiency and low inference efficiency.
采用框架结构来对知识进行表示，定义了框架知识语言，实现了对知识的表示和推理。
Frame is used to represent knowledge, and we have defined the frame language, implemented the representation and reasoning on knowledge.
所以，本文设计了一个RDF存储与查询框架，它采用灵活的推理策略，即结合了前向推理和后向推理。
Therefore, we design an RDF storage and query framework with flexible inference strategy, which can combine forward and backward chaining inference strategies.
在总结和归纳专家诊断鱼病经验的基础上，建立了鱼病诊断推理框架，并给出了推理中的核心算法。
Based on summarizing and concluding experience experts diagnose fish diseases, the reasoning frame of fish disease diagnose and the core arithmetic of reasoning had structured.
提出一种在范例推理框架上集成模糊数学的故障诊断方法，并进一步建立起可应用于电力变压器故障诊断的实用模型。
A diagnostic method integrating case based reasoning with fuzzy theory is presented in this paper, and a practical model for power transformer fault diagnosis is further built up.
计算力学是一个全新的理论框架，主要研究动力学系统中的几何状态空间如何支持符号推理计算。
Computational mechanics is a new theory frame to analyze how geometric state space structures support computation in dynamics systems.
有效地处理属性论的分级现象，后承式的推理方法被引入至计算中，结果形成属性论的一个新的计算框架。
We introduce the notion of sequent to the computation, and it results a new computing frame in the research.
框架的知识组织方式也有利于工作流的推理，而且框架是本体形式化的表示方法之一，因此框架是基于系统层知识的工作流建模的理想方法。
The knowledge organization of framework helps workflow illation, framework also being one of the ontology formalization approaches and the ideal modeling method based on system layer knowledge.
提出了一种基于案例推理的物流外包风险预警管理系统，研究了系统的关键技术及其应用框架，为物流外包的风险预警提供了一种新的思路。
The paper puts forward a Business Logistics Outsourcing Risk Alarming Management System based on case reasoning, studies the key technologies of the system and its application.
最后提出了集成案例推理与规则推理的车辆保险决策支持系统并给出了系统框架。
At last, this paper gives the integrated reasoning model of CBR and RBR and put the framework of decision support system.
形式框架支持推理多策略的策略等价，策略冲突及策略协作，在多方面优于目前文献中的形式框架。
The resulted formal framework reasoning about policy equivalence, policy conflict and policy cooperation has more advantages over ones described in literature.
介绍了一种在覆盖集理论框架上集成模糊推理的诊断方法，在此基础上建立了应用于电力变压器故障诊断的实用模型。
A diagnostic method integrated covering theory and fuzzy reasoning is introduced in this paper. Based on it, a practical model applied for the fault diagnosis of power transformer is constructed.
在双枝模糊集基础上，建立了双枝模糊推理框架，它是对单枝模糊推理的合理扩展。
On the basis of both-branch fuzzy sets, the paper builds up the study frame of both-branch fuzzy inference, which is reasonable extension for single-branch fuzzy inference.
该模板模型可作为现有模型的分析模板和新的基于产生式规则的不确定推理模型研究与构造的基本框架模板。
It can be used as a frame to analyze current uncertainty model or research and construct a new uncertainty reasoning model.
借助于归纳推理的局部合理性推论，本文修正了常见非单调逻辑的推理模式，从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.
借助于归纳推理的局部合理性推论，本文修正了常见非单调逻辑的推理模式，从而提出了一种新的在演绎框架下实现归纳推理的形式方法。
By local rational theory of inductive reasoning, we modify the reasoning mode of common nonmonotonic logic, and so we provide a new formal method of inductive reasoning under the deductive model.
应用推荐