Π系统中公式的真值函数及真度分布

发布时间：2018-08-02 11:56

【摘要】：以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况。
[Abstract]:In view of the formula generated by a single atom, the problem of the functional decision formula (VDF problem) proposed by Professor Wang Guojun is solved, that is, the function satisfying what conditions can be derived from the logical formula. Or the characteristics of the truth function of the logical formula; then the formula set generated by a single atom is classified in detail according to the relation of logical equivalence; finally, the distribution of the truth degree of the formula generated by a single atom is given.
【作者单位】： 聊城大学数学科学学院;
【基金】：教育部科学技术研究重点项目No.206089~~
【分类号】：O141.1

【参考文献】

相关期刊论文 前2条

1 任芳;L~*系统中由单个原子生成的公式的真值函数的特征[J];工程数学学报;2005年03期

2 王国俊;MV-代数、BL-代数、R_0-代数与多值逻辑[J];模糊系统与数学;2002年02期

【共引文献】

相关期刊论文 前10条

1 许文艳,韩诚;R_0代数中的真布尔元[J];宝鸡文理学院学报(自然科学版);2003年04期

2 苏忍锁;蕴涵格、弱R_o代数与正则剩余格[J];宝鸡文理学院学报(自然科学版);2004年02期

3 尤飞,冯艳宾,李洪兴;模糊蕴涵算子及其构造(Ⅰ)——模糊蕴涵算子及其性质[J];北京师范大学学报(自然科学版);2003年05期

4 尤飞,冯艳宾,王加银,李洪兴;模糊蕴涵算子及其构造(Ⅱ)——模糊蕴涵算子的伴随对及其圈乘算子[J];北京师范大学学报(自然科学版);2004年02期

5 张宇卓,李洪兴;基于变权理论的模糊推理前提约化的一类方法[J];北京师范大学学报(自然科学版);2005年02期

6 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

7 刘练珍,李开泰;FI代数同构于一族全序FI代数的直积的子代数的条件[J];纯粹数学与应用数学;2004年01期

8 吴恒洋,韩诚;非全序R_0代数的结构[J];纯粹数学与应用数学;2004年01期

9 裴道武,姜慧;一个新的模糊谓词演算形式系统[J];东北师大学报(自然科学版);2003年01期

10 王国俊;宋建社;;命题逻辑中的程度化方法[J];电子学报;2006年02期

相关会议论文 前8条

1 霍书全;鞠实儿;;SLO的代数结构[A];开放类逻辑论文集[C];2004年

2 王茹;王国俊;;一种新的理论的相容度及近似推理方法[A];第六届中国不确定系统年会论文集[C];2008年

3 郭秀敏;王国俊;;关于描述逻辑中不动点语义的讨论[A];第六届中国不确定系统年会论文集[C];2008年

4 段巧林;王国俊;;根与几种命题逻辑系统中的近似推理[A];第六届中国不确定系统年会论文集[C];2008年

5 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年

6 潘小东;徐扬;;基于Lukasiewicz蕴涵代数的模糊命题逻辑的语法理论[A];第六届中国不确定系统年会论文集[C];2008年

7 胡明娣;于鹏;王国俊;;蕴涵格的正规MP-滤子与素滤子[A];第六届中国不确定系统年会论文集[C];2008年

