FATI与FITA的等价性

在模糊系统中,给定一组推理规则,可以先把这组规则聚合为一个超规则,然后依此超规则进行推理,也可先分别依据各给定规则进行推理,然后将所得结果进行聚合.本文讨论分别利用CRI算法与三I算法进行推理时,上述2种方法的等价性问题.证明了当聚合取并运算且用CRI算法进行推理时,FATI与FITA方法等价,而对三I算法只有在恰当选择蕴涵算子时,2种方法才能等价;当聚合取交运算且用CRI算法和三I算法进行推理时,FATI与FITA方法不一定等价.     

论聚合与推理的顺序

给定一组推理规则,可以先把这组规则聚合为一个超规则,然后依此超规则进行推理;也可先分别依据各给定规则进行推理,然后将所得结果进行聚合．本文证明了这两种方法都可以是相容的,并指出Ｂｕｃｋｌｅｙ与Ｈａｙａｓｈｉ关于前者一定不相容的论断是错误的．     

论聚合与推理的顺序

给定一组推理规则，可以先把这组规则聚合为一个超规则，然后依此超规则进行推理；也可先分别依据各给定规则进行推理，然后将所得结果进行聚合。本文证明了这两种方法都可以是相容的，并指出Ｂｕｃｋｌｅｙ与Ｈａｙａｓｈｉ关于前者一定不相容的论断是错误的。     

专家系统开发平台OKPS的设计与实现

采用面向对象知识表示方法描述和存贮知识 ,设计实现了一个名为 OKPS的专家系统开发平台 ,用于构造和使用专家系统 .系统由两部分组成 ,即知识获取和管理工具 ,以及面向对象推理机 .前者为知识工程师提供高效地建立、扩充和维护专家系统的工具 ,它采用面向对象知识表示方法 ,分层次地向知识工程师展示知识库的全部结构 ,采用可视化的手段辅助知识工程师构造知识库 ,同时还隐藏了知识库到数据库这一存贮映射过程的实现细节 ;后者通过人机交互界面为专家系统最终用户提供解释和执行专家系统中推理规则的机制 .此外 ,系统还引入了一种专用高级语言 :推理控制语言 ICL,用于描述和操作专家知识与规则 ,并控制推理过程     

功利主义的非正义性及其原因——罗尔斯对功利主义的批判

罗尔斯认为功利主义可以区分为古典功利主义和平均功利主义,其中后者比前者更具有优越性,是其正义理论的最大竞争对手,但是人们在原初状态中不会对平均功利进行预期,而是合理选择两个正义原则及其优先规则.罗尔斯在原则产生的基础、原则产生的过程以及原则的实际效果等方面分析和批判了功利主义原则的非正义性,主张以正义原则取代功利主义原则.     

关于公理集合论的一些注记

一般人们把Bernays-G(?)de1(BG)系统中的类和Zerme1o-Fraenke1(ZF)系统中的集合相对应,从而认为前者既恢复了素朴概括公理又只使用有限条公理,远比后者优越.其实BG系统对集合的定义不大符合直觉,又使用两种变元,相当复杂,值得改进.而且BG中的类相当于ZF中的公式,BG中的集合才相当于ZF中的集合,因此所谓BG恢复了素朴概括公理的说法是不对的.如果我们把ZF集合论建基于二级谓词演算之上,那末ZF系统也只使用有限条公理.本文将说明建基于二级谓词演算的ZF系统,无论从概念(意义)上或形式推导上都优于BG系统.     

专家系统开发平台OKPS的设计与实现

采用面向对象知识表示方法描述和存贮知识，设计实现了一个名为OKPS的专家系统开发平台，用于构造和使用专家系统。系统由两部分组成，即知识获取和管理工具，以及面向对象推理机。前者为知识工程师提供高效地建立、扩充和维护专家系统的工具，它采用面向对象知识表示方法，分层次地向知识工程师展示知识库的全部结构，采用可视化的手段辅助知识工程师构造知识库，同时还隐藏了知识库到数据库这一存贮映射过程的实现细节；后者通过人机交互界面为专家系统最终用户提供解释和执行专家系统中推理规则的机制。此外，系统还引入了一种专用高级语言；推理控制语言ICL，用于描述和操作专家知识与规则，并控制推理过程。     

中介命题系统MP推理规则的独立性问题

对于一个形式系统而言,在不改变其完备性的前提下,形式越简洁,使用越方便。现在中介命题系统MP推理规则集S的简化定价集S1已经建立,其中S1共有14条推理规则,如果这些推理规则中有一条可以由S1的其余推理规则推导出来,那么它就是不独立的,可以将其删去而不影响形式系统S1的效力,从而得到形式上更为简洁的系统。为此目的笔者利用值模型法对形式系统S1的每条推理规则的独立性一一进行了探讨,发现一条不独立的规则,并且证明了其余每条推理规则都独立于其余推理规则。     

古代军事中的夜间计时法研究

中国古代军事中夜间安营使用过两种计时法--步行计时法与数珠计时法.前者至晚在唐代出现,后者最晚出现于宋代.两种方法相较于传统的水漏计时和测影计时,都具有简便易行、受环境制约不大的优点.缺点是精度较低.从计时原理上来讲,这两种计时法应归于木漏系统,属于木漏的异体.     

神经网络方法求解多目标多加工工艺的柔性制造系统散件调度

针对多目标、多加工路径选择的柔性制造系统 ( FMS)散件调度特点 ,提出一种带可控因素的神经网络模型 .用灵活的规则推理体现 FMS的系统目标 ,用可靠的神经网络演算解决非线性问题的优化组合 ,达到以较少的代价同时获得系统的完备性和适应性的效应     

