免费论文
收费论文
发表论文
我要投稿
设为首页 招标网
联系我们
经济学|管理学|法学|计算机|医学|教育|文学|政治|艺术|哲学|更多 经济学|管理学|法律|计算机|医学|教育|文学|政治|艺术|哲学|更多
 论文搜索
  推荐服务: 论文发表 收费论文
期刊论文格式
毕业论文格式
期刊论文范文
毕业论文范文
论文致谢
毕业论文答辩
开题报告
论文选题
英文摘要书写
命题泛逻辑的演算理论及推理研究
中文名称: 命题泛逻辑的演算理论及推理研究
全文提供: 购买充值卡,就可下载本篇论文全文  
论文编号: 3116678收藏本论文】【我的收藏】【我要投稿
英文名称: Studies on Calculus Theory and Reasoning of Propositional Universal Logic
学位类型: 博士毕业论文
作者: 涉及隐私,隐去***  作者本人请参看权力声明>>
导师: 涉及隐私,隐去***
毕业学校: 涉及隐私,隐去***
专业: 计算机科学与技术
毕业年份: 涉及隐私,隐去***
关键字: 泛逻辑 语义 语构 广义重言式 泛蕴涵算子 模糊蕴涵算子 广义相关性 广义自相关性 命题演算系统 泛蕴涵推理机 模糊推理 三I方法
简介目录: 点击此处 免费索取本论文简介和目录>>
全文提供: 购买充值卡,就可下载本篇论文全文  

       论文发表:快速、低价、包过!发表论文就找论文天下

论文简介:本文研究课题源于国家自然科学基金项目(No.60273087)“经验知识推理理论研究”与北京市自然科学基金项目(No.4032009)“不精确推理理论研究”。 如何处理各种不确定性利演化已成为当前人工智能深入发展的关键。已十分完善的经典数理逻辑是刚性逻辑,只能解决确定性问题。如何使经典数理逻辑柔性化,以包容各种不确定性和演化,是逻辑学研究面临的新挑战。在此背景下,各种非标准逻辑和现代逻辑大量涌现。何华灿教授在研究各种逻辑规律的基础上提出了能包容各种逻辑形态和推理模式的泛逻辑学理论框架,为研究复杂系统中的不确定性和演化过程奠定了理论基础。 本文属于泛逻辑的基础理论研究,围绕“命题泛逻辑的演算理论”这个主线,对命题泛逻辑的语义、语构和推理进行了深入研究。主要研究成果和创新点如下: 1.将广义重言式理论引入命题泛逻辑,对h,k取一些固定值时的广义重言式理论进行了刻画,得到一些重要结论:当c∈[0.75,1]时,关于Ih=c而言,F(S)中只有3种不同的广义重言式,即,可达0-重言式、0+-重言式和重言式;当h=1,k=0.5时,关于Ih=1,k=0.5而言,F(S)中只有5种不同的广义重言式,即可达0-重言式、0+-重言式、可达(1/2)-重言式、(1/2)+-重言式和重言式;当h=0.75,k=0.5时,关于Ih=0.75,k=0.5而言,F(S)中对每一有理数均存在可达广义重言式,且是类类互异的。 2.当h∈(0,1]时,以零级泛与运算模型为逻辑“与”的解释,以零级泛蕴涵运算模型为逻辑“蕴涵”的解释,建立命题泛逻辑演绎系统ULh∈(0,1],并证明其可靠性和完备性。 3.当h∈(0,1],k∈(0,1)时,以一级泛与运算模型为逻辑“与”、一级泛蕴涵运算模型为逻辑“蕴涵”、一级泛非运算模型为逻辑“非”为背景,引入一种新的代数系统LПG-,以此代数为语义建立命题演绎系统UL-h∈(0,1]并证明其可靠性和完备性。 4.提出了基于泛逻辑且针对常见模糊推理模型的推理规则和泛蕴涵推理机;用含有泛蕴涵推理机的模糊系统对一元、二元函数的图形进行描绘;针对三种模糊系统进行了实验数据比较。结果表明,在相同的规则下,含有泛蕴涵推理机的系统误差最小。 上述研究成果为最终解决命题泛逻辑的标准完备性奠定了理论基础,为进一步建立谓词泛逻辑提供了理论保障。
本类相关论文:
·基于支持向量机的目标跟踪技术研究
·基于约束的现代调度系统研究
·故障诊断中t/k诊断策略及遗传诊断算法研究
·基于贝叶斯模型的文档分类及相关技术研究
·人工免疫优化算法及其应用研究
·面向不确定性推理和数据分析的模式识别方法研究
·遗传算法的模式理论及收敛理论
·最小二乘支持向量机及其在工业过程建模中的应用
·基于支持向量机的变结构控制方法研究
·蚁群优化算法的理论研究及其应用
泛逻辑论文 语义论文
·泛逻辑运算的电路实现研究
·命题泛逻辑学的包容性研究
·基于泛资源及泛逻辑的企业模型体系研究及其应用
·基于泛逻辑学的概率逻辑及其算子的研究
·面向对象的广义空间逻辑运算模型与推理研究
·中医药一体化语言系统
·“V就V在P”格式的多角度考察
·三官寨彝语参考语法
·言语幽默现象研究
·面向对象程序语言的语义,规范及验证
语构论文 广义重言式论文
·基于符号学的城市街道空间设计研究
·基于科技馆展示设计的形态语义研究
·云南拉祜族服饰艺术视觉符号研究
·符号思维与建筑设计
·L~*系统中的一类广义重言式与L~*系统的一种
·t-模与蕴涵算子的同构及广义重言式理论
·修正的Atanassov命题逻辑及其广义重言式
·区间值模糊命题逻辑及其广义重言式
·扰动模糊命题逻辑及其广义重言式
模糊蕴涵算子论文 广义相关性论文
·区间直觉模糊推理及其在复杂问题决策中的应用
·迭代布尔相象律方程的几类新解
·关于模糊蕴涵若干问题的研究
·两类模糊集的表现定理及其应用
·广义三角模与模糊蕴涵算子
·基于角色的多智能体社会模型研究与应用
·面向对象的广义空间逻辑运算模型与推理研究
·柔性区间逻辑及推理研究
·基于广义相关性的多Agent交互作用研究
  推荐期刊投稿
