从实践思维看现代逻辑的发展 被引量：6

1

作者 王景周 崔建英 《暨南学报（哲学社会科学版）》 CSSCI 北大核心 2010年第1期140-145,共6页

随着计算机科学和人工智能领域研究的不断深入,经典逻辑理论得到了广泛应用和发展,逻辑研究的观念、对象和方法也发生了变革。逻辑的作用不再仅仅局限于有效推理,而是比较全面地研究主体思维活动中存在的程序、模式、方法和准则。本文... 随着计算机科学和人工智能领域研究的不断深入,经典逻辑理论得到了广泛应用和发展,逻辑研究的观念、对象和方法也发生了变革。逻辑的作用不再仅仅局限于有效推理,而是比较全面地研究主体思维活动中存在的程序、模式、方法和准则。本文以实践思维为元思维(逻辑),从方法论的角度分析现代逻辑发展的动因,探讨实践思维在具体学科发展中的重要指导作用。 展开更多

关键词 实践思维方式 逻辑转向 动态认知逻辑 哲学分析

下载PDF 职称材料

对动作的认知 被引量：3

2

作者 刘壮虎 李小五 《湖南科技大学学报（社会科学版）》 2005年第6期33-38,共6页

在通常的动态认知逻辑的基础上,引进对动作的认知。给出对动作认知的语义和特征公理,建立这种新类型逻辑的极小系统,并证明其框架可靠性和框架完全性。

关键词 认知 动作 动态认知逻辑

下载PDF 职称材料

从动态认知逻辑的观点看中医方证思想 被引量：5

3

作者 刘奋荣 《重庆理工大学学报（社会科学）》 CAS 2010年第10期75-78,共4页

运用动态认知逻辑的系统思想对中医治疗的总原则进行分析和阐释,揭示其动态的特征,并把中医学家和患者之间的交流看作是一个多主体认知系统中主体间的信息互动。以实际例子说明这样的动态过程是如何实现的,为我们正确理解和看待中医诊... 运用动态认知逻辑的系统思想对中医治疗的总原则进行分析和阐释,揭示其动态的特征,并把中医学家和患者之间的交流看作是一个多主体认知系统中主体间的信息互动。以实际例子说明这样的动态过程是如何实现的,为我们正确理解和看待中医诊疗方法提供了一个崭新的视角。 展开更多

关键词 动态认知逻辑 中医方证 信息互动

下载PDF 职称材料

从PAL看认知逻辑的动态转换 被引量：3

4

作者 郭美云 《自然辩证法研究》 CSSCI 北大核心 2006年第1期40-43,共4页

本文首先介绍动态认知逻辑的发展由来和研究背景,再以动态认知逻辑的的一个基础系统———公开宣告逻辑(public announcement logic简称PAL)为例,从而介绍动态认知逻辑研究的一些基本思路和方法,重点考察动态认知逻辑是如何完成静态向... 本文首先介绍动态认知逻辑的发展由来和研究背景,再以动态认知逻辑的的一个基础系统———公开宣告逻辑(public announcement logic简称PAL)为例,从而介绍动态认知逻辑研究的一些基本思路和方法,重点考察动态认知逻辑是如何完成静态向动态的转换。 展开更多

关键词 动态认知逻辑 研究背景 公开宣告逻辑 动态转换

下载PDF 职称材料

“观其脉证,知犯何逆,随证治之”进程中的信念修正 被引量：4

5

作者 郭瑨 贾春华 《世界科学技术-中医药现代化》 北大核心 2012年第5期2105-2108,共4页

以桂枝汤及其类方为研究内容,使用动态认知逻辑的方法,分析当医生接受到一个信息后其信念变化过程的逻辑规律。结果表明,"观其脉证,知犯何逆,随证治之"的辨证论治过程是一个动态认知过程,信息更新对医生信念变化的作用至关重... 以桂枝汤及其类方为研究内容,使用动态认知逻辑的方法,分析当医生接受到一个信息后其信念变化过程的逻辑规律。结果表明,"观其脉证,知犯何逆,随证治之"的辨证论治过程是一个动态认知过程,信息更新对医生信念变化的作用至关重要,而信念变化直接影响辨证论治的结果。 展开更多

关键词 辨证论治 动态认知逻辑 信念修正

