收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

合并逻辑方法研究

冯彦波  
【摘要】:合并逻辑(Combining Logic),又称为逻辑的合并(Combination of Logics),是“当代逻辑的理论和应用研究中最令人感兴趣的题目之一。”以《哲学逻辑手册》的主编Dov.M.Gabby为首的众多学者对它进行了研究,并取得了重要的成果。它在哲学、逻辑学、语言学、人工智能与计算机科学等方面有着重要的理论和应用价值,并使逻辑成为一个更有力的工具。 最初,合并逻辑出现在模态逻辑的环境中。因此,许多方法被特别地创造出来一方面模型化(model)克瑞普克结构的合并,另一方面模型化公理系统的合并,尽管现在它们被应用于大量的模型论和证明论概念。 Marcelo Finger和Dov.M.Gabby 1992年发表“Adding a Temporal Dimension to a Logic System"一文,首次提出了时间化(Temporalization)方法;1996年二人又发表论文"Combining Temporal Logic Systems",论述了时间逻辑系统与时间逻辑系统的合并,即将两个一维时间逻辑系统合并从而得到一个二维的时间逻辑系统。后来,Marcelo Finger对这个问题进行了更深入地研究,于2002年发表"The Unrestricted Combining of Temporal Logic Systems"一文,把关于线性时间流逻辑系统的合并推广到任意时间流。时间化方法不是任意合并两种逻辑,而是把一逻辑系统镶嵌在时间逻辑系统之中,外在地为该逻辑系统增加时间特征,把它的不同状态与不同的时刻联系起来,从而刻画该系统中的理论和模型在时间上的发展变化。这种方法部分程度地满足两个不同逻辑系统的算子之间的交互作用。并且合并后的逻辑系统保留了原来时间逻辑的几个性质,比如可靠性、完全性、可判定性、守恒性和线性时间流上的分离性等。 1996年Dov.M.Gabby创立了纤维(Fibring)方法。使用这种方法可以将两个逻辑系统合并从而得到一个新的逻辑系统;在新逻辑系统中,不但可以将命题变项和联结词混合,而且可以将推理规则合并。由于这种方法允许不同的模态算子交互作用,克服了融合方法的局限,并且在证明——理论的层面上也极易被理解,因而,纤维被认为是合并逻辑中最有效的方法,在数理逻辑的理论和应用方面具有重要意义。 当使用纤维方法将经典命题逻辑与直觉主义命题逻辑合并时,所得到的逻辑坍塌为经典命题逻辑。为了解决这个“坍塌问题”3,Cristina Sernadas, Joao Rasga和Walter A.Carnielli三人于2002年提出了调制纤维(Modulated Fibring)方法。这种方法通过使用附加格结构之间的模型来解决坍塌问题。调制纤维逻辑保持了可靠性、完全性等性质。 在Cristina Sernadas, Joao Rasga和Walter A.Carnielli提出调制纤维方法之后,Carlos Caleiro和Jaime Ramos于2004年提出了另一种解决坍塌问题的方法——隐纤维(Cryptofibring)。这种方法比调制纤维方法的结构更简单。它采用一个普遍化的隐态射的纤维语义来解决语义坍塌问题。 当前,刻画认知逻辑的动态特征也是现代逻辑研究中的重要问题。在双主体认知逻辑中,关于知道、相信的逻辑系统被构造,它们为分析和推理在特定外界和系统中的知识、信任等提供了一个基础。双主体认知逻辑能够表达知识、信任的静态特征。但是,知识、信任是观察的结果,这导致知道、相信另一种行为在没有明确保证的情况下可以被知道、相信,以致能在特殊的环境中完成目标。所以,知识、信任作为一系列明确观察的结果,是在时间上发展变化的。一个主体由于某些原因,比如来自其它主体的建议,可能在时间的某个时刻失去它的知识、信任或者增加新的知识、信任。如果将时间引入到双主体认知逻辑中,就能表达双主体认知的动态特征和双主体知识的演进。 本文力图在充分考察合并逻辑主要方法的基础上,尝试运用时间化和纤维方法,建立两个双主体时间认知逻辑系统,从而刻画双主体认知的动态特征并模拟双主体认知理论的发展变化。概括说来,本文的工作包括以下三个方面: 第一,对国外有关合并逻辑发展的资料进行了梳理,限于篇幅,对时间化、纤维、调制纤维和隐纤维这四种主要的方法进行介绍。时间化、纤维这两种方法应用最多。尤其是纤维方法,是合并逻辑中最重要的机制。国外很多逻辑学者对Dov.M.Gabby创立的这种方法进行了探讨,并对这种方法中存在的问题提出了一些解决办法。调制纤维和隐纤维这两种方法就是为了解决纤维方法中的问题而创立的。 第二,采用纤维方法,将时间逻辑系统与极小双主体认知逻辑系统Bm合并,构造一个新的逻辑系统——纤维的双主体时间认知逻辑系统F(Bm),从而表达双主体认知的动态特征及其知识的演进。它允许我们说明认知的动态并且及时地修正基于认知变化的一给定系统的认知理论。 第三,采用时间化方法,将时间逻辑系统与极小双主体认知逻辑系统Bm合并,构造一新的逻辑系统——时间化的双主体时间认知逻辑系统T(Bm),从而能以一种自然的方式表达有关主体认知的依赖于时间的性质。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 赵鹏;姚从军;;三值逻辑系统的分析与比较[J];毕节学院学报;2011年06期
2 蔡曙山;白晨;衣新发;韩旭;;推理在学习与认知中的作用[J];重庆理工大学学报(社会科学);2011年08期
3 左卫兵;;三值命题逻辑随机化的注记[J];河北师范大学学报(自然科学版);2011年04期
4 冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期
5 郭建萍;;殊途同归的意义理论——逻辑视野中的戴维森与达米特意义理论[J];哲学动态;2011年06期
6 刘新文;;皮尔士存在图的形式推演系统[J];毕节学院学报;2011年05期
7 张世亮;;颜师古《玄言新记明老部》的诠释体例与思想特色[J];社科纵横;2011年05期
8 吴新民;;时态逻辑与时间思想的语言哲学维度[J];湖南社会科学;2011年04期
9 陈满铭;;文本解析的专业化[J];湘南学院学报;2011年04期
10 谭智奇;;探析逻辑哲学“不是什么”和“是什么”[J];传承;2011年21期
11 杨熙媛;刘芳;;逻辑实证主义科学观[J];安徽文学(下半月);2011年08期
12 ;[J];;年期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 张学立;;从逻辑哲学的观点看金岳霖先生的逻辑信条[A];1997年逻辑研究专辑[C];1997年
2 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
3 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年
4 赵总宽;;辩证模态命题逻辑系统DMT与实然世界语义学[A];1997年逻辑研究专辑[C];1997年
5 李小五;;沈有鼎论直观与逻辑[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年
6 郭世铭;;二重命题逻辑系统■_4[A];1993年逻辑研究专辑[C];1993年
7 陈永义;;NF逻辑系统[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
8 张清宇;;名辞逻辑系统MC[A];科学发展:文化软实力与民族复兴——纪念中华人民共和国成立60周年论文集(下卷)[C];2009年
9 杜国平;;金岳霖逻辑观述评[A];2000年逻辑研究专辑[C];2000年
10 ;贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会在花溪召开[A];贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会论文集[C];2005年
中国博士学位论文全文数据库 前10条
1 冯彦波;合并逻辑方法研究[D];南开大学;2010年
2 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年
3 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
4 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年
5 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
6 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
7 李晓冰;基于语言真值格值逻辑的归结自动推理研究[D];西南交通大学;2008年
8 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年
9 郭美云;带有群体知识的动态认知逻辑[D];北京大学;2006年
10 华保健;一种用于指针程序安全性证明的指针逻辑[D];中国科学技术大学;2008年
中国硕士学位论文全文数据库 前10条
1 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年
2 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年
3 夏梦;金岳霖逻辑与逻辑系统思想述评[D];西南师范大学;2002年
4 张琼;BL_△~*形式系统与NM(?)形式系统的研究[D];陕西师范大学;2010年
5 李莉;基于T-S模型的自适应模糊系统的研究及应用[D];西北工业大学;2003年
6 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年
7 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年
8 张乐;MTL-代数上的度量化研究[D];浙江理工大学;2012年
9 王庆平;模糊推理中的三I算法研究[D];聊城大学;2008年
10 李丽;模糊时序命题逻辑系统的语义[D];辽宁师范大学;2005年
中国重要报纸全文数据库 前10条
1 本报记者 周静;第四届全国性逻辑系统、智能科学与信息科学学术会议在筑召开[N];贵州日报;2008年
2 重庆市彭水县郁山中学 钟年映;教学并非都得循序渐进[N];中国教育报;2009年
3 陈波;逻辑学的2005年[N];光明日报;2006年
4 张慧英;企业家本身是一种生活方式[N];中国工业报;2003年
5 李健 段晓燕;彼得·德鲁克:计算机是个“低能儿”[N];社会科学报;2002年
6 造造 编写;鲁班软件实战练兵场(25)[N];建筑时报;2007年
7 中国科学院计算技术研究所 常亮史忠植;语义Web的逻辑基础[N];计算机世界;2007年
8 北京大学医学部卫生法学教研室副主任 王岳;细化法规才能更好呵护生命[N];法制日报;2008年
9 鹏城;共享光纤虚拟路径保护方式[N];通信产业报;2000年
10 刘喜喜;欲引领未来布线技术走向 泛达发布UPI策略[N];中国计算机报;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978