心智逻辑的理论与方法研究

心智逻辑理论是当前研究人类实际推理的重要理论之一。该理论假定有一种逻辑存在于人们的心智中,该理论致力于建立一个推理理论说明人们是如何通过推理程序运用推理图式实现推理的,并设计出问题难度实验来检验理论的预测。当前心智逻辑理论面临跨文化研究和心智模型理论的挑战。     

基于描述逻辑的知识建模语言

当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是Web Ontology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法.     

基于描述逻辑的知识建模语言

当前Web页面基于HTML语言,缺乏语义信息,语义网络是对现有Web的扩展.OWL是WebOntology的一种最新的W3C提出的表示语言,是实现语义Web的语言工具,它的逻辑基础是描述逻辑.结合OWL语言,提出一种基于描述逻辑的知识建模语言(KDL),给出了知识描述语言的语义解释,并提出了基于Tableau算法的推理算法.     

描述逻辑ALC的公理化方法研究

描述逻辑是一族知识表示语言,其以结构化、形式化方法表示特定应用领域的知识。描述逻辑的各语言背后的逻辑是什么,能否公理化等问题在描述逻辑的研究进程中迄今没有相关研究。本文首先通过描述逻辑ALC与一阶逻辑的一个可判定片段之间的关系试图揭示描述逻辑的本质。最后给出了描述逻辑ALC的公理化方法及其演绎定理的证明。     

三值逻辑神经元模型及推理

提出了具有三值逻辑表达能力的神经元模型，即三值逻辑与神经元和三值逻辑或神经元．由这种逻辑神经元连接而成的神经元链能够实现三值逻辑推理系统，可以对三值产生式进行表示和推理。     

限制数量约束的扩展模糊描述逻辑的推理复杂性

为了解决限制数量约束的扩展模糊描述逻辑(EFALCQ)的推理复杂性问题,采用限制数量约束的描述逻辑(ALCQ)离散模拟EFALCQ,并重用ALCQ的推理结论来证明EFALCQ推理问题的复杂性.提出了EFALCQ一致性推理问题的ALCQ模拟方法,将EFALCQ的可满足性推理问题转换为EFALCQ的一致性推理问题,并用EFALCQ的一致性推理问题离散模拟EFALCQ的可满足区间推理问题.最后证明了EFALCQ的可满足性、一致性、以及可满足区间推理问题的推理复杂性是PSPACE-complete问题.     

归纳法在描述逻辑中的应用

归纳法在描述逻辑中关于定义、证明和算法三个方面都有应用,在这些应用中归纳法中的基始部分和归纳部分被着重注明.     

利普斯的心智逻辑理论

关于人类推理机制的说明主要有两种理论,分别是心智模型理论和心智逻辑理论。利普斯的心智逻辑理论构造了一个近似于一阶逻辑的人类演绎推理的形式规则(PSYCOP)系统,来描述依据命题联结词和量词变量进行的推导过程,并用Prolog计算机程序来模拟和检验该理论所描述的人类推理的心智过程。该理论的核心优势是去量词化,但同时也面临着一些可能的缺陷。     

一种基于vague集的模糊描述逻辑

为实现语义web上包含复杂模糊知识模糊本体的表示和推理,提出了一种基于vague集的模糊描述逻辑——vague ALC.首先介绍了vague集的定义,然后给出vague ALC的语法和语义的形式化描述,并规定vague ALC知识库中的公理和断言形式,指出了其推理的基本问题,最后给出了vagueALC的检验概念可满足性的tableau推理算法.Vague ALC建立于vague集之上,用一个区间来表示一个成员函数的隶属度,解决了Zadeh模糊集用单一的数不能准确表示一个成员函数隶属度的问题.Vague ALC具有比ALC更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务,因此,vague ALC可实现语义web上包含复杂模糊知识的模糊本体的表示和推理.     

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

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

基于自然推演下描述逻辑VL的形式化推理

描述逻辑是一簇知识表示的语言,其以结构化、形式化的方法来表示特定应用领域的知识.文中给出了描述逻辑VL的形式化自然推演系统,并以此构建形式模型证明其推理机制是完备的.     

关联理论中的逻辑

