基于语义的电力系统工作流智能推理框架

为实现电力系统工作流程的智能性,结合本体、语义推理、数据挖掘等技术,设计面向电力系统应用的语义工作流推理框架;建立该框架下工作流及其涉及的电力系统资源的本体概念和关系模型,描述电力生产需求信息、工作流和系统资源本体之间的联系;从最基本的推理元素出发,基于语义网规则语言构造工作流生成的触发推理流程和规则;运用Protégé和Jess推理引擎实现工作流触发推理的应用模型,通过推理实验验证本方法的有效性。     

推理在训诂中的运用

推理在训诂中的运用徐颂列现代语言学家尼尔·史密斯和达埃德尔·威尔逊认为：“言语交际的基本模式必须包括下列说话人和听话人共知的因素：（ａ）一套语言知识（一种语法）。（ｂ）一套非语言知识的信念（一部百科知识）。（ｃ）一套推理规则（一种逻辑）。”（①，Ｐ１...     

谈谈选言推理的规则──兼谈选言推理的形式

推理规则是用来分析推理正误的。正确而完善的某种推理规则应该能够分析某种推理的任何一种推理形式是否有效。而目前流行的选言推理规则起不到这样的作用。比如：（P∨q）∧p→q、（p∨q∨）∧p→q∧r等都是无效的选言推理形式，但运用流行的选言推理的规则却不能得到很好的说明。所以，目前流行的选言推理规则是不完善的，应该修正或做出明确的解释。     

基于本体与Prolog的平面几何定理证明

基于本体理论、本体模型等方面的研究,以一个平面几何定理证明问题为例,详细地描述了平面几何本体的构建过程、基于本体和Prolog规则的推理,及其在平面几何问题求解中的应用。实验结果表明,将本体应用于几何定理机器证明是一种行之有效的方法,该方法避开了以往的代数方法中多次反复判断的问题,更接近自然语言的描述,能明确地表达领域知识和实现概念分层,从而能快速地构建几何模型,还可以进行复杂关系间的推理,最终实现基于本体和Prolog规则的平面几何定理证明。     

关于三段论推理规则的思考

关于三段论推理规则的思考清柏判定一个三段论推理是有效（正确）式还无效（错误）式，逻辑论著中一般都是采用规则判定法进行判定的。那么，三段论推理的规则究竟应该有哪些呢？大多数逻辑教科书都讲７条。即：１、在一个三段论中，只能有三个不同的项。２、中项在前提中...     

换质法不是直接推理──对一个存疑问题的新解释

现行的普通逻辑教材把演绎推理分为直接推理（仅有一个前提的推理）和间接稚理（有两个或两个以上前提的推理）两种，并认为换质法是直接推理，这种观点引起严重的疑难问题：命题变形推理即使遵守了推理规则也不能保证前提中不周延的词项到结论中不周延。因此，换质法不是直接推理，而是间接推理。因为它除包含被换质命题作为其前提外，还包含着一个必然为真的前提。     

二难推理规则刍议

二难推理是假言选言推理的一种。假言选言推理就是由假言判断和选言判断作前提所构成的推理。二难推理是由两个假言前提和一个二肢选言前提组成的。许多逻辑教材都介绍了这种推理形式,但是涉及到二难推理的规则的语言表述却很不相同,并且有不够严密之处。笔者在本文中对有代表性的几种表述内容的局限性作一些简单的分析,同时对二难推理的逻辑规则试图作出严密的语言表述。关于二难推理的规则,主要有以下几种表述内容:     

隐含与推理——广告语篇研究

隐含是广告语篇中普遍使用的一种用于操纵广告受众以达到促销目的的语言策略。广告的隐含性是由其功能、情景和交际特点决定的，同时这种隐含性也决定了广告推理的语用向度。在评述Harris（1983，1999）广告推理研究的基础上，采用含意理论和关联理论作为分析框架，构建广告语篇推理的类型模式，并且用该模式进行实例分析。     

基于远程数据交换与智能控制系统的汽车故障诊断研究

探讨了基于远程数据交换与智能控制系统的汽车故障诊断模块的功能,分析了汽车故障诊断专家系统的存储表达和推理技术.根据规则推理、案例推理、模糊理论和人工神经网络技术的特点,提出了这些技术的集成方案,设计了汽车故障诊断专家系统,论述了知识库和辅助建模平台的设计方案.该系统经过测试和试用,得到了满意的效果.     

关于直言命题的换位

关于直言命题的换位诸葛殷同朴基瑶同志《论换位推理的规则》（以下简称《朴文》，《延边大学学报》，哲社版，１９９１年第３期）提出了直言命题换位的新方法和新规则．我认为其基本论点是不正确的．《朴文》所根据的事实是错误的（不正确的，无效的）推理的例子．《朴文...