时态数据库属性推理的类型逻辑

1994年Gabbay等论证了时态逻辑的公理化系统和证明论方法不适于时态数据库推理建模,因此目前主要使用非公理化的时态逻辑做推理。然而非公理化的时态逻辑缺乏公理化性质约束,形式晦涩,无直观性与运算性,因而一般不用于知识推理。另一方面,1983年Allen提出了13种时态关系运算,并使用区间逻辑对时态关系进行表达,但这些运算只能表示时间本身的运算关系,未能体现时间与属性之间的映射关系,不能表达时态数据库属性间的推理与运算。此外,时态数据库中仍存在着许多开问题,例如在做属性推理与运算时出现的Now语义的不确定性问题。基于此,我们提出一种基于时态数据库属性推理的类型逻辑系统,其主要思路为将属性映射为类型,将类型映射为时间向量子集,以时间向量集为逻辑语义模型,在推理中从句法逻辑系统剥离对时间的表示,减少逻辑算子,与时间相关的运算单纯由语义模型支持,从而降低复杂性,提高运算能力。并且由于该类型逻辑系统是基于构造性语义的,能直观解释Now的不确定性问题。文中给出了相对该系统的时态数据库属性推理的应用示例,从技术可操作性上介绍了根据该类型逻辑设计的时态推理中间件原型及工作流程,最后从元理论范畴证明了系统可靠性与完全性的逻辑性质及切割消除与判定性的证明论性质。     

哲学逻辑与逻辑哲学的新进展——2014年国内逻辑学研究综述

近年来,国内的逻辑学研究主要集中在哲学逻辑、逻辑哲学以及模态逻辑等方向,2014年的逻辑学研究依然体现了这种研究方向的分布情况。在哲学逻辑领域,与动态逻辑相关的研究占据了很大的比重;在逻辑哲学领域,对经典著作或者经典理论的重新整理或理解成为了一个重要的研究热点;在模态逻辑领域,经典模态逻辑以及超模态逻辑中的很多问题也都...     

时态结构中的恒常联系因果学习

人工智能研究中,行动这一概念通常在理论框架中有完全的定义。然而,现实中的行动有时难以完全刻画。智能体需要从过去的经验观察中习得行动的后果。本文提出一种基于时态结构的行动一结果学习理论。在自然数时间结构中,智能体通过观察过去的恒常联系建立因果关系。智能体依据己建立的因果关系指导将来的行动。同时,我们给出关于该理论的一个完全的逻辑演绎系统,并给出基于该逻辑的智能体行动的有效算法。     

时态结构中的恒常联系因果学习（英文）

人工智能研究中,行动这一概念通常在理论框架中有完全的定义。然而,现实中的行动有时难以完全刻画。智能体需要从过去的经验观察中习得行动的后果。本文提出一种基于时态结构的行动—结果学习理论。在自然数时间结构中,智能体通过观察过去的恒常联系建立因果关系。智能体依据已建立的因果关系指导将来的行动。同时,我们给出关于该理论的一个完全的逻辑演绎系统,并给出基于该逻辑的智能体行动的有效算法。     

摹略万物之然,论求群言之比--模态逻辑新观念述评

模态逻辑是一个多方面的学科,它起初在哲学中得名,在很长一段时间中作为"必然和可能的逻辑"而被人所知.但是,把模态逻辑视为关于"可能"和"必然"的逻辑至少在20世纪60年代末就已经过时."模态语言是研究关系结构的一种简单但富于表达力的语言"、"模态语言为关系结构提供一种内部的、局部的视角"、"模态语言不是孤立的形式系统",这就是关于模态逻辑的新观点(这种观点有时称为"阿姆斯特丹观点").新观点不再把模态逻辑视为任意种类的形而上学系统,而是作为研究行为、知识以及我们周围任何其他具有良好结构的具体事物的逻辑形式系统.     

图式逻辑:哲学逻辑的一个新分支

逻辑研究有效推理,判定其有效的依据是结论所传达的信息与前提所传达的信息之间的必然关系,而传达这些信息的媒介不一定就是语言。日常推理是运用语句、图形甚至声音、气味等多种信息进行的多模态推理,对这些多模态表示系统和推理的研究已经成为心灵哲学、认知科学、心理学、教育学、数学、逻辑学和计算机科学等领域的交叉地带。自从     

论逻辑系统

