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

逻辑系统动态结构演化研究

郝清赋  
【摘要】: 21世纪,计算机科学的发展进入了知识处理和智能模拟领域。构造逻辑系统描述规则认知过程的特征,进行规则表达与处理,研制新型软件,这已是当代科技发展的要求,是逻辑学发展最有生命力的方向。这一方向的工作路线是首先通过对人类规则认知过程的分析,利用形式化方法构造反映规则认知特征的逻辑系统;然后构造基于上述逻辑系统的自动推理系统,并在此基础上研制具有知识表达与处理功能的软件。 基于此,我们必须对规则可变的逻辑系统展开研究,研究的重要意义自不待言,本文就不同结构的逻辑系统之间的相互作用进行了较为深入系统的研究,得出了规则可变逻辑的相关结论。 首先,作者对逻辑系统的定义理论的发展做了探讨,并建立了一般逻辑系统的代数结构,这是研究逻辑系统结构可变的基础。 然后,作者探讨了把一般系统抽象为推演系统后,怎样的推演系统才是逻辑系统,即主要讨论了逻辑系统的完全性问题。构造了一种适合于一切命题逻辑的语义学,使得所有的推演系统对于它都是完全的。并在这种语义学中讨论推演系统的完全性。并利用这种完全性简单地讨论怎样的推演系统是逻辑系统。 作者以模型论为工具,研究了逻辑系统结构的动态演化情况,主要研究三种主要的类型:一个逻辑系统规则递增时的逻辑系统构造演化模型;两个逻辑系统规则相容时的结构演化模型;规则具有优先时序的逻辑系统结构演化模型。 作者最后研究了能描述操不同结构的的多个逻辑系统中规则推理的逻辑语言及其Kripke语义。为其建立了完备的形式化演绎系统。 基于可变规则的逻辑系统动态演化,在计算机科学和其他自然科学与社会科学领域有一定的理论和实践意义。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 黄轶岭,江桦;硬件描述语言(HDL)与逻辑系统设计[J];信息工程大学学报;1998年03期
2 李常青;杨永春;;二纤单向通道保护环实现双向三端纵差保护[J];陕西电力;2008年06期
3 钟士熙;孙衍吉;;电位型控制逻辑系统方案[J];计算机工程与科学;1980年01期
4 周昌乐;蒋旻隽;张志枫;许家佗;;一种应用于中医阴阳五行诊断学说的次协调逻辑(英文)[J];心智与计算;2007年03期
5 莫忠学;数字仪器中逻辑设计的新方法[J];电测与仪表;1980年06期
6 郑崇勋,殷子敏;可在微机上实现的通用四值逻辑模拟系统[J];微电子学与计算机;1987年02期
7 张慧卿;李国武;;丰万顺串补控制与保护系统逻辑改进[J];华北电力技术;2006年09期
8 孟广武;张兴芳;李成允;;n值逻辑系统中的随机化研究[J];计算机工程与应用;2009年19期
9 仇国华;李伟;廖延初;;对逻辑型控制系统的分析与探索[J];福建电脑;2009年10期
10 王廷明;;二值命题逻辑系统的T-真度理论(Ⅰ)[J];计算机工程与应用;2010年10期
11 金岳霖;不相融的逻辑系统[J];清华大学学报(自然科学版);1934年02期
12 牛秦洲,陈有禹;逻辑系统可靠性分析方法的应用[J];桂林工学院学报;1997年04期
13 牛秦洲;逻辑系统的可靠性分析[J];桂林工学院学报;1995年01期
14 Nartin O’Hara,冰;3.3V逻辑系统的廉价隔离5V电源[J];电子产品世界;1997年06期
15 王光兴;;多输出组合逻辑系统中软故障的分析[J];自动化学报;1985年01期
16 尹丽春;刘则渊;;《科学计量学》引文网络的演化研究[J];中国科技期刊研究;2006年05期
17 沈雷;CMOS4(1/2)位A/D转换逻辑系统及其应用(下)[J];电子技术应用;1983年03期
18 袁楚明,张国辉,陈幼平,周祖德;基于Web的开放式数控设备故障会诊技术研究[J];制造业自动化;2004年10期
19 郭慧梅;缪淮扣;陈怡海;;定理证明辅助工具Isabelle剖析与应用[J];计算机应用与软件;2007年08期
20 陈宗升;于西昌;李成允;;逻辑系统Gdel,Luk,L*中命题真度值的分布[J];计算机工程与应用;2009年13期
中国重要会议论文全文数据库 前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 郝清赋;吴唏;沈敏;;基于逻辑推演理论的船舶避碰决策研究[A];船舶避让与安全操作[C];2007年
8 陈永义;;NF逻辑系统[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
9 张清宇;;名辞逻辑系统MC[A];科学发展:文化软实力与民族复兴——纪念中华人民共和国成立60周年论文集(下卷)[C];2009年
10 杜国平;;金岳霖逻辑观述评[A];2000年逻辑研究专辑[C];2000年
中国博士学位论文全文数据库 前10条
1 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年
2 冯彦波;合并逻辑方法研究[D];南开大学;2010年
3 杨轶囡;天女木兰演化结构及抗寒机理研究[D];东北师范大学;2009年
4 袁宏宽;过渡金属及其合金团簇的稳定性、电子结构和磁性研究[D];苏州大学;2009年
5 王海燕;远离平衡条件下Fe-Si合金的结构演化及β-FeSi_2相的形成[D];燕山大学;2005年
6 张金山;镁基球形准晶的形成及镁合金中的作用行为研究[D];太原理工大学;2008年
7 王艳;元素掺杂对Zr基非晶形成及结构演化影响的研究[D];山东大学;2009年
8 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
9 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年
10 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
中国硕士学位论文全文数据库 前10条
1 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年
2 赵春雨;芜湖市产业结构演化与区域发展研究[D];安徽师范大学;2004年
3 夏梦;金岳霖逻辑与逻辑系统思想述评[D];西南师范大学;2002年
4 庞晓莹;基于疏散星团的银河系结构研究[D];上海师范大学;2008年
5 李莉;基于T-S模型的自适应模糊系统的研究及应用[D];西北工业大学;2003年
6 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年
7 乔飞;具有可变规则的专家系统在输电线路故障诊断与监测中的应用研究[D];南京理工大学;2007年
8 王庆平;模糊推理中的三I算法研究[D];聊城大学;2008年
9 郭仁青;过渡金属Co、Rh、Ir、Ni、Pd、Pt团簇结构演化行为[D];新疆大学;2008年
10 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年
中国重要报纸全文数据库 前10条
1 本报记者 周静;第四届全国性逻辑系统、智能科学与信息科学学术会议在筑召开[N];贵州日报;2008年
2 重庆市彭水县郁山中学 钟年映;教学并非都得循序渐进[N];中国教育报;2009年
3 陈波;逻辑学的2005年[N];光明日报;2006年
4 张慧英;企业家本身是一种生活方式[N];中国工业报;2003年
5 李健 段晓燕;彼得·德鲁克:计算机是个“低能儿”[N];社会科学报;2002年
6 田学斌 梁彦洲;我省产业结构优化的政策取向[N];河北经济日报;2006年
7 造造 编写;鲁班软件实战练兵场(25)[N];建筑时报;2007年
8 中国科学院计算技术研究所 常亮史忠植;语义Web的逻辑基础[N];计算机世界;2007年
9 本报记者 白岭;沪深股市走进新赢利时代[N];证券日报;2007年
10 河北社科院哲学所 李洪卫;当下社会问题及秩序重建[N];社会科学报;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978