下载PDF 职称材料

一种基于认知心理逻辑的“观其脉证,知犯何逆,随证治之”研究方案 被引量：4

6

作者 周琳琳 贾春华 刘奋荣 《世界科学技术-中医药现代化》 2011年第5期904-909,共6页

通过对认知心理学问题解决、动态认知逻辑、中医辨证论治等研究现状的回顾,提出中医学"观其脉证,知犯何逆,随证治之"的思维过程可以从认知心理学问题解决来分析,可以动态认知逻辑中公开宣告、信念变化来刻画。认为"观其... 通过对认知心理学问题解决、动态认知逻辑、中医辨证论治等研究现状的回顾,提出中医学"观其脉证,知犯何逆,随证治之"的思维过程可以从认知心理学问题解决来分析,可以动态认知逻辑中公开宣告、信念变化来刻画。认为"观其脉证,知犯何逆"即是确定问题、表征问题;"随证治之"即计划解决方案、执行计划。病人服药后效果如何、如何调整处方正是问题解决中的评估计划、评估解决方案。在辨证论治这一系列有目的指向的认知操作的动态过程,中医师的信念会随着治疗前后信息的变化而不断变化、完善。既然辨证论治是一系列有目的指向的认知操作的动态过程,那么就可以认知心理学问题解决的立场去研究它、以动态认知逻辑来刻画它。 展开更多

关键词 认知心理学 动态认知逻辑 辨证论治 问题解决

下载PDF 职称材料

证实原则的认知逻辑分析 被引量：3

7

作者 郭美云 《自然辩证法研究》 CSSCI 北大核心 2014年第5期9-13,共5页

证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关... 证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关,还与动态认知逻辑中一个公式是否总能成功更新有关。我们在对动态认知逻辑对证实原则的各种修正方案进行比较分析后认为,证实原则反映了人类学习和交流互动过程中的精致性和复杂性,这在动态逻辑的具体背景下可以进一步进行更为细致的研究。 展开更多

关键词 证实主义 证实原则 修正方案 费奇悖论 动态认知逻辑

原文传递

论教学观的认知转向 被引量：3

8

作者 马明辉 《四川师范大学学报（社会科学版）》 CSSCI 北大核心 2012年第3期78-83,共6页