一、逻辑系统及其成为逻辑系统的一些条件在日常生活中 ,一个有效的推理通常可以用形式表示为“如果p ,那么 q ;p ,所以 q”。也可以用符号表示为 (p→q)∧p→q。这种有效式在逻辑中又称为重言式。在正确的推理 (合理的论证 )中 ,各个重言式是一致的。因此 ,如果能够把握被看成是重言式的所有复合命题形式 ,那么 ,也就把握了所有的正确推理 ,也就解决了逻辑学中的最主要的问题 ,即推理理论。但是 ,在日常生活中 ,推理的数量是无限多的 ,也就是说被看作重言式的逻辑公式是无限多的。为了把握无限多的重言式的全部或相当大的部分 ,有必要在逻…     

经典的扩充与变异——2015年逻辑学研究述评

命题逻辑与一阶逻辑都被称为经典逻辑。如果在经典逻辑的基础上增加算子,那么就能得到经典逻辑的扩充,如模态逻辑以及各种哲学逻辑;如果更改经典逻辑得以建构的假设,那么就能得到一系列的非经典逻辑,如非单调逻辑、相干逻辑等。近年来,国内逻辑学界的很多成果都集中在哲学逻辑领域,2015年这方面的成果数量仍然可观;同时学界对模态逻辑...     

表象计算心理模型研究的新进展

对大脑工作机理的研究和解释一直是认知心理学研究的基本问题。知识表征图式的研究源于对基于模型推理的认知和计算。在人工智能中,基于模型的推理主要包括在语义领域用计算提供真命题,基于规则的推理系统则是一个规则建构过程。现代认知心理学的研究不断的表明．许多人类的空间推理是基于模型的,而不是基于规则的;心理模型是通过知觉输入或自然语言的描述而建构的,它们可以看作是从一表征形式向另一表征形式的转换。     

皮尔士存在图研究

存在图是现代逻辑草创时期皮尔士在其关系演算和谓词逻辑的基础上发展起来的、表示逻辑句子和推理的图式系统,是皮尔士用来证明其形而上学的工具,它的重要性直到计算机表示的图示推理得到发展后才得以确认。本文首先以经典逻辑为背景研究存在图的各个部分,然后讨论存在图在当代许多学科领域的回应和应用以及它在逻辑史上的地位,最后考察存在图对于皮尔士形而上学的意义。     

多主体认知系统中的互知推理

在多主体认知系统中 ,每个主体都是一个推理者。多主体之间互知推理的复杂性在于 ,这种推理的对象中 ,不仅包括对象世界的知识 ,而且包含系统中其他的同样正在进行推理的主体 ;推理者对其他主体的思考及其结果进行推理 ,这些主体同样对推理者的思考及其结果进行推理。这使得推理的素材是弹性的 ,动态的 ,随着推理的过程不断变化的。这种推理 ,是对人的日常思维能力的挑战 ,也是对逻辑学的挑战。本文通过构造关于知道的模型 ,用逻辑语义学的方法 ,来刻划多主体之间的互知。形式语言Ｋ在形式语言Ｋ中 :1 ,2 ,… ,ｎ分别表示系统中ｎ个不同的主…     

信息的充分性和情绪性对推理的影响：时间压力的调节作用

主要探讨推理中信息相关因素对分析系统与启发式系统的影响。通过两个实验考察信息的充分性和情绪性对突发事件情境下推理的影响。实验1任务无时间压力,结果发现：信息充分性对推理的影响显著,表现为信息越充分,被试推理的逻辑指数越高,更多使用了分析系统;且信息充分时,接受积极信息的被试的信念指数显著增高。实验2任务有时间压力,结果发现：信息的情绪性对推理的影响显著,表现为接受积极信息的被试推理的逻辑指数显著大于接受消极信息组,更多使用了分析系统。两个实验结果表明,信息的充分性主要通过分析系统对推理产生影响,而信息的情绪性可通过双系统影响推理过程,即积极信息在推理时间充裕时促进启发式系统,但在有时间压力下促进分析系统。     

一族不完全的逻辑

20世纪60年代左右Kripke等人引入关系语义后,许多常见的模态逻辑的完全性得到证明,以致Lemmon和Scott(1977)猜测所有的逻辑都框架完全。然而,Thomason(1974)首先给出了一个不完全的时态逻辑,从而否定了这个猜想;稍后,基本模态语言上的反例也被发现。而Blok(1978,1980)使用代数技术则证明,框架不完全在模态逻辑中并不罕见,有不可数多的框架不完全的模态逻辑。自此,模态逻辑的研究从对单个逻辑的讨论向对逻辑类的探讨过渡。代数的方法不甚明显,以后又逐渐发展出其它的方法。Chagrov和Zakharyaschev(1997)介绍了一种能得到一大批有某种性质…     

当今三大发展中逻辑的交叉及其认知归省

