检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

从方法论的角度看动态认知逻辑的研究

世界哲学 2010年第3期 35-43页

作者：刘奋荣清华大学哲学系

本文主要探讨动态认知逻辑技术结果背后的思想,着重强调其在方法论方面的一般想法。文章在公开宣告逻辑的基础上展开讨论,重点考察了归约公理的意义,揭示了其本质是在基本语言中提前解析动态信息对认知产生的影响。文章以公共知识为例,... 详细信息

本文主要探讨动态认知逻辑技术结果背后的思想,着重强调其在方法论方面的一般想法。文章在公开宣告逻辑的基础上展开讨论,重点考察了归约公理的意义,揭示了其本质是在基本语言中提前解析动态信息对认知产生的影响。文章以公共知识为例,说明了并非所有的逻辑算子都能找到归约公理,有时候我们需要丰富基本语言的表达力。而且,我们从如何给出一个逻辑的角度提出,动态认知逻辑实际上是在"动态化"认知逻辑,这种动态化的方法可以应用在其他静态的逻辑系统中。我们以动态偏好逻辑为例,说明了这一过程是如何实现的。

关键词：动态认知逻辑动态偏好逻辑公开宣告逻辑归约公理动态化

在线全文

学校读者我要写书评

暂无评论

基于动态认知逻辑的编辑言语策略

出版科学 2019年第4期27卷 33-38页

作者：王景周崔建英《暨南大学学报》编辑部广州510632 中山大学逻辑与认知研究所广州510275 《逻辑学研究》

随着稿件处理系统和即时社交软件的普及,人们对电子邮件的依赖逐渐弱化,但邮件仍然是编者、审者、作者和读者深度沟通的重要工具。本文以电子邮件的“抄送”“密送”“群发单显”等功能为例,基于动态认知逻辑,探讨编辑工作中编者、作者... 详细信息

随着稿件处理系统和即时社交软件的普及,人们对电子邮件的依赖逐渐弱化,但邮件仍然是编者、审者、作者和读者深度沟通的重要工具。本文以电子邮件的“抄送”“密送”“群发单显”等功能为例,基于动态认知逻辑,探讨编辑工作中编者、作者、审者等多主体互动的言语行为策略。“抄送”是多主体间的一种公开宣告行动,产生群体“公共知识”,实现编辑稿件处理中一些必要信息的共知,从而避免版权争议、学术不端等问题;“密送”或“群发单显”是主体间的私密行动或部分公开行动,产生非对称信息,对编辑、主编、编委与审稿人的工作起监督和权责制衡作用,且有利于维护作者和审者关系。编辑邮件发送方式的选择体现其言语行为沟通的技巧,善于利用言语策略有利于办刊水平的整体提升。

关键词：动态认知逻辑沟通力编辑工作言语行为

在线全文

学校读者我要写书评

暂无评论

逻辑全能问题与动态认知逻辑

自然辩证法研究 2000年第Z1期16卷 7-9,18页

作者：张建军南京大学哲学系，江苏南京 210093

　　作为一门哲学逻辑学科的认知逻辑，是当代科学体系中将抽象的哲学玄思与具体的实用技术结合得最为密切的学科之一。它最先由哲学家和逻辑学家基于纯粹的理论兴趣而创建，继而引起语言学界、...……

关键词：逻辑全能问题动态认知逻辑认知逻辑哲学逻辑

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

动态认知逻辑视域下的知识与信念

毕节学院学报（综合版） 2010年第1期28卷 42-48页

作者：廖德明西华师范大学文学院四川南充637002

对于话语交流中知识与信念变化的研究主要采用两种技术路线:一是数值方法,数学与计算机学界常用的方法;一是符号逻辑方法,用逻辑或者数学的方式进行形式刻画并提供结构模型。而以当前兴起的动态认知逻辑为切入点来讨论知识与信念变化的... 详细信息

对于话语交流中知识与信念变化的研究主要采用两种技术路线:一是数值方法,数学与计算机学界常用的方法;一是符号逻辑方法,用逻辑或者数学的方式进行形式刻画并提供结构模型。而以当前兴起的动态认知逻辑为切入点来讨论知识与信念变化的形态、动机、过程等问题,为其提供切实可行的逻辑语言表述与结构模型,必然会拓宽用符号逻辑方法研究知识与信念变化的途径。

