中介命题演算系统MP~M的代数系统

发布时间：2018-04-16 19:04

  本文选题：中介逻辑 + 命题演算系统　； 参考：《数学研究与评论》2006年04期

【摘要】：MP~M系统是在中介逻辑系统的基础上建立起来的,用于处理数据库中不完全信息的三值逻辑命题演算系统．本文通过在MP~M系统上建立一个代数系统,对MP~M系统进行了代数抽象,讨论了MP~M系统的代数性质．本文还研究了该代数系统的次直积,以及与其它一些代数系统之间的关系．
[Abstract]:The MP~M system is a ternary logic propositional calculus system based on the intermediary logic system, which is used to deal with incomplete information in the database.In this paper, an algebraic system is established on MP~M system, and algebraic abstraction of MP~M system is given. The algebraic properties of MP~M system are discussed.In this paper, we also study the subdirect product of the algebraic system and its relationship with some other algebraic systems.
【作者单位】： 南京航空航天大学信息科学与技术学院 南京航空航天大学信息科学与技术学院 南京航空航天大学信息科学与技术学院
【基金】：计算机软件新技术国家重点实验室(南京大学)开放课题：数据库中的不完全信息与不一致信息研究 973计划 “海量信息系统规律、模型和维护机理研究”子课题海量信息系统知识与管理研究(G1999032701)
【分类号】：O141.1

【参考文献】

相关期刊论文 前1条

1 潘吟,吴望名;中介代数(英文)[J];数学研究与评论;1990年02期

【共引文献】

相关期刊论文 前10条

1 王海涛;徐静;康淑卫;王倩;;中介数学系统已建立,为什么还会产生模糊数学危机[J];纯粹数学与应用数学;2011年06期

2 成伟君;;高等数学中“抛球悖论”初探和启发[J];成功(教育);2010年07期

3 莫志浩;中介命题系统MP推理规则的独立性问题[J];解放军理工大学学报(自然科学版);2001年05期

4 潘正华;;中介命题逻辑的一种无穷值语义模型及其意义[J];计算机研究与发展;2008年S1期

5 徐雯霞;刘练珍;;MP~M中介代数的性质[J];江南大学学报(自然科学版);2009年04期

6 成伟君;;歌德尔不完备性定理的初步探究[J];佳木斯教育学院学报;2010年04期

7 苏发慧;;模糊集的2个错误[J];吉首大学学报(自然科学版);2012年02期

8 程天笑;潘正华;王岑;;基于中介逻辑的近似推理[J];计算机工程与应用;2009年21期

9 王岑;潘正华;程天笑;;基于中介逻辑的模糊知识推理的搜索处理[J];计算机工程与应用;2009年21期

10 张胜礼;潘正华;;中介命题逻辑一种新的无穷值语义模型及意义[J];计算机工程与应用;2010年31期

相关会议论文 前3条