一、广义归纳逻辑、广义模态逻辑与广义认知逻辑的交叉发展任何称之为理论的知识体系,都需要经过产生、发展、成熟与完善的过程.任何逻辑学理论亦如此.一般而言,我们可以把已经处于成熟与完善阶段的理论称之为经典理论,把仍然处于产生、发展阶段的理论称之为发展中的理论.无疑,当今逻辑学发展中理论很多,其中广义归纳逻辑、广义模态逻辑、广义认知逻辑都属于发展中逻辑.     

谓词抽象及其作用

当今,命题模态逻辑作为一种标准的形式工具,已被广泛应用于计算机科学和人工智能的各个领域.然而,与命题模态逻辑不同,通常的一阶模态逻辑语言的表达力是不充分的,这是许多重要问题背后的原因所在,这些重要问题包括:模态逻辑中没能出现与经典逻辑相媲美的赫伯兰(Herbrand)定理、非严格指称问题、同一性问题、罗素的限定摹状词理论、动态逻辑的指派表达等等.美国当代逻辑学家、证明论专家菲汀(M.C.Fitting)充分认识到通常的一阶模态逻辑表达力不充分所产生的弊端,他通过把谓词抽象引入通常的一阶模态逻辑的语形和语义,以一种极其简单和自然的形式加强了一阶模态语言的表达力,从而使上述问题迎刃而解.本文首先介绍谓词抽象的基本思想及其简史,然后重点阐述谓词抽象在模态赫伯兰定理以及其他领域的重要作用.     

基于可能世界语义的知识逻辑及其问题

知识逻辑(Epistemic Logics)研究知识的内在逻辑规律,它属于哲学逻辑的一个分支。近年来,知识逻辑在经济学,语言学,计算机科学及其人工智能等诸多的领域得到了应用,受到了普遍的重视。知识逻辑的应用技术,又称关于知识的推理(Reasoningabout knowledge)技术,正在成为计算机科     

模型论视角下对正规多元模态逻辑的阐述（英文）

本文对正规多元模态逻辑做了模型论视角的整体阐述。正规多元模态逻辑(PML)是对一元模态逻辑系统K,在n元算子上的推广。而多元模态逻辑的研究相对于一元逻辑较为匮乏。文献中的一系列有关PML的结果也被看作是有关K的结论的直接推广,而缺少部分完整证明,且已有证明多为代数证明。PML对于K的推广在某些方面是非平凡的,忽略这一点导致了一些教材及文章中甚至存在各种错误。从证明的角度上讲,对于PML的证明有时也需要不同的方法。基于以上几点考虑,我们认为有必要从模型论视角对PML做一个细致的考察,并给出一些模型论版本的证明,来简化以往的代数证明,从而给研究者提供一个统一的参考。本文从两个模态逻辑常用的模型构造方法(滤子和超滤扩张)出发,以经典教材中的定义为准,补全一些重要定理在多元语言下的模型论方法的详细证明。然后我们对van-Benthem刻画定理的多元版本证明做了一个澄清,考察了多元语言和一元语言下证明的具体区别。最后我们用模型论方法证明了PML具有插值性,而该定理在文献中往往是被当作一些代数事实的推论。     

推理中心理模型理论的研究与发展

心理模型理论是推理研究中最有影响的理论之一,理论体系完整地解释了推理的进行,认为个体推理要经历理解、描述、有效检验三个阶段。心理模型理论对推理做了大量预测,假设单模型问题比多模型问题容易、系统错误与第一个前提模型有关、知识影响推理过程,并检验了预测的合理性。近十几年来,心理模型理论在推理各个领域中均得到发展,包括对推理在大脑中编码的研究,对元推理的研究及可能性推理等方面。     

人工智能中知识获取面临的哲学困境及其未来走向

一人工智能中知识获取研究的现状所谓知识获取(knowledge acquistion,简称KA)就是把问题求解的专门知识(如事实、经验、规则等)从专家头脑或其他知识源(如书本、文献)中提取出来,然后将之转换成计算机系统内部表示的转换过程。综合而言,KA的任务是:获取领域专家或书本上的知识,在对其理解、选择、分析、抽取、汇集、分类和组织的基础上,转换成某种形式的系统内部表示;对已有的知识进行求精;检测并消除已有知识的矛盾性和冗余性,保持知识的一致性和完整约束性;通过某种推理或学习机制产生新的知识,扩充知识库。由于KA在人类智能活动中的重…     

《墨经》论时间的模态

在模态逻辑的研究方面,目前在国际上是比较活跃的.随着研究的深入,一些学者们把时间的要素也包含在模态的概念中,扩展为关于时间模态的逻辑.具有启发意义的是,在我国古代逻辑著作《墨经》(后期墨家所作,成书于公元前四至三世纪)中,已经讨论到时间的模态。中国古代逻辑家以自己独特的方式和语言,探讨了时间模态词