8 王国俊;;Fuzzy逻辑与有序代数[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年

相关博士学位论文 前10条

1 樊磊;Domain理论中若干问题的研究[D];首都师范大学;2001年

2 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年

3 赵光峰;格蕴涵代数与图的升分解问题的研究[D];西南交通大学;2002年

4 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

5 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

6 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

7 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

8 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

9 沈晖;基于知识管理的企业集成支撑技术研究[D];清华大学;2003年

10 刘晓红;关于企业人力资源评价信息处理系统的研究[D];西南交通大学;2004年

相关硕士学位论文 前10条

1 任芳;互为伴随的三角模与蕴涵算子及蕴涵算子的逼近问题[D];陕西师范大学;2001年

2 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年

3 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年

4 李骏;一类n值命题逻辑中命题的真度理论及近似推理理论[D];陕西师范大学;2002年

5 常瑶芝;L～*谓词逻辑与R_0代数性质新探[D];陕西师范大学;2003年

6 王龙春;L～*系统中的一类广义重言式与L～*系统的一种扩张[D];陕西师范大学;2003年

7 兰蓉;t-模与蕴涵算子的同构及广义重言式理论[D];陕西师范大学;2003年

8 张花荣;代数系统的可嵌入性[D];陕西师范大学;2003年

9 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

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

【二级参考文献】

相关期刊论文 前10条

1 吴洪博;L~*系统的一种改进系统L_0~*[J];纯粹数学与应用数学;2001年01期

2 任芳;R_0-代数上的同余关系[J];工程数学学报;2001年01期

3 王向云;赋值为R_0-模糊集的逻辑系统[J];工程数学学报;2001年01期

4 何颖俞,王国俊;L~*-Lindenbaum代数的结构与L~*公理系统的简化形式[J];工程数学学报;1998年01期

5 王国俊;修正的Kleene系统中的Σ-(α-重言式)理论[J];中国科学E辑;1998年02期

6 王国俊;模糊推理的全蕴涵三I算法[J];中国科学E辑;1999年01期

7 裴道武,王国俊;形式系统鈦~*的完备性及其应用[J];中国科学E辑;2002年01期

8 王国俊;模糊命题演算的一种形式演绎系统[J];科学通报;1997年10期

9 程国胜;R_0代数中的滤子与理想[J];模糊系统与数学;2001年01期

10 王国俊;MV-代数、BL-代数、R_0-代数与多值逻辑[J];模糊系统与数学;2002年02期

相关会议论文 前2条

1 李志伟;李桂华;;Fuzzy蕴涵代数的若干性质[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

2 裴道武;;R_0代数中的MP滤子与同余关系[A];模糊集理论与模糊应用专辑——中国系统工程学会模糊数学与模糊系统委员会第十届年会论文选集[C];2000年

【相似文献】

相关期刊论文 前10条

1 马华孝;;沃尔什函数序数转换的逻辑分析与网络设计[J];四川大学学报(工程科学版);1980年02期

2 冯玉琳;程序形式语义的一致性[J];中国科学技术大学学报;1983年01期

3 刘清;;一种逐步逆推设计程序的方法[J];计算机科学;1983年06期

4 王士铁;一种新的输入格式[J];厦门大学学报(自然科学版);1984年02期

5 唐稚松,郑茂松,李新;二级形式语义与语义导引编译[J];中国科学A辑;1985年06期

6 郭炳炎;专家系统中的非单调推理[J];山西大学学报(自然科学版);1986年03期

7 李凤鸣;狭谓词逻辑的布尔模型[J];内蒙古师范大学学报(自然科学汉文版);1988年01期

8 邹开其,徐扬;一类新的Fuzzy逻辑公式的化简方法[J];大连海事大学学报;1989年03期

9 潘久辉;;部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解[J];中南大学学报(自然科学版);1989年02期

10 刘清;基于时态逻辑演算的程序验证[J];南昌大学学报(理科版);1990年03期

相关会议论文 前10条

1 杨学渊;;辩证命题的语形、语义和语用分析[A];1993年逻辑研究专辑[C];1993年

2 张金兴;;类推是类比推理吗?[A];1994年逻辑研究专辑[C];1994年

3 何庸;;《广义模态逻辑》值得细读[A];1995年逻辑研究专辑[C];1995年

4 谢先仁;;论辩证矛盾和逻辑矛盾的区别及识别[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

5 邹崇理;;范畴语法与加标演绎系统[A];1997年逻辑研究专辑[C];1997年

6 王珏;崔佳;;归纳机器学习的研究[A];1999年中国智能自动化学术会议论文集（上册）[C];1999年

7 田国会;刘长有;徐心和;;离散事件动态系统理论的时态逻辑研究方法[A];1996中国控制与决策学术年会论文集[C];1996年

8 左小德;梁云;廖志刚;;一种推理系统及其启发式算法[A];1998中国控制与决策学术年会论文集[C];1998年

9 康巧茹;;探讨描述禁止类型法律规范命题内涵语义的方法[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

10 倪鼎夫;;为霞尚满天[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

相关重要报纸文章 前7条

1 臧乐源;提高学生的逻辑素养[N];中国教育报;2000年

2 本报特约记者　何天进　董聚山　通讯员　李祖斌　记者　喻国英;博士参谋砺剑尖兵[N];光明日报;2004年

3 本报记者 袁跃;遏制国有资产流失“路在何方”[N];财会信报;2005年

4 宋俊岭;独处场所——当今城市的缺项[N];中国房地产报;2007年

5 郭珊;假如王小波活到今天[N];南方日报;2007年

6 彭劲荣;法律适用中的解释与推理[N];人民法院报;2007年

7 上海交通大学法学院教授、博士研究生导师 张绍谦;渎职犯罪案件中因果关系的判断[N];检察日报;2009年

相关博士学位论文 前10条

1 姚绍文;语义化Web的关键技术及其应用研究[D];电子科技大学;2002年

2 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年

3 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年

4 刘全;基于tableau的自动推理研究[D];吉林大学;2004年

5 孟丹;基于格蕴涵代数的格值逻辑系统的归结自动推理研究[D];西南交通大学;2004年

6 吴平;汉语部分句式的形式语义分析[D];北京语言大学;2005年

7 刘剑;传值进程与移动进程的模型检测方法[D];中国科学院研究生院（软件研究所）;2005年

8 王馨;基于实时规约的测试预言自动生成技术的研究[D];国防科学技术大学;2005年

9 方细明;量子计算的核磁共振实现[D];中国科学院研究生院（武汉物理与数学研究所）;1999年

10 彭新华;量子算法和量子信息处理的核磁共振实现[D];中国科学院研究生院（武汉物理与数学研究所）;2003年

相关硕士学位论文 前10条

1 曲文敬;Java语言的异常处理机制的公理语义[D];大连理工大学;2004年

2 李军波;Semantic Web的研究及其在网络教学系统中的应用[D];大连理工大学;2003年

3 刘振晗;基于广义归结的程序综合[D];大连理工大学;2005年

4 陈飞;基于指纹加密技术的网络身份认证研究及应用[D];南京信息工程大学;2005年

5 简丽;“别说”句式研究[D];北京语言大学;2005年

6 秦晓燕;关于PI证明的若干注记以及逻辑公式的真度理论[D];陕西师范大学;2005年

7 汪德刚;模糊模态命题逻辑及其广义重言式[D];辽宁师范大学;2005年

8 杜辉;基于归结原理的程序综合设计与实现[D];大连理工大学;2006年

9 黄丫;基于模型检测的可诊断性的形式化检验研究[D];吉林大学;2006年

10 张东晓;逻辑公式的语构真度和构造性三I算法[D];陕西师范大学;2006年

，

本文编号：2159353