收藏本站
收藏 | 论文排版

“和积之谜”的动态认知逻辑分析

郭美云  
【摘要】:公开宣告逻辑是动态认知逻辑的一个基础系统,它可以处理和刻画公开宣告这一动作对于主体知识的影响。公开宣告逻辑提供的形式化工具有助于我们追踪主体的知识变化和推理过程,它为"和积之谜"这一知识难题的求解提供了一个新的手段和方法。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 姜桂飞;;基于认知逻辑的模态逻辑运用的实在性分析[J];毕节学院学报;2011年04期
2 凌兴宏;黄志球;刘全;李凡长;崔志明;;面向agent的统一知识表示与推理逻辑框架[J];南京大学学报(自然科学版);2008年02期
3 丁胜斌;;集合范畴Set的伴随对及其在认知逻辑中应用[J];福建电脑;2010年06期
4 杨鲲,陈建中,孙德刚,刘大有;认知逻辑中逻辑全知问题及其解决方法[J];吉林大学自然科学学报;1999年03期
5 陈清亮;朱可宜;;多智能体协同的认知规范模型检测算法[J];中山大学学报(自然科学版);2009年01期
6 廖德明;;动态认知逻辑研究述评[J];自然辩证法通讯;2009年06期
7 崔晓红;;社会软件探赜[J];重庆理工大学学报(社会科学);2010年03期
8 张践明;;“知识—信念”关系的两条研究路径[J];自然辩证法研究;2009年12期
9 谷飙;正规认知逻辑系统[J];青海大学学报(自然科学版);2001年05期
10 李小五;用带测度函数的可能世界语义学解释—归纳认知逻辑[J];自然辩证法研究;1993年02期
11 蔡曙山;学科交叉视野中的现代逻辑[J];科学中国人;2003年11期
12 宁正元;胡山立;赖贤伟;;交互时态信念逻辑及其模型检测[J];南京大学学报(自然科学版);2008年02期
13 潘天群;群体对一个命题可能的知道状态分析[J];自然辩证法研究;2003年11期
14 赖贤伟;胡山立;宁正元;王秀丽;;交互时态逻辑下的三种模糊信念算子[J];海南师范大学学报(自然科学版);2008年04期
15 朱水林;;形式化与现代逻辑三大成果[J];科学技术与辩证法;1986年02期
16 李超英;从公理法到形式化——兼议方法科学的形成和发展[J];自然辩证法研究;1989年01期
17 巩子坤,宋乃庆;论数学教育学的范畴[J];西南师范大学学报(自然科学版);2005年04期
18 樊宏;刘晋;;供应链Meta图形式化模型及特点[J];科技进步与对策;2006年08期
19 赵泽林;高新民;;计算主义在心灵哲学中的两大前沿论题评析[J];科学技术与辩证法;2007年04期
20 贾小勇;李跃武;;变分法的一次变革:从欧拉到拉格朗日的形式化改造[J];自然科学史研究;2009年03期
中国重要会议论文全文数据库 前10条
1 张建军;;逻辑全能问题与动态认知逻辑[A];2000年逻辑研究专辑[C];2000年
2 熊立文;;用认知逻辑刻画简单枚举法[A];2001年逻辑研究专辑[C];2001年
3 李夏妍;张敏强;;认知逻辑研究概观[A];第十届全国心理学学术大会论文摘要集[C];2005年
4 刘奋荣;;非单调性问题与自认知逻辑[A];2001年逻辑研究专辑[C];2001年
5 陈晓华;;逻辑全能问题研究述评[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
6 唐晓嘉;陈树文;;认知逻辑的几个语义问题分析[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
7 冯荷飞;曹子宁;;交错时序认知逻辑在安全协议中的应用[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年
8 刘奋荣;;缺省逻辑如何研究非单调推理?[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年
9 王阳;;模态逻辑·形式语义·文本符号[A];2003年逻辑研究专辑[C];2003年
10 李瑞峰;;知道逻辑初探[A];1994年逻辑研究专辑[C];1994年
中国博士学位论文全文数据库 前10条
1 黄孝喜;隐喻机器理解的若干关键问题研究[D];浙江大学;2009年
2 苏畅;汉语名词性隐喻的计算方法研究[D];厦门大学;2008年
3 王勇;用于电力行业决策支持的多AGENT技术研究[D];华东师范大学;2007年
4 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
5 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年
6 张家琼;教学网络组织系统研究[D];西南大学;2009年
7 张君;知道逻辑中的知识可传递性问题研究[D];清华大学;2008年
8 冯彦波;合并逻辑方法研究[D];南开大学;2010年
9 刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年
10 邹渝;逻辑视域下的群体科学决策研究[D];西南大学;2009年
中国硕士学位论文全文数据库 前10条
1 王轶;认知逻辑的动态化理论[D];中国人民大学;2005年
2 刘珂;动态认知逻辑发展初探[D];河南大学;2008年
3 李慧华;自认知逻辑AEL[D];华南师范大学;2007年
4 张丽;时态公开宣告逻辑初探[D];西南大学;2009年
5 陆志浩;多Agent系统合作认知逻辑的研究[D];南京航空航天大学;2008年
6 萧瑶;信念修正逻辑初探[D];西南大学;2008年
7 贾改琴;知道谓词逻辑[D];西南师范大学;2005年
8 王明璨;英语现在完成式难题[D];四川外语学院;2011年
9 刘燕;面向对象的教学模式建模方法研究[D];四川师范大学;2005年
10 王文昊;我国侦查监督制度的反思与完善[D];吉林大学;2005年
中国重要报纸全文数据库 前10条
1 本报评论员 张刃;年终考评形式化虚假化歪风当刹[N];工人日报;2006年
2 杨曾宪;质疑高考改革的形式化趋势[N];发展导报;2002年
3 里冰;学生军训亟待走出形式化误区[N];中国改革报;2005年
4 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年
5 党国英 (中国社会科学院) 聂辉华 (人民大学经济学院博士);杨小凯有多重要?[N];中国图书商报;2003年
6 本报记者 李红梅;健康档案莫形式化[N];人民日报;2011年
7 朱德全 龙登丽;课堂改革:能否基于问题开处方?[N];中国教育报;2004年
8 鲁宁;中美纺织品协议不出所料[N];中国保险报;2005年
9 中国社会科学院农村发展所研究员 李成贵;建设清洁的新农村[N];人民日报;2007年
10 中国人民大学附属中学高级教师 彭晓;无限网络,无限教育[N];光明日报;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978