·太原大学学报
·森林公安
·西藏发展论坛
·中外健康文摘(临床医师)
·阳光能源
·现代医药卫生
·内蒙古财经学院学报(综合版)
·山东工商学院学报
·拳击与格斗
·西北大学学报(哲学社会科学版)
 
·施工技术
·无锡南洋学院学报
·西北国防医学杂志
·消防科学与技术
·Journal of Iron and
·广告大观(综合版)
·医学信息
·实验科学与技术
·内蒙古林业科技
·黑龙江民族丛刊
 
·今日山西
·矿山测量
·改革
·包装与食品机械
·交通运输工程与信息学报
·国际儿科学杂志
·中国家禽
·福建论坛(人文社会科学版)
·佳木斯大学社会科学学报
·山西水利
   免费论文
公共管理 | 法学 | 理学 | 医药学
政治 | 社会学 | 文学 | 艺术 | 哲学
工学 | 计算机 | 文化 | 英语论文
经济学 | 财政 税收 | 证券金融
管理学 | 会计审计 | 工商管理 | 教育
财务管理 | 论文写作指导 | 应用文
   收费论文
马列毛邓 | 哲学宗教 | 社会科学
政治法律 | 军 事 | 经 济
文化科学教育体育 | 语言文字
文学 | 艺术 | 历史地理 | 自然科学
数理化 | 天文 | 生物科学 | 医药卫生
农业科学 | 工业技术 | 交通运输
航空航天 | 环境安全
   浏览历史

联系论文网 | 收费论文 | 发表论文 | 论文翻译 | 友情链接 | 全部分类 | 网站地图 | 期刊导航
版权所有 2008-2018 论文天下 www.lunwentianxia.com 京ICP备08104503号