句子规划器的设计与实现

介绍生成多语种天气预报文本系统中句子规划器的设计与实现．句子规划主要由两部分组成：句子优化和语言资源映射．前者按照一定的优化规则在句子之间消除冗余成分；后者根据具体语言特点对句子进行结构化处理，确定文本结构树并为树中各节点添加语言资源信息，以供表层生成处理时使用．     

小麦保持系、恢复系的选择

在小麦雄性不育的研究工作中,选用什么品种作保持系、恢复系方面,中国科学院遗传研究所根据近几年来的试验,初步摸索到以下几点经验,可供进一步研究时参考。 1.宜选择矮秆或中等的品种做保持系(新不育系的父本),选择秆较高的品种做恢复系。换句话说,不育系要秆矮点,恢复系要秆高点,以便后者给前者传粉,并能使所获杂种     

基于目标蓄水量的限制供水规则模型研究

就如何确定最优的限制供水启动标准、停止条件以及限制供水量这三个限制供水规则研究的核心问题,建立了一种新的基于目标蓄水量的限制供水规则模型,该模型由两时段模型和目标蓄水量模拟优化模型构成,前者在给定的各时段目标蓄水量条件下求解限制供水规则,后者以解得的限制供水规则为基础优化各时段目标蓄水量.从理论上给出了考虑约束条件的限制供水规则解析表达式,同时采用主-从种群混合进化的粒子群算法对模型进行求解.在徐家河水库调度实例中,将模型与动态规划、标准运行策略和调度图方法调度结果进行了对比,结果表明了新模型的合理性及有效性.     

具有线性路阻函数的路径流量分配效率

用户均衡和系统最优是两种最基本的流量分配方式,前者是用户出行时追求费用最小,而不考虑其他用户如何选择路径;后者是对所有用户进行管制,追求网络上总费用最小。针对系统最优时部分路径上费用过大的问题,讨论了路阻函数为线性时,同一路径上两种不同分配方式费用的大小关系;同时,定义了重载路径和轻载路径,并给出两种路径的判别方法。     

RIF2Jess:应用Jess实现RIF规则推理

在分析W3C推荐标准规则交换格式(RIF)的基础上研究对其推理实现,提出使用通用规则推理引擎Jess实现对RIF格式规则的推理,给出了RIF规则到Jess格式的转换算法及正确性证明,设计了RIF2Jess系统,该系统可以完成RIF规则到Jess格式的转换并调用Jess推理引擎推理出结果.实验结果表明,RIF2Jess可以准确完成转换并推理得到正确结果.     

新型复合结构超声换能器的研制

为提高超声换能器的性能,提出一种新型的复合结构超声换能器,这种结构的超声换能器在同一只换能器中使用两种压电材料--压电陶瓷(PZT)和压电薄膜(PolyyinylideneDifluoride,PVDF),前者用于发射;后者用于接收.应用KLM(Krimholtz,LeedomandMattaei)机电耦合等效电路模型对这种换能器作了理论上的分析,并实际制作了这种复合结构的超声换能器.理论和实验结果均表明,该复合结构的超声换能器具有较小的输入功率损耗和相对较短的回响.     

实例推理和规则推理在CAD中的集成研究

基于实例的推理（CBR）和基于规则的推理（RBR）是知识工程中两类实用有效的推理方式，其逻辑学基础是类比推理和演绎推理。在复杂内、病态结构的设计问题求解中，上述两类推理方式都得到了广泛而独立的应用。提出一种将CBR与RBR集成的方法，即根据设计过程中各阶段的特点，灵活使用实例推理和规则推理策略去解决工程设计问题， 可提高设计问题求解的效率和有效性。     

三个公理系统的等价性

本文旨在二值逻辑意义下,证明了如下三个公理系统的等价性。系统Ⅰ:(A_1)■→(x→■);(A_2)[■→(x→θ)]→[■→x)→(■→θ)];(A_3)(■→■]x)→(x→■)系统Ⅱ:(a)(■→x)→[(x→θ)→(■→θ)];(b)(■→■)→■;(c)■→(■→x)系统Ⅲ:(α)({[(■→■)→(■→■θ)]→x}→τ)→[(τ→■)→(θ→■)]以上系统都使用同一推理规则——分离规则。     

基于规则与相似度的语义web服务匹配

随着语义web技术的快速发展,基于语义的web服务发现技术,已成为web服务领域研究热点之一.效率和精度,是web服务发现技术的两个主要关注点.Web服务发现可以分为基于本体概念相似度度量和基于逻辑推理这两种方法.这两个方法互有优点,前者主要效率方面占优,而后者则在精度方面优势明显.本文提出了一种基于规则与相似度的语义web服务两阶段匹配方案.该方案采用语义网规则语言作为规则描述语言,利用基于相似度的服务输入输出匹配方法进行第一阶段的筛选.在此基础上再次利用基于规则推理的方法,对第一阶段的匹配结果进行进一步的精化,从而在效率与精度两方面取得一定的平衡.     

论三段论各格的规则

长期以来，在逻辑学界人们总是认为，如果要检验一个三段论的式是否有效，既可以使用三段论的一般规则，又可以使用三段论各格的特殊规则。也就是说，三段论各格的特殊规则和三段论的一般规则一样可以当作推理的规则使用。按理说，既然如此，检验的结果应是一样的，或都是有效式，或都是无效式。但我们却从中了现了一个问题，即有时运用三段论各格的规则和运用三段论的一般规则去检验一个三段论式，某结果却是完全相反。如果用三段论第一格的特殊规则去检验，小前提肯定，大前提全称，发现这是一个有效式。反之，再用三段论的一般规则去检验…