关键词：知识与信念动态认知逻辑结构模型

在线全文

学校读者我要写书评

暂无评论

概率动态认知逻辑初探

概率动态认知逻辑初探

作者：程莉西南大学

学位级别：硕士

认知逻辑是一种关于知识和信念包括高阶信息推理的模态逻辑,概率认知逻辑PEL只能刻画信息变化,但是,这种信息不包括高阶信息,概率动态认知逻辑是将概率逻辑和动态认知逻辑相结合的逻辑。本文的主要目的就是尝试处理有关变化的概率、信... 详细信息

认知逻辑是一种关于知识和信念包括高阶信息推理的模态逻辑,概率认知逻辑PEL只能刻画信息变化,但是,这种信息不包括高阶信息,概率动态认知逻辑是将概率逻辑和动态认知逻辑相结合的逻辑。本文的主要目的就是尝试处理有关变化的概率、信息、以及高阶信息的逻辑推理,并证明其可靠性和完全性。第一部分:首先介绍认知逻辑,认知逻辑善于处理多主体的信息,即高阶信息,但是它不能处理关于信息变化的推理。动态认知逻辑DEL是认知逻辑的扩充,能处理关于信息和信息变化的推理,同时指出它的不足——不能描述新接收信息的变化对主体信念度的影响。接着介绍概率认知逻辑理论——PEL,它虽然能反映主体信念变化的过程,但并不能处理高阶信息,因此将二者结合起来,形成一个新的逻辑:概率动态认知逻辑PDEL,即可处理有关变化的概率、信息及高阶信息的逻辑推理。第二部分:给出概率认知模型。在此基础上,将概率认知逻辑语言解释到该模型上,并介绍概率认知逻辑的动态转向。第三部分:介绍概率动态认知逻辑的语言、语义,给出在特殊情况下构造PDEL模型的方法,并对其可靠性和完全性给予证明。最后给出PDEL的应用:斗牛士游戏。第四部分:对PDEL做出评价,指出不足之处,并指明在未来需要进一步研究的问题。

关键词：动态认知逻辑高阶信息公开宣告贝叶斯更新概率动态认知逻辑

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于一般框架的概率动态认知逻辑初探

基于一般框架的概率动态认知逻辑初探

作者：张志金西南大学

学位级别：硕士

认知逻辑用来处理关于知识的推理。为了处理不确定知识,Fagin和Halpern引入概率语言,发展为一种概率认知逻辑。基于克里普克模型,引入概率空间,给出概率语言的语义解释。概率认知逻辑在处理不确定性知识推理方面具有很大的优势,但这是... 详细信息

认知逻辑用来处理关于知识的推理。为了处理不确定知识,Fagin和Halpern引入概率语言,发展为一种概率认知逻辑。基于克里普克模型,引入概率空间,给出概率语言的语义解释。概率认知逻辑在处理不确定性知识推理方面具有很大的优势,但这是一种静态的语言。为了刻画不确定知识的变化,Kooi.基于概率认知逻辑,引入动态更新语言,发展为一种概率动态认知逻辑。基于克里普克模型,在离散概率空间的情形下给出概率算子和更新算子的语义解释。本文的主要工作是把他们的克里普克模型推广到一般框架上去。基于一般框架的代数性质,引入概率函数,生成概率空间,很自然地给出概率语言的语义解释。利用一般框架对赋值的限制性这一条件,引入其他一些有效式,对原有的公理系统进行一个扩张。借助于模态逻辑的代数语义和一般框架的内在联系,证明扩张后的公理系统关于一般框架是完全的。

关键词：一般框架概率动态认知逻辑

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

语境视域下的动态认知逻辑研究

语境视域下的动态认知逻辑研究

作者：陈妍燕山大学

学位级别：硕士

在动态认知逻辑产生与发展过程中,国内外学者一直进行深入的探讨,逻辑学家从不同的视角提出了许多具有建设性的观点。论文结合国内外研究现状,在语境的背景下,将动态认知逻辑中认知与动态的互助推演作为重点研究内容,对语境动态的认知... 详细信息

