UML状态图的逻辑语义及自动推理

针对UML缺乏精确语义的不足,利用一阶谓词逻辑研究了UML状态图的逻辑语义,以及基于OWL本体的UML状态图自动推理问题,分析了基于一阶谓词逻辑的UML状态图的静态语义和动态语义.对UML状态图自动推理问题和UML状态图向OWL本体转换的映射方法,给出了UML状态可达性、可终止性判断方法及其推理规则,并利用Jena推理机实现了UML状态图可达性、可终止性推理.     

谓词逻辑描述下的归结推理方法

谓词逻辑下的归结推理方法要比命题逻辑下的推理复杂得多．文章主要论述在一阶谓词逻辑描述下，归结推理的方法和步骤，以及其中主要的定理和定义，最后通过具体例子来说明方法的使用。     

经典逻辑在人工智能知识推理中的应用

知识推理及其方法是人工智能领域的重要研究内容。研究了将经典逻辑应用于人工智能中进行知识推理的方法。     

现代逻辑对亚里士多德逻辑的重新解释

运用现代逻辑学的理论与方法重新解释亚里士多德逻辑学是现代逻辑的运用研究和改革传统逻辑的重要课题.本文旨在评介并参与这项研究.从现代逻辑的观念来看,亚里土多德逻辑基本上是在日常语言范围内相对一致的词项逻辑,但由于它未涉及主项存在的意义,因而导致了处理问题的狭隘性.本文不仅运用现代逻辑理论和技术多层次地分析其问题所在,而且从多种角度改进和完善亚里土多德逻辑,使逻辑学体系中的精华更有效地处理思维问题,更符合当代逻辑精神.     

基于本体语言OWL逻辑语义与推理的研究

语义Web研究的目的是为了使机器可以理解知识,所以实现语义Web首先需要解决的问题就是计算机对知识的理解问题,只有计算机理解了所建立的知识,才能在此基础上展开推理服务。OWL是专门为基于Web的应用设计的本体语言,该语言与描述逻辑的组合可以实现一定程度上的推理服务。文中概述了本体语言和描述逻辑及它们之间的关系,并通过一个个实例显示本体中基于描述逻辑的推理服务。     

否定的逻辑语义解释

从谓词逻辑的角度探讨内部否定的语义实质，发现否定作为一种认知手段其作用对象是命题论元具有的某种属性或论元之间存在的某种关系，而不是表达命题的语句中的句法成分。     

论蕴涵命题的模态意义--兼论逻辑真理不能完全独立于经验事实之外

作者分析了命题之真与假的逻辑意义，并通过n个合取与析取命题，分析了蕴涵命题的模态意义，由此，揭示出多种蕴涵命题的真值函项意义。基于此，讨论了诸多逻辑关系词的经验背境及其与对象世界的关系，并说明逻辑真理并非全是必然真理，可能真理也是逻辑真理。     

语义Web的逻辑基础

在网络信息遍布全球的时代,我们需要依靠网络进行及时的信息交流,传播消息,寻找材料等.在当今快节奏的生活中,网络的存在使得人们的生活能有序地安排、进行.而在信息量激增的当今社会,网络数据庞大,人们如何能准确、快捷地从大量的数据信息里找到所需的信息,如何便捷地进行经验、信息交流等活动是当今网络平台需要解决的问题.而针对网络平台的优化问题,现业内已经有很多转接着手对其进行研究,并提出了语义Web.本文借鉴专家对语义Web的研究成果,结合网络平台的现状,浅析语义Web如何更好的为网络平台服务,并分析实现语义Web的逻辑基础.     

从迪卡尔看逻辑的直观来源

直观就是真知的源泉,是到达逻辑和演绎不可逾越的环节。而当演绎简单得可以一目了然的时候,直观自身就是通往真知的桥梁。     

借推理直观之术 引探索图形之道

以一道区域性期中考题多解分析的探究过程,揭示推理和直观在探索图形问题中具有的重要作用,即推理引航,直观助力。     

复合判断组合推理的逻辑语法、语义和语用

复合判断组合推理是以复合判断为前提，并采用一定的组合方式而构建的推理。在一一组合方式的基础上，本文首先给出了复合判断组合推理的各种模式，然后对推理模式进行了语义说明，采用真值表的方法对模式的有效性进行了判定。在语用中，着重介绍了各种推理模式的使用方法，并通过构建具体推理对推理模式进行了解释。     

英语中Euphemism语用功能和语义真值研究

世界上每一个国家、每一个民族、每一种语言，都有自己独特的委婉语。随着社会、经济和语言的发展，委婉语的数目之多和用途之广，是很难用语言进行描述的。委婉语可以反映一个国家、一个民族的文明程度；可以调节人们的思想感情；可以平衡人们的心里状态；可以掩盖事实的真相。委婉语的运用如此广泛，迫使我们对它的语义真值进行深入中肯的分析和研究。     

法官的逻辑与经验--兼论法律推理

法官审理案件时,在适用法律的方式上有逻辑演绎和经验判断之分,这与他们在具体案件审理时所进行的不同的法律推理有关.法律推理有形式法律推理和实质法律推理两种.我国是成文法制国家,在法律推理的适用定位上以形式法律推理为主,以实质法律推理为补充.     

逻辑：推理技法及其使用

逻辑是一门工具性质的学科。逻辑工具和其它工具一样都有自身独特的使用价值。了解和掌握这种工具可以使人们思维活动跳出自然状态，让理性的翅膀在更广阔的逻辑空间翱翔。本文从逻辑的工具性出发，介绍了在使用推理时的一些技巧与方法，它们有换质法、换位法、换质位法、对当关系法、直言三段法、假言三段法、选言三段法等。并在此基础上给出了与之相关的推理模式。这些推理模式都是人们日常思维的组成部分。本文结合实例进行叙述为的是深入浅出，以便读者更好地理解和使用。     

不确定推理的一个注记

不确定推理是知识工程中的重要内容，基于模糊命题的真值推理具有广泛的应用，对模糊命题的真值推理进行研究，给出文[1]定义的不确定推理真值传播方法的严格叙述，并给出文[1]中两个定理的简单证明．     

从直观经验走向数学推理——“和差问题”的教学实践与反思

"和差问题"是小学数学中的一个经典问题,传统教学重点是告诉学生"大数=(和+差)÷2,小数=(和-差)÷2",缺少过程性的探究。在"和差问题"的教学中,教师基于学生从直观地凑数到一一列举再到数学推理建构新方法,让学生经历观察、分析、验证、应用的过程,可有效帮助学生积累学习活动经验,提升学生的数学推理能力,发展学生的数学核心素养。     

逻辑教学中频率副词的逻辑语义刻画

频率副词是一种与时间相关的量化语义,刻画频率副词的逻辑涵义就需要时态逻辑这个理论工具.在介绍时态逻辑思想的基础上,通过对汉语频率副词的分类,分析什么叫副词的量化意义,重点刻画不同频率的副词量化意义的区别.运用时态逻辑工具刻画频率副词的量化语义,进而刻画包含量化副词的汉语量化表达式的逻辑语义,揭示部分汉语量化表达式的语义特征.     

进行谓词推理常用的几种方法

数理逻辑是应用数学方法引进一套符号系统来研究抽象思维的形式结构和规律的一门年轻的应用学科,它要求学生要具有高度的抽象思维能力和严谨的数学推理功底.学生反映学习起来比较困难,特别是对推理理论的习题总是感到无从下手,没有解题思路.本文结合教学实践工作给出谓词推理的几种思路.     

涵义语义与关于概称句推理的词项逻辑

概称句推理具有以词项为单位的特征并且词项的涵义在其中起到了重要的作用.已有的处理用λ-表达式表达涵义,不够简洁和自然.亚里斯多德三段论是一种词项逻辑,但它是外延的和单调的.这两方面的情况使得有必要考虑新的词项逻辑.涵义语义的基本观点是:语词首先表达的是涵义,通过涵义的作用,语词有了指称,表达概念.概称句三段论是更为常用的推理,有两个基本形式GAG和Gaa.在涵义语义的基础上建立的系统GAG和Gaa是关于这两种推理的公理系统.     

返实格的逻辑语义基础

返实格之所以有独特的表达效果，是因为这种表达方式既出人意料，又可以理解，在这种情形下，产生于“不是……而是……”，格式和语义否定的一般原则的预期往往落空，但是语义否定的逻辑原则又对这种落空进行解释和填补。