杜威从逻辑的角度对思维活动做出了"数据—归纳—演绎—证实"的解释。利用当代语言学中形式学习理论可以对教学或学习过程做出一种认知解释,经验探究的学习过程是主体(学习者)从外界获取信息(数据)、加工信息(做出假设并根据... 杜威从逻辑的角度对思维活动做出了"数据—归纳—演绎—证实"的解释。利用当代语言学中形式学习理论可以对教学或学习过程做出一种认知解释,经验探究的学习过程是主体(学习者)从外界获取信息(数据)、加工信息(做出假设并根据假设进行推理)、确认信息的认知过程。这种认知解释的逻辑基础是当代动态认知逻辑。根据认知解释,可以对教学展开语言学、心理学、博弈论、信息科学、哲学等多学科交叉研究。 展开更多

关键词 教学观 形式学习理论 认知 动态认知逻辑

下载PDF 职称材料

基于后悔度的博弈剔除算法的逻辑认知分析 被引量：2

9

作者 崔建英 《暨南学报（哲学社会科学版）》 CSSCI 北大核心 2012年第5期137-143,164,共7页

博弈分析中存在大量的逻辑问题,通过认知逻辑可以精确表达主体间认知互动中的推理。首先,构建了基于后悔度的博弈认知模型,从选手选择某一策略所导致的后悔度分析主体的理性特征,为多种博弈剔除算法的认知机制提供统一的逻辑刻画。其次... 博弈分析中存在大量的逻辑问题,通过认知逻辑可以精确表达主体间认知互动中的推理。首先,构建了基于后悔度的博弈认知模型,从选手选择某一策略所导致的后悔度分析主体的理性特征,为多种博弈剔除算法的认知机制提供统一的逻辑刻画。其次,基于后悔度模型,重提主体理性定义,并证明该理性可作为公开宣告的事实,借助公开宣告逻辑,为Halpern等人提出的重复最大最小化后悔度算法提供合理的逻辑认知基础。 展开更多

关键词 后悔度 博弈认知模型 博弈剔除算法 动态认知逻辑

下载PDF 职称材料

动态认知逻辑的一个批评

10

作者 胡义昭 《重庆理工大学学报（社会科学）》 CAS 2010年第2期34-38,共5页

对于现代逻辑研究来说,理论计算机科学以及人工智能曾经并且正在为它提供的理论动机,在数量和范围上,已经远远超越了数学曾经和能够为它提供的理论动机。认知逻辑作为刻画关于知识和信念的推理的形式体系,可以被看作是逻辑研究应用到理... 对于现代逻辑研究来说,理论计算机科学以及人工智能曾经并且正在为它提供的理论动机,在数量和范围上,已经远远超越了数学曾经和能够为它提供的理论动机。认知逻辑作为刻画关于知识和信念的推理的形式体系,可以被看作是逻辑研究应用到理论计算机科学和人工智能等领域的一个重要的形式工具。而动态认知逻辑更在认知逻辑的静态基础之上,扩展以表现各种认知动作及其相应认知变化的算子,得到一系列的形式体系。在此从探寻认知逻辑的理论动机出发,追问我们应该在什么地方应该停止对于"新"逻辑体系的创新,由此对于动态认知逻辑把认知动作纳入形式体系的做法提出了批评:从认知逻辑的应用来说,对认知行动的形式刻画是多余的。 展开更多

关键词 认知逻辑 动态认知逻辑 关于知识的推理 认知行动 知识的变化

下载PDF 职称材料

动态认知逻辑视域下的知识与信念 被引量：1

11

作者 廖德明 《毕节学院学报（综合版）》 2010年第1期42-48,共7页

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

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

下载PDF 职称材料

主体认知正则活动的逻辑刻画 被引量：1

12

作者 王景周 崔建英 《西南大学学报（社会科学版）》 CSSCI 北大核心 2010年第4期59-65,共7页

研究了主体对正则复合活动认知的性质。首先,分析了文献中对主体认知活动的逻辑刻画及其存在的问题;然后,提出刻画主体认知复合活动的逻辑系统KRAL,并证明了该系统的可靠性和完全性。

关键词 知识 正则活动 动态认知逻辑

下载PDF 职称材料

公开宣告逻辑研究现状

13

作者 徐康 《毕节学院学报（综合版）》 2012年第2期47-52,共6页

信息流和主体间互动是近年来动态认知逻辑研究的主要问题。主体的知识和信念随着信息的更新而改变,比如宣告p成立之后主体知道p。信息是不断更新变化的,受信息变化的影响,主体的知识和信念也是动态变化的,绝不是静态的。信息变化的形式... 信息流和主体间互动是近年来动态认知逻辑研究的主要问题。主体的知识和信念随着信息的更新而改变,比如宣告p成立之后主体知道p。信息是不断更新变化的,受信息变化的影响,主体的知识和信念也是动态变化的,绝不是静态的。信息变化的形式是多种多样的,动态认知逻辑在静态的认知和信念等逻辑的基础上,引入新的动态算子,建立形式系统,研究模型上的变化,以此研究主体根据信息变化进行的推理。 展开更多

关键词 公开宣告逻辑 更新 动态认知逻辑 群体宣告逻辑

下载PDF 职称材料

基于动态逻辑的信息哲学研究

14

作者 侯丽平 何向东 《科学技术哲学研究》 CSSCI 北大核心 2018年第3期46-51,共6页

文章主要从逻辑的视角探讨信息哲学,明确信息哲学是关于信息的本质及其动态变化规律的新的哲学分支。文章运用类比"语言转向"的方式定义了哲学的"信息转向"。并以动态认知逻辑作为理论工具分析信息及其信息的动态变... 文章主要从逻辑的视角探讨信息哲学,明确信息哲学是关于信息的本质及其动态变化规律的新的哲学分支。文章运用类比"语言转向"的方式定义了哲学的"信息转向"。并以动态认知逻辑作为理论工具分析信息及其信息的动态变化,为寻找一种分析各种信息及其动态变化的统一理论提供思路,实现对其基本规律的认识,从而更好地解释和指导人类的实践活动,以及处理实践活动中呈现的哲学问题。 展开更多

关键词 信息哲学 信息转向 信息及其动态变化 动态认知逻辑

原文传递

关于多主体信念修正逻辑的研究

15

作者 安宇辉 《贵州工程应用技术学院学报》 2020年第1期19-23,共5页

为了对主体信念状态的变化进行刻画,学者们提出了信念修正理论。然而传统的AGM信念修正理论其尚存在许多问题,首先它只对单主体信念变化的情况进行了研究,没有考虑多主体系统中信念的互动与影响;其次它将新信息的来源设定为系统外,而且... 为了对主体信念状态的变化进行刻画,学者们提出了信念修正理论。然而传统的AGM信念修正理论其尚存在许多问题,首先它只对单主体信念变化的情况进行了研究,没有考虑多主体系统中信念的互动与影响;其次它将新信息的来源设定为系统外,而且对主体也没有进行限制。基于上述考虑,本文在将主体限制为理性主体的前提下提出一个新的涉及公开宣告的多主体信念修正系统MBR。 展开更多

关键词 多主体 信念修正 动态认知逻辑

下载PDF 职称材料

密码通信下的动态认知逻辑

16

作者 陈广明 《嘉应学院学报》 2015年第11期18-23,共6页

动态认知逻辑能够完成多主体信息交互活动中认知状态的刻画,但是它缺乏对密码通信的支持,同时密文处理规则的描述和主体密码全能问题也是迫切需要解决的问题.CDEL(Cryptography Dynamic Epistemic Logic)是支持密码规则的一阶认知逻辑,... 动态认知逻辑能够完成多主体信息交互活动中认知状态的刻画,但是它缺乏对密码通信的支持,同时密文处理规则的描述和主体密码全能问题也是迫切需要解决的问题.CDEL(Cryptography Dynamic Epistemic Logic)是支持密码规则的一阶认知逻辑,它为开放环境下主体传送信息提供了一个良好的描述方法.文章讨论了该逻辑中的密码公理的引入和密码全知问题的处理,简要介绍了其动态扩展方法和进一步研究的方向. 展开更多

关键词 动态认知逻辑 语义 密码系统 逻辑全知

下载PDF 职称材料

浅述动态事务管理逻辑

17

作者 庄丽 《毕节学院学报（综合版）》 2011年第4期15-19,共5页

问一个一般问句可以看作是有利于明确主体"事务管理"(issue management)的外部事件。从这个基本思想出发,就对提出、精炼和解决一个事务等外部事件的刻画讨论了事务管理的静态逻辑和动态逻辑,最后进一步探讨了动态认知逻辑的... 问一个一般问句可以看作是有利于明确主体"事务管理"(issue management)的外部事件。从这个基本思想出发,就对提出、精炼和解决一个事务等外部事件的刻画讨论了事务管理的静态逻辑和动态逻辑,最后进一步探讨了动态认知逻辑的扩张以及其它一些有待继续解决的问题。 展开更多

关键词 事务管理 一般疑问句 动态认知逻辑

下载PDF 职称材料

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

18

作者 王景周 崔建英 《出版科学》 CSSCI 北大核心 2019年第4期33-38,共6页

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

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

下载PDF 职称材料

基于行动逻辑的智能主体行为表征研究 被引量：8

19

作者 张晓君 郝一江 《重庆理工大学学报（社会科学）》 CAS 2013年第1期13-19,共7页

在人工智能领域,行为是指智能主体通过感知信息控制执行过程的算法。智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架。BDI主体结构在一些最为重要的多主体系统中得到了广泛应用。动态认知行动逻辑也可以对智能主体的行为进... 在人工智能领域,行为是指智能主体通过感知信息控制执行过程的算法。智能主体典型的行为模型就是BDI(信念、愿望和意图)逻辑框架。BDI主体结构在一些最为重要的多主体系统中得到了广泛应用。动态认知行动逻辑也可以对智能主体的行为进行表征。将BDI逻辑与动态认知行动逻辑融合起来,发展出能够更为有效地对主体不确定性行为进行表示和推理的逻辑是完全可能的。这些研究有助于智能主体不确定性行为的表示和推理,并为分布式人工智能提供形式支持。 展开更多

关键词 行为 智能主体 行动逻辑 BDI逻辑 动态认知行动逻辑

下载PDF 职称材料