在动态认知逻辑产生与发展过程中,国内外学者一直进行深入的探讨,逻辑学家从不同的视角提出了许多具有建设性的观点。论文结合国内外研究现状,在语境的背景下,将动态认知逻辑中认知与动态的互助推演作为重点研究内容,对语境动态的认知逻辑进行了研究。论文基于认知逻辑理论、关联理论等理论基础,针对多主体复杂程度较高和动态处理难度大的问题,通过DEMO系统的分析与验证,以解决认知局限的问题思维为主线,与语言视角相关联,实现了语言与逻辑的交叉融合。在动静关系处理上,动态认知逻辑将认知逻辑的“静”与动态逻辑的“动”有机融合,与语境相联系,从而形成语境动态的认知逻辑,为知识的动态变化而形成新知识提供了条件。通过语境分析克服了自然语言的模糊性、片面性和局限性,找到了认知逻辑对于话语分析、系统建构的独特处理方式,解决了语言本身的歧义问题,实现了语言环境与理论框架的有机融合,对动态认知系统的建构和问题的解决具有一定意义。论文运用因果分析法,从而得出语境动态处理中仍存在若干问题;运用逻辑与历史相统一的方法,对国外知名专家和国内著名学者思想进行研读。运用系统分析法,研究系统要素,进行整体分析,呈现主体化、动态化等复杂问题;通过语形、语法、语义方面的系统分析,得出规避歧义、系统处理等解决方案。

关键词：动态认知逻辑主体语境系统认知

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

一般动态认知逻辑的公理化研究

一般动态认知逻辑的公理化研究

作者：彭海琪西南大学

学位级别：硕士

认识论是哲学的重要研究内容,哲学家讨论知识的来源及本质,而逻辑学家则探讨关于知识(knowledge)的推理。认知逻辑(Epistemic Logic,EL)就是以知识及其推理为研究对象的一种模态逻辑。动态认知逻辑(Dynamic Epistemic Logic,DEL)在认知... 详细信息

认识论是哲学的重要研究内容,哲学家讨论知识的来源及本质,而逻辑学家则探讨关于知识(knowledge)的推理。认知逻辑(Epistemic Logic,EL)就是以知识及其推理为研究对象的一种模态逻辑。动态认知逻辑(Dynamic Epistemic Logic,DEL)在认知逻辑的基础上加入认知行动,发展出了公开宣告逻辑、一般动态认知逻辑等逻辑系统。公开宣告逻辑(Public Announcement Logic,PAL)在认知逻辑的基础上加入公开宣告算子,其标准语义通过删除模型中宣告内容为假的世界来完成模型的更新,从而体现主体知识的改变。一般动态认知逻辑用行动模型刻画认知行动,用认知模型与行动模型的乘积更新刻画模型更新。时态认知逻辑(Epistemic Temporal Logic,ETL)也是刻画主体认知交互的系统,其模型以历史为基础,历史由事件序列组成,用事件的发生刻画主体的信息变化。DEL和ETL系统有共同的刻画对象,即主体的认知及其变化,两个系统的对比与融合也被系统地研究,结果表明DEL和ETL的模型可以相互转化:从DEL到ETL的转化是在认知模型中加入DEL协议而生成ETL模型,从ETL到DEL的转化则要求ETL模型满足命题不变性、函数性、“完美回忆”和“没有奇迹”等条件。ETL向DEL的转化为动态认知逻辑的研究提供了新的思路。公开宣告逻辑标准的公理化系统使用了归约公理,但是普遍代入规则在包含认知算子的归约公理中不成立。为了弥补标准公开宣告逻辑的不足,参考ETL向DEL转化的条件,公开宣告逻辑有了新的研究角度:公开宣告逻辑的辅助语义将公开宣告算子解释为可能世界之间的转换关系;正规扩展模型满足ETL向DEL转化的条件;相对应的公开宣告逻辑的公理化系统PAN不包含归约公理,且相对于标准语义是可靠且完全的。本研究参考DEL和ETL融合的结果、公开宣告逻辑的辅助语义和扩展模型以及公开宣告逻辑的非标准公理化系统PAN,给出一般动态认知逻辑的辅助语义和扩展模型,并对其与标准的模型进行对比分析,尝试给出新的一般动态认知逻辑的公理化系统。具体地,首先,以半公开宣告的场景为例,使用乘积更新模型和森林模型对其进行刻画,并对比分析两种模型;其次根据分析给出一般动态认知逻辑的辅助语义和正规扩展模型的定义;最后在公开宣告逻辑公理化系统PAN的基础上进行探究,给出不含归约公理的一般动态认知逻辑公理化系统DELN,并证明其可靠性。本研究的结构安排如下:首先,我们对国内外研究现状进行综述,阐述研究问题、研究思路和本文创新点。接下来介绍我们开展研究的背景知识,即动态认知逻辑的标准语义、标准公理化系统,以及动态认知逻辑和时态认知逻辑二者的融合结果。第三,结合DEL与ETL融合的结果,介绍我们研究参考的主要方法,即公开宣告逻辑的辅助语义、扩展模型及公开宣告逻辑公理化系统PAN。最后,介绍我们的主要研究内容,我们用乘积更新模型和森林模型对一般动态认知逻辑的场景进行对比分析,在此基础之上参考公开宣告逻辑的辅助语义和扩展模型,利用DEL和ETL融合的结果,给出一般动态认知逻辑的辅助语义和扩展模型,并尝试给出新的一般动态认知逻辑公理化系统DELN,并证明其可靠性。