1 陈其楼;潘正华;;谓词逻辑中有关函数及其部分性质的形式描述[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

2 毛宇光;徐洁磐;周勇;;不完全信息数据库的逻辑[A];第十七届全国数据库学术会议论文集（研究报告篇）[C];2000年

3 毛宇光;徐洁磐;刘滔;周勇;;用于不完全信息数据库的中介逻辑演算系统MP~M[A];第十八届全国数据库学术会议论文集（研究报告篇）[C];2001年

相关博士学位论文 前4条

1 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年

2 洪龙;中介真值程度的度量及其在计算机系统结构研究中的应用[D];南京航空航天大学;2006年

3 周勇;逻辑程序及其在安全协议验证中的应用[D];南京航空航天大学;2006年

4 徐敏;基于数据挖掘的Web信息检索研究[D];南京航空航天大学;2006年

相关硕士学位论文 前10条

1 张丽珍;基于中介逻辑的模糊信息处理的研究[D];江南大学;2010年

2 贾海涛;模糊知识表示及模糊推理的研究[D];江南大学;2011年

3 杨婷婷;基于中介真值程度度量的图像分割方法研究[D];南京邮电大学;2012年

4 谢丁;基于MMTD的模糊语义量化研究[D];南京邮电大学;2012年

5 韩波;不完全信息数据库研究[D];南京航空航天大学;2003年

6 贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年

7 黄川;非线性信念变化的研究[D];南京航空航天大学;2004年

8 皋军;基于模糊理论的数据挖掘技术的研究与应用[D];南京航空航天大学;2004年

9 金仁康;用于不完全信息数据库的逻辑系统研究[D];南京航空航天大学;2004年

10 潘娜;不完全信息系统的理论研究[D];南京航空航天大学;2005年

【相似文献】

相关期刊论文 前10条

1 毛宇光,朱剑英,顾红芳;中介逻辑演算系统MP~N及MF~N[J];模糊系统与数学;1999年02期

2 莫志浩;中介命题系统MP推理规则的简化[J];解放军理工大学学报(自然科学版);2001年01期

3 蒋清福;“中介原理”初论[J];探索;1987年04期

4 谭乃;MP~*系统中命题联结词的完全性[J];石油天然气学报;1987年02期

5 陈炜,王雨田;归纳问题:休谟的挑战和中介逻辑的解释[J];现代哲学;1988年02期

6 姚楠,顾红芳,肖奚安;MP~* 中的等值完全析取范式[J];南京航空航天大学学报;1998年04期

7 侯维民,董春霞;谈高等代数理论的三条主线[J];天水师范学院学报;2004年05期

8 刘粤生，方军雄;类比逻辑、中介逻辑与悖论──兼论黄展骥的一分为三逻辑[J];天府新论;1996年05期

9 周健勇;;命题演算系统S的概率模型[J];数学的实践与认识;2006年12期

10 施庆生，，张东摩;基于中介逻辑的多模态逻辑系统[J];南京航空航天大学学报;1996年01期

相关会议论文 前10条

1 孙爱国;赵立军;赵贵仁;;L-Fuzzy正规子群的刻划[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

2 毛宇光;徐洁磐;刘滔;周勇;;用于不完全信息数据库的中介逻辑演算系统MP~M[A];第十八届全国数据库学术会议论文集（研究报告篇）[C];2001年

3 王保红;魏屹东;;对抽象代数的哲学审视[A];山西大学2008年全国博士生学术论坛（科学技术哲学）[C];2008年

4 陆秋君;吴望名;;Post代数的Fuzzy滤子和Fuzzy同余[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

5 赵立军;王希文;;L—Fuzzy子环的L—Fuzzy理想的刻划[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

6 江军;舒适;黄云清;肖映雄;;一类求解二维三温辐射热传导方程的保对称有限体元方法[A];第七届全国水动力学学术会议暨第十九届全国水动力学研讨会文集（上册）[C];2005年

7 武彦平;;通信距离受限的进程代数研究[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年

8 徐振东;;基于灰代数系统的灰区间预测模型[A];第19届灰色系统全国会议论文集[C];2010年

9 张衡;张武;;三维抛物型初边值问题的块三对角可扩展并行算法[A];2007年全国开放式分布与并行计算机学术会议论文集(上册)[C];2007年

10 陆世潮;孟小峰;林灿;王宇;;OrientX中XQuery的导航式实现[A];第二十一届中国数据库学术会议论文集（研究报告篇）[C];2004年

相关重要报纸文章 前4条

1 金_g;IT自考学习资源大搜索（一）[N];中国电脑教育报;2002年

2 庞引明;XML数据库：最新进展和发展方向[N];计算机世界;2004年

3 尤一浩;2002年系统分析员考试纪实[N];中国电脑教育报;2002年

4 尤一浩 司文全;中软考系统分析员全揭秘[N];计算机世界;2001年

相关博士学位论文 前10条

1 王昌达;隐通道可计算性的研究[D];江苏大学;2006年

2 马盈仓;命题泛逻辑的演算理论及推理研究[D];西北工业大学;2006年

3 肖映雄;代数多重网格算法研究及其在固体力学计算中的应用[D];湘潭大学;2006年

4 梁吉业;基于粗糙集与概念格的智能数据分析方法研究[D];中国科学院研究生院（计算技术研究所）;2004年

5 於遒;若干代数系统的自同构与导子及局部性质[D];中国矿业大学;2008年

6 周湘南;与剩余格相关的几类逻辑代数系统的研究[D];湖南大学;2008年

7 单美静;求解非线性实代数系统的混合算法研究[D];华东师范大学;2008年

8 王继华;几类具有退化奇点的平面可积系统的扰动[D];上海交通大学;2012年

9 梁铁林;面向几何对象语言的设计与实施[D];中国科学技术大学;2007年

10 王利东;基于粗糙集与公理模糊集的形式概念分析[D];大连理工大学;2009年

相关硕士学位论文 前10条

1 张金凤;R_0代数的两类特殊元及其应用[D];陕西师范大学;2011年

2 张丽珍;基于中介逻辑的模糊信息处理的研究[D];江南大学;2010年

3 马自翥;代数系统与幺函子范畴[D];浙江大学;2005年

4 黄文涛;在数据挖掘中概念格的理论研究[D];兰州理工大学;2007年

5 金仁康;用于不完全信息数据库的逻辑系统研究[D];南京航空航天大学;2004年

6 郦可;或—符合代数系统中的表格方法及其应用[D];浙江大学;2006年

7 肖林荣;近代数字理论中的特殊运算及其应用研究[D];浙江大学;2005年

8 蒋义勇;基于约束概念格的离群数据挖掘方法及应用[D];太原科技大学;2007年

9 代美丽;孤立子方程的可积系统及扩展可积系统的若干研究[D];山东科技大学;2007年

10 王欣欣;频繁加权概念格及天体光谱关联知识挖掘系统[D];太原科技大学;2009年

本文编号：1760208