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

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

关于广义量词many的广义三段论推理

三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量词理论和集合论,从语法上证明了14个广义三段论推理的有效性。这一方法为其他广义量词的广义三段论提供了一个简单合理的数学模式。     

儿童语言中的量词

考察了儿童使用量词的情况，从句法、语义方面描述了其发展过程，认为儿童量词的习得经历了一个动态调整的过程，推理在量词习得中发挥了重要作用。还讨论了儿童习得量词的特点，一是量词与名词搭配的单一化，二是量词的泛化用法，三是句式顺应同化     

逻辑与解题

新课标中,增加了《常用逻辑用语》、《推理与证明》,分别约为8课时和10课时．常用逻辑用语包含：命题及其关系、简单的逻辑联结词、全称量词与存在量词等三个部分的内容;推理与证明包含：合情推理与演绎推理、直接证明与间接证明、数学文化等三个部分的内容．可以说,这对于学生准确使用数学语言进行正确推理与证明是十分必要的．     

离散数学与高中数学新课标中常用逻辑用语的衔接研究

作者在教材分析的基础上,通过对高中数学新课程标准中命题及其关系、简单的逻辑联结词、充分条件、必要条件、全称量词、存在量词与离散数学中的命题符号化及联结词、推理理论、一阶逻辑知识的比较,研究其异同点,从而更好地指导大学离散数学的教学。     

基于描述逻辑的动作理论研究

情景演算对于动作理论的描述具有很强的表达能力,但是其推理算法具有不可判定性。在描述逻辑ALCO@的基础上,构建基于描述逻辑的动作理论系统DL-A。在该系统中,利用描述逻辑语言描述原子动作的表达式以及语义解释,并在此基础上利用各种构造符构造出顺序、选择、并发、迭代等复杂动作,同时赋予这些复杂动作的语法和语义。动作的实现会引起周围世界状态的改变,描述动作执行所引起的状态更新算法。基于描述逻辑ALCO@的动作理论不仅具有很强的表达能力,而且其算法具有可判定性,能够提供多种推理服务,可以应用于Web语义下的动作描述和推理。     

一个新的基于EFALC的推理算法

针对目前的扩展模糊描述逻辑缺乏TBox约束下的推理算法,提出TBox约束下扩展模糊描述逻辑EFALC截概念可满足性问题及其推理算法.该算法的设计参考用于经典描述逻辑的tab-leau算法;详细描述了EFALC的转化规则和推理算法的过程,并使用递归函数调用、分支裁减和引入中间结果集合这3种技术对算法进行优化.证明了该优化推理算法的最坏时间复杂性为指数,且具有完备性和正确性,同时证明了TBox约束下EFALC截概念可满足性问题的复杂性是指数时间完全的.     

自闭症儿童缺乏"心理理论"吗?——基于神经现象学的解读

心理理论这一概念将儿童心智阅读能力视作一种基于规则或逻辑的推理,并以此设计出了错误信念任务等经典任务.大量研究显示自闭症儿童在这些任务上的表现不佳,因此该群体被认为是缺少心理理论的"心灵盲".基于对心理理论概念及其元理论的分析,并在神经现象学视角下结合镜像神经元研究、自闭症儿童的主观报告及其行为的现象学描述,本文尝试揭...     

模糊理论与空间义量词认知

本文运用模糊理论解释汉语空间义量词在人脑中的认知模式.人脑选用什么样的空间义量词取决于该量词在其模糊子集中的隶属函数值μ(x)(0<μ(x)≤1).与二值逻辑相比,多值逻辑更加符合人类的思维方法.     

知识蕴涵逻辑的应用

知识蕴涵逻辑是能够处理包含矛盾信息知识系统的推理问题的一类逻辑系统。它可以避免由于矛盾信息而带来推理后承的致命性结果。其应用前景非常广泛,主要体现在:1.为智能系统提供处理不协调信息的逻辑工具;2.用于不协调信息的形式表示;3.有助于自然语言的理解。由两个具体的应用实例可以看出,在某些情况下,用知识蕴涵逻辑描述人类的推理过程更加符合人类智能的实际情况。     

有关推理方式的研究述评

人类的推理过程通常涉及到两种方式：逻辑方式与前逻辑方式。对其进行研究将有功于揭示推理能力的发生发展过程。通过介绍社会学、心理学和神经生理学在该领域的研究进展情况，对该领域未来的研究做出展望。     

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

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

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

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

基于心理模型的词汇推理

心理模型是心智对实在的或想象的情况的表征,是人类进行推理的常规形式。词汇推理也是以心理模型为推理基础的、在大脑中建立与逐步完善一个包括二语词汇的语义、句法、形态等信息的词汇推理机制。因此,词汇推理与心理模型是互生互存的,又是动态生成的,而且推理过程是以心理模型为基础同时又是建构相关词汇的心理模型过程。     

基于量词语义与性质的扩展三段论

在广义量词理论中,如果一个表达两个集合外延关系的二元量词具有单调性等性质,那么该量词及其外否定、内否定和对偶否定在单调性方面存在相互制约关系,从而构成单调方阵。基于二元量词的语义和单调性等性质,可以简洁明了地进行包括传统三段论在内的扩展三段论推理,从而极大地提高了三段论的表达能力和对日常思维的规范能力。     

刻画量化结构及其推理的汉语部分语句系统

刻画量化结构及其推理的汉语部分语句系统,其价值如下：(1)运用广义量词理论的方法分析汉语量化结构的各种特征;(2)扩大自然语言部分语句系统的功能,不仅从句法上可以生成由汉语量化句表述的包括对当关系和三段论在内的推理,还能够从语义上解释这些推理句的逻辑有效性;(3)在自然语言部分语句系统内生成并解释推理,这是从认知角度研究推理的新视角。     

对关联理论中明示推理模式及“关联性”定义的补充

关联理论从认知角度解释话语理解与产出,提出“关联性”和“明示——推理”交际模式。但在语言学研究中,关联理论的“关联性”定义和“明示——推理”模式的具体过程,未有清晰的研究成果。文章借鉴语义学和认知心理学相关内容,论述“关联性”的性质是基于心智的一种无意识思维关联的认知特性,在话语理解中起到一个类似媒介作用,交际双方的认知语境自动化趋同,并用蕴含、前提和预设等来补充解释“明示——推理”过程。     

使用边界模块优化EL~(++)本体推理(英文)

为了优化本体推理, 提出了一种在EL++本体中的公理模块提取方法.该方法通过分析符号解释域的边界和公理间的关系计算出给定推理任务的边界模块, 对于与推理任务中所有符号相关的公理集合, 采用边界分割和交集计算来提取最终的边界模块, 并提高模块的紧凑性.模块的正确性通过计算和推理任务中符号直接和间接相关的公理得到保证.给出了边界模块的理论基础和求解算法, 并通过符号边界和逻辑蕴涵之间的关系证明了模块的正确性.边界模块提取方法在EL++描述逻辑语言上进行了实现,现实的本体实验评估表明, 基于边界模块的推理比不采用模块的推理在性能上有很大的提高.     

量词的性质和数量表达的核心——语序类型学的研究

语序类型学对量词的考察可以这样进行:统计名量词和动量词在中国境内少数民族语言中的语序分布,运用逻辑组配和语义分析相结合的方法确定"最佳"轨层结构,并综合四分表来分析数量表达的核心归属和量词的整体性质。得到的结论是,名量组合的核心是数词,动量组合的核心是动词,量词整体正经历缀化的过程,呈现出联系项的特点。     

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

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