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

命题泛逻辑的演算理论及推理研究

马盈仓  
【摘要】:本文研究课题源于国家自然科学基金项目(No.60273087)“经验知识推理理论研究”与北京市自然科学基金项目(No.4032009)“不精确推理理论研究”。 如何处理各种不确定性和演化已成为当前人工智能深入发展的关键。已十分完善的经典数理逻辑是刚性逻辑,只能解决确定性问题。如何使经典数理逻辑柔性化,以包容各种不确定性和演化,是逻辑学研究面临的新挑战。在此背景下,各种非标准逻辑和现代逻辑大量涌现。何华灿教授在研究各种逻辑规律的基础上提出了能包容各种逻辑形态和推理模式的泛逻辑学理论框架,为研究复杂系统中的不确定性和演化过程奠定了理论基础。 本文属于泛逻辑的基础理论研究,围绕“命题泛逻辑的演算理论”这个主线,对命题泛逻辑的语义、语构和推理进行了深入研究。主要研究成果和创新点如下: 1.将广义重言式理论引入命题泛逻辑,对h,k取一些固定值时的广义重言式理论进行了刻画,得到一些重要结论:当c∈[0.75,1]时,关于I_(h=c)而言,F(S)中只有3种不同的广义重言式,即,可达0-重言式、0~+-重言式和重言式:当h=1,k=0.5时,关于I_(h=1,k=0.5)而言,F(S)中只有5种不同的广义重言式,即可达0-重言式、0~+-重言式、可达(1/2)-重言式、(1/2)~+-重言式和重言式:当h=0.75,k=0.5时,关于I_(h=0.75,k=0.5)而言,F(S)中对每一有理数均存在可达广义重言式,且是类类互异的。 2.当h∈(0,1]时,以零级泛与运算模型为逻辑“与”的解释,以零级泛蕴涵运算模型为逻辑“蕴涵”的解释,建立命题泛逻辑演绎系统UL_(h∈(1,1]),并证明其可靠性和完备性。 3.当h∈(0,1],k∈(0,1)时,以一级泛与运算模型为逻辑“与”、一级泛蕴涵运算模型为逻辑“蕴涵”、一级泛非运算模型为逻辑“非”为背景,引入一种新的代数系统L∏G~-,以此代数为语义建立命题演绎系统UL_(h∈(0,1])~-,并证明其可靠性和完备性。 4.提出了基于泛逻辑且针对常见模糊推理模型的推理规则和泛蕴涵推理机;用含有泛蕴涵推理机的模糊系统对一元、二元函数的图形进行描绘;针对三种模糊系统进行了实验数据比较。结果表明,在相同的规则下,含有泛蕴涵推理机的系统误筹最小。 上述研究成果为最终解决命题泛逻辑的标准完备性奠定了理论基础,为进一步建立谓词泛逻辑提供了理论保障。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张金山;;专家系统及其在采矿工业中的应用[J];包头钢铁学院学报;1993年01期
2 王诗瑧;仰华胄;;专家系统与工程设计[J];郑州大学学报(理学版);1993年04期
3 陈德运;李秀忠;陈是荣;;专家系统中模糊变量的推理及处理方法[J];哈尔滨科学技术大学学报;1993年03期
4 王东平,孙启宏;神经网络与专家系统[J];系统工程与电子技术;1994年11期
5 潘亚君,潘晓弘;专家系统思想在CAPP中的应用及其实现[J];机电一体化;1998年05期
6 张英梅,卢志勇;电路设计专家系统的研究[J];太原理工大学学报;1999年02期
7 李智军,吕恬生;机器人动态避障实时专家系统的研究[J];机械科学与技术;2000年04期
8 蒋文科,陈丽萍,张梅;基于知识和数学模型的农业专家系统生成工具[J];计算机与农业;2000年02期
9 李桃,崔建军,申炳昕,范晓慧;烧结过程的递阶集成智能控制系统研究(Ⅳ)——烧结过程异常诊断专家系统推理机设计[J];烧结球团;2001年05期
10 李晓冰,赵圣占,周慧,段一萍;专家系统技术在数据处理中的应用[J];强度与环境;2002年04期
11 彭芳,黄大贵;用C++ Builder开发污水处理故障诊断专家数据库系统[J];中国测试技术;2004年04期
12 王玉芳,张昕,尤文;心血管疾病计算机诊断专家系统[J];长春工业大学学报(自然科学版);2005年02期
13 马保国;侯存军;龙世宗;钱方正;王文丰;;新型干法窑结皮堵塞预警专家系统的设计[J];武汉理工大学学报;2006年01期
14 刘昌平;;专家系统在智力游戏中的应用[J];计算机时代;2006年05期
15 王玉芳;;专家系统及其在日常诊疗中的应用[J];电脑知识与技术(学术交流);2007年09期
16 兰彬;;农业专家系统在农业高校和京郊农村的发展[J];电脑知识与技术;2008年10期
17 石红梅;金世俊;;颅脑外伤疾病诊断专家系统的设计与实现[J];中国科技信息;2008年16期
18 王跃;刘永泰;;红枣专家系统的研究开发[J];科技情报开发与经济;2010年08期
19 刘逸敏,徐有福,仲剑平,周旭宇;MCDS系统的设计与实现[J];计算机应用;1992年01期
20 宜茂生,刘银志;一个采区设计专家系统RPES[J];辽宁工程技术大学学报;1993年01期
中国重要会议论文全文数据库 前10条
1 杨占才;王红;周一鸥;刘金甫;;基于AI-ESTATE标准推理机实现方法研究[A];2010航空试验测试技术学术交流会论文集[C];2010年
2 曾柯达;杨树强;韩伟红;郑黎明;徐镜湖;;基于推理机的网络安全事件关联分析研究及实现[A];全国计算机安全学术交流会论文集·第二十五卷[C];2010年
3 王旭红;肖平;;基于知识库分类法在植被提取中应用研究[A];第十四届全国遥感技术学术交流会论文摘要集[C];2003年
4 周艳;宋廷强;;基于模糊逻辑的ESDOTF系统的推理机[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
5 姜帆;潘方胜;李红云;;一个基于FCR算法的推理机的设计[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
6 袁柳;李战怀;陈世亮;;结合DL推理机和关系数据库实现OWL资源检索[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
7 金传伟;;航空铝镁铸件缺陷分析智能专家系统[A];1998中国控制与决策学术年会论文集[C];1998年
8 陈伟;;建立GMDSS专家系统(GMDSSES)初探[A];船舶通信与导航(1995)[C];1995年
9 车兰;;专家系统在鞍钢2150生产线取样组批设定中的应用[A];2008年全国轧钢生产技术会议文集[C];2008年
10 贾连兴;林植;汪霖;谈园;;海上交通风险控制辅助决策系统设计与实现[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 崔琳;石油化工过程HAZOP专家系统与集成研究[D];北京化工大学;2009年
2 石怀东;一种面向普适计算环境的语义化推理存储技术研究[D];浙江大学;2008年
3 姚志林;基于本体的工作流为中心协同工作关键技术的研究[D];吉林大学;2007年
4 乔金友;农业机械化生产专家系统设计与开发[D];东北农业大学;2007年
5 肖秦琨;基于动态贝叶斯网络的智能自主优化机制研究[D];西北工业大学;2006年
6 刘秀磊;基于词法分析和语义分析的本体集成研究[D];北京邮电大学;2012年
7 何秋生;一种轻量级觉察上下文软件体系结构的研究[D];复旦大学;2007年
8 陈丁剑;基于语义的Web服务发现和组合技术研究[D];西北工业大学;2007年
9 蒲芳;普适计算中位置感知服务的研究[D];东华大学;2008年
10 韩春华;基于GIS的铁路选线系统智能环境建模方法研究[D];西南交通大学;2008年
中国硕士学位论文全文数据库 前10条
1 黄锡泉;齿轮箱状态监测与故障诊断专家系统研究[D];中北大学;2006年
2 李强;基于MAS的教师模型的研究与设计[D];武汉理工大学;2006年
3 张静;温室蔬菜主要病害诊断与咨询专家系统的构建[D];山西农业大学;2004年
4 袁利锋;以财务数据为基础的专家系统的研究与开发[D];华北电力大学(北京);2006年
5 谈鹏程;基于规则的知识系统在水质评价中的应用研究[D];河海大学;2006年
6 刘伟;固体火箭发动机故障诊断专家系统研究[D];南京理工大学;2005年
7 贺鹏;基于Web的疲劳断裂理论工程应用专家系统[D];哈尔滨工程大学;2005年
8 闫峰;大学生心理咨询专家系统的研究和实现[D];湖南大学;2006年
9 白桂恒;注塑模具流道及脱模系统知识库与推理机的研究[D];山东大学;2006年
10 黄小英;水稻推荐施肥专家系统的研究与开发[D];华东师范大学;2007年
中国重要报纸全文数据库 前10条
1 中科院计算所 张子云曹鹏;主体与协同:专家系统的发展方向[N];计算机世界;2007年
2 ;开天辟地第一回[N];计算机世界;2002年
3 中国科学院计算技术研究所 常亮史忠植;语义Web的逻辑基础[N];计算机世界;2007年
4 中国科学院计算技术研究所 万长林史忠植 彭晖;语义Web解决Web服务难题[N];计算机世界;2007年
5 本报通讯员 钱熊 记者 陈君;吴中如院士谈大坝安全监控[N];中国水利报;2005年
6 王梅 杨芳;化工灾害的防控研究达世界先进水平[N];中国化工报;2003年
7 梁茼;中医诊疗信息化的难点与突破[N];光明日报;2006年
8 欣;日本要挑战美国[N];国际经贸消息;2000年
9 记者 胡佩生 通讯员 雷威;湘钢高炉靠“专家”优化生产[N];中国冶金报;2004年
10 小林子;语义网:让网络学会思考[N];电脑报;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978