Based on the definition of XFD, the inference rules for XML and logical implication is studied, and a set of inference rules, a path closure algorithm and membership algorithm are presented, an.
Arenas等人给定的XFD的推理规则并证明了推理规则集的正确性和完备性。
Based on the definition of XFD, the inference rules for XML and logical implication is studied and a set of inference rules is presented and in- ference rules s correctnessand completeness is proved, as well as a path closurealgorithm and membership algorithm are presented.
在这种XFD定义的基础上研究了XML的推理规则和逻辑蕴涵问题,提出了一组推理规则集并证明了推理规则的正确性和完备性,给出了求解路径闭包算法和成员籍算法。
This paper discusses the simplicity of the system MP′s inference rules SA.
本文讨论中介命题扩张系统 MP* 推理规则集 SA的简化。
By analyzing the difference between DTD and Schema,and referring to the pertinent researches of functional dependency for XML based on DTD,a series of basic concepts such as the formulation of Schema are given,as well as functional dependency for XML based on Schema and its inference rules,which is helpful to normalizing XML documents and future work.
通过分析DTD标准和Schema标准的不同之处,并参考基于DTD标准的XML函数依赖的相关研究,提出了Schema的形式化定义等一系列基础概念,给出了基于Schema标准的XML函数依赖定义以及它的推理规则集,有助于规范化XML文档和今后的研究工作。
Some defects of the inference rules in former CS logic were analysed,modified and expanded to reflect the characters of Timed-release cryptographic protocols better.
较之以往的形式化分析工具BAN及BAN类逻辑,CS逻辑是一种将时间与逻辑结构相结合的逻辑,是第一个用来分析与时间相关的Timed--release公钥协议的逻辑,本文分析了原始CS逻辑的某些推理规则的缺陷,并对其作了改进及扩展,使其能够更好地反映Timed--release公钥协议的特性,并对一个具体的Timed-release公钥协议用扩展后的推理规则进行了有效的形式化分析。
And finally,a group of inference rules about XML local functional dependencies is given,and is proved correctly.
文章提出了基于DTD路径的XML局部函数依赖的概念,它表达了"函数依赖在一个XML文档树的子树中是成立的,而在整个XML文档树中不成立"语义要求,给出了XML局部函数依赖一套推理规则集,并证明推理规则的正确性。
It constructs reasoning rules as well as propagation algorithm to detect underling relationships of goals.
构造目标关系的推理规则和推导算法,以发现模型中隐含的关系,进而分析目标模型的一致性和可行性,为需求可行性评估奠定了理论基础。
Then,the reasoning rules for disass.
根据从CAD模型中得到的信息和零、部件的自由度信息,制定了产品拆卸序列规划的推理规则和求解算法;按照“可拆即可装”的原则,倒置拆卸序列得到产品的装配序列。
This paper deals with the practical battle model, reasoning rules and control strategies of the artillery groups firepower scheme, which is a representative of military writs in the artillery army.
文章研究了对具有代表性的“炮兵群火力方案”军用文书的实用战斗模型、推理规则和控制策略。
Aimed at quality control for injection molded parts,a hybrid reasoning method based on case- based reasoning(CBR)and rule-based reasoning(RBR)is proposed.
将案例推理引入注塑制品质量控制系统的设计中,采用基于决策树和最近邻方法的混合检索模型,提出以注塑制品结构、原料、注塑机、成型模具和工艺参数为主要特征因素,建立一种面向对象层次结构的案例表示方法,并提出基于案例与规则的缺陷诊断推理机制,将案例推出的经验作为目标案例质量控制系统的初始值,经过知识规则推理得到目标案例的解决方法。
By applying rule-based reasoning,a cutting database is developed where experiences are stored for scientifically choosing craft parameters such as tool,cutting parameters.
利用基于规则推理技术,可为建立切削数据库提供一个切实可行的方法,即将切削加工过程中的参数选取经验存储到数据库,并使之能科学地选择刀具、切削用量等工艺参数。
The rule base is the foundation of rule-based reasoning, while the material parameters of the die are stored in the case base.
系统的数据库分为6个规则库和1个实例库,规则库是规则推理的基础,实例库存放模具材料的技术参数。
Aiming at the structure specialty and fault characteristics of the warship condenser,the hybrid engine based on CBR and RBR is offered.
针对舰船冷凝器结构特点和故障特性提出基于范例推理和规则推理相结合的混合推理机,对不同的故障采取不同的诊断推理模式,以具体故障为例验证所构建系统的有效性,并以计算机编程仿真验证其可行性。
The system integrated case-based reasoning system and rule-based reasoning system,through RBR interface calling Rule-based reasoning system, heightened the efficien.
通过湖北省建筑工程质量控制研究实践,开发了集建筑质量控制知识管理和决策支持功能于一体的施工质量控制和事故处理系统(CQIS),系统将正向规则推理和基于案例的推理(CBR)相结合,通过RBR接口调用RBR系统,提高案例推理质量诊断的能力,实现基于知识的综合推理功能。
For the problems of building Rule-based reasoning expert system,there introduced Case-based reasoning methods briefly, then presented AESCR(Agriculture Expert System Combining CBR and RBR) combined the two techniques.
简要介绍了基于规则推理建立传统专家系统中遇到的一些问题,同时对基于案例推理的方法进行简单描述,提出了将两者相结合的农业专家系统,设计了该专家系统的整体结构图和工作流程,并对实现系统的部分关键技术进行探讨和构想;最后以马铃薯病害决策为例介绍了系统的工作步骤,验证了以此提高求解问题的可靠性,增强了系统在实际应用中的适用性。
A Method for Mining Database Weak Functional Dependency Inference Rules
数据库弱函数依赖推理规则挖掘方法
Effects of Rule Orders and Types on Children s Rule-based Reasoning;
规则顺序与规则类型对儿童规则推理的影响
Should Dilemma Observe the Rules of Disjunctive Syllogism;
二难推理需要遵守选言推理的规则吗?
Application of Case Modification in CBR and RBR
实例推理和规则推理在实例修改中的应用
EFFECT OF RULE DIMENSIONS AND REASONING DIRECTION ON CHILDREN’S CAUSAL REASONING;
推理方向与规则维度对儿童因果推理的影响
answering statements in rule-based system
规则推理系统中的回答语句
Principled Reasoning in Conversational Implicature: A Formalist Program;
会话含义中规则性推理的形式化研究
Study on the Ratiocination Strategy of the Rule Petri Net;
规则Petri网的推理策略的研究
Appling WTO Rules Push Abead with Reform of Our Supervision Industry;
适应WTO规则推进我国监理行业的改革
The Technical Research of Emergent Event's Auto-process Based on Rule Reasoning
基于规则推理的应急事件自动处理技术研究
Decision inference of the extended decision rules was implemented using fuzzy CRI (compositional rule of inference).
用关系合成的模糊推理方法，实现了扩展决策规则集的决策推理。
Integrated Application of CBR and RBR in Logistics Distribution System
案例推理和规则推理在物流配送系统中的集成应用
The condition portion of a rule that is tested by the inference engine. If the premise is found to be true, the corresponding action specified in the rule conclusion is taken.
规则中受推理机测试的条件部分,若前提为真,则采取规则结论所规定的相应动作。
Implementation of Denotation and Reasoning of Non-recursion Rule with View
利用视图技术实现非递归规则的表示与推理
Intelligence Diagnostic Systems of Power Plants Based on Case, Rule and Model Reasoning
基于案例、规则和模型推理的电站智能诊断系统
Design of the Shaft Category Craftwork Which Based on RBR and CBR;
基于实例与规则混合推理的轴类零件工艺设计
Study on Self-parse & Matching Reasoning Prototype System Based-on Rule Engine;
基于规则引擎的自解析匹配推理原型系统研究
Adaptive Neuro-fuzzy Reasoning Based on Weighted Fuzzy Rules;
基于加权模糊规则的自适应神经—模糊推理