关键词：动态认知逻辑公开宣告逻辑辅助语义扩展模型公理化

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

解释诊断在动态认知逻辑中的研究与实现

解释诊断在动态认知逻辑中的研究与实现

作者：周广强中山大学

学位级别：硕士

在人工智能领域,如何使计算机能运用常识知识进行推理和问题求解是最困难的问题之一,情景演算和动态认知逻辑都是以此为研究目标的两种重要的知识表示语言。McIlraith在1993年使用情景演算作为知识表示语言,定义了解释诊断的概念,解释... 详细信息

在人工智能领域,如何使计算机能运用常识知识进行推理和问题求解是最困难的问题之一,情景演算和动态认知逻辑都是以此为研究目标的两种重要的知识表示语言。McIlraith在1993年使用情景演算作为知识表示语言,定义了解释诊断的概念,解释诊断研究的是在智能体观察到一个故障现象后,如何找出故障现象的合理解释,它是基于模型诊断研究领域的一个重要分支。由于情景演算无法描述智能体的认知知识,余泉博士等人在2013年使用动态认知逻辑作为知识表示语言,定义了认知解释诊断的概念,该理论对于多智能体环境中的知识表示与推理具有重要意义。解释诊断理论研究的最终目的是实现对解释诊断问题的自动化求解,即实现该问题的求解器。同时,在实现认知解释诊断理论的过程中,也可以增强对该理论的理解和发现理论的不足。因此,对于认知解释诊断理论的研究与求解器的实现具有非常重要的理论意义和应用价值。由于在求解器的设计中,重要的不是求解问题的步骤,而是定义问题与解的描述,所以本文在对动态认知理论进行了深入研究之后,决定采用函数式语言Haskell作为求解器的编程语言。本文研究工作主要包括： (i)首先,在计算机中用Haskell语言描述了动态认知逻辑的相关概念,包括智能体、命题、公式、基本模型、认知模型、事件模型和动作模型。其次,实现了知识库的更新操作,即在某个智能体获得新知识后,更新整个系统的知识库。最后,完成了对某个知识在当前知识库下是否成立的判断。 (ii)用Haskell语言实现了包括问题描述模块、建模模块和诊断模块的认知解释诊断问题的求解器,并给出了对于认知解释诊断问题的诊断算法。 (iii)针对开关灯问题和香烟问题,分别设计了两个实验,验证求解器的正确性,并分析了求解器的应用范围。本文研究并设计了认知解释诊断问题的求解器,验证了正确性,分析了求解器的应用范围,为理论研究提供了实验依据。

关键词：动态认知逻辑解释诊断多智能体系统