本文主要分析逻辑推理在关联理论翻译原理及模式的应用，提出共有知识是预设与关联理论的相通点，强调一阶逻辑基础工具的作用。     

超越描述:比较教育研究的逻辑起点

在比较教育研究的历史中,“描述”是常用的研究手段,对教育事实进行客观的描写和叙述,并尽可能翔实地回答“是什么”的问题。然而,古今中外的比较教育学家都认为比较教育研究的逻辑起点是基于描述,并超越描述。从理论来讲,超越描述包括超越经验命题、超越事实呈现和超越因素分析。现实中的比较教育研究应该基于可以提炼出具体研究假设、可以用理论来解释事实（甚至发展理论）和可以走向理解性、预测性或应用性结论的科学命题,与文献、与他者和与自己对话,重视运用定性研究方法,加强对定量研究方法的应用和多种研究方法综合应用等,从而实现超越描述。     

描述逻辑VL的保守扩充

保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色,它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充,如果不是,那么进化后的本体与原始本体将不能保持一致的逻辑结论。分析了现有的描述逻辑的保守扩充及其相应的判定算法,提出描述逻辑VL的保守扩充,并构建了VL的典范模型,证明了VL的保守扩充的判定算法是指数时间复杂的。     

描述逻辑EVL模拟关系及其性质

模拟和互模拟是分析模态逻辑的表达能力的一个强有力的工具.巴德尔（Baader）率先提出,可以运用描述图之间的模拟关系来分析描述逻辑的包含推理,并证明了在概念定义式循环术语集限制下,描述逻辑EL的包含推理是多项式时间复杂的.本文分析了描述逻辑模拟关系的研究现状和存在的问题,给出一般情形描述逻辑EVL下的模拟关系及其性质.     

描述逻辑VL的保守扩充

保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色。它可形式地精练本体、可靠地进行本体合并及在本体内部进行本体模块化。在本体的进化和本体的合并中,保守扩充最基本的任务是判定合并后的本体是否是原始本体的保守扩充,如果不是,那么进化后的本体与原始本体将不能保持一致的逻辑结论。分析了现有的描述逻辑的保守扩充及其相应的判定算法,提出描述逻辑VL的保守扩充,并构建了VL的典范模型,证明了VL的保守扩充的判定算法是指数时间复杂的。     

基于Agent的语义Web服务框架及其逻辑描述

通过研究Agent技术与语义Web服务技术在应用中结合的方式和Agent在语义Web服务技术体系中需要扮演的角色,以及Agent与语义Web服务结合的具体实现,提出了一种基于Agent的语义Web服务框架。在此框架的原理基础上,利用扩展逻辑C&L意图理论描述了框架中Agent的工作过程以及语义Web服务的内容。     

一种格值的模糊动态描述逻辑

为了使描述逻辑能处理更一般化的模糊动态信息,将模糊动态描述逻辑FDDL的真值空间扩充到完备格上。     

试论MBA的逻辑考试与我国的逻辑教学

MBA的逻辑考试是对考生逻辑思维能力的测试。它重归纳而轻演绎，重语义而轻形式，不假定考生有专门的逻辑知识，这教师与我国高校普通逻辑的教学要求不同。如何处理好掌握逻辑知识与提高逻辑思维能力的关系，这是MBA逻辑考试向我们逻辑教学提出的挑战，值得我们去研究和探讨。     

支持语义web模糊本体的描述逻辑

为实现语义web上包含复杂模糊知识的模糊本体的表示和推理,提出了一种描述逻辑的模糊扩展———支持比较表达式的模糊描述逻辑(FCDLs).给出FCDLs语法和语义的形式化定义,并规定FCDLs知识库中的公理和断言形式.FCDLs将模糊描述逻辑(FDLs)中的模糊概念和扩展模糊描述逻辑(EFDLs)中的截概念结合在同一理论中,并将截概念扩展为比较截概念,从而支持对实际中经常用到的模糊隶属度之间比较表达式的描述,而其他的描述逻辑模糊扩展均不支持比较表达式.FCDLs具有比FDLs和EFDLs更强的表达能力,能够表示复杂的模糊知识并基于它们完成推理任务.因此FCDLs可实现语义web上包含复杂模糊知识的模糊本体的表示和推理.