首页> 中文会议>2007全国理论计算机科学学术年会 >中介命题逻辑的一种无穷值语义模型及其意义

中介命题逻辑的一种无穷值语义模型及其意义

页面导航

摘要
著录项
相似文献
相关主题

摘要

中介逻辑(medium logic,ML)自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑.对于中介逻辑核心理论的中介命题逻辑系统,给出一种真值域为[0,1]的无穷值语义模型,研究了它的性质,并证明了中介命题逻辑在此模型下具有可靠性与完备性.此模型的存在表明,认定中介逻辑是一种三值逻辑的理由是不充分的.该模型更适合反映中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了一个基础.

著录项

来源
《2007全国理论计算机科学学术年会》|2007年|158-164|共7页
会议地点南宁
作者
潘正华;
展开▼
作者单位

中国计算机学会;

广西大学;

计算机研究与发展编辑部;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类人工智能理论;
关键词
中介命题逻辑; 三值模型; 有穷和无穷值模型; 完备性; 可靠性;

相似文献

中文文献
外文文献
专利

1. 中介命题逻辑一种新的无穷值语义模型及意义 [J] . 张胜礼 ,潘正华 . 计算机工程与应用 . 2010,第031期
2. 中介命题逻辑的一种无穷值语义模型及其意义 [J] . 潘正华 . 计算机研究与发展 . 2008,第0z1期
3. 中介命题逻辑一种改进的无穷值语义模型 [J] . 张胜礼 . 兴义民族师范学院学报 . 2011,第001期
4. 中介命题逻辑一种改进的无穷值语义模型 [J] . 张胜礼 . 兴义民族师范学院学报 . 2011,第001期
5. 二值命题逻辑F(Sn)在可证等价意义下的一般表示 [J] . 王永安 . 纺织高校基础科学学报 . 2008,第004期
6. 基于格值命题逻辑的语言真值不确定性推理方法 [C] . 潘小东 ,徐扬 . 第八届中国不确定系统年会暨第十二届中国青年信息与管理学者大会 . 2010
7. 基于中介逻辑无穷值语义模型的否定知识表示与处理 [A] . 程天笑 . 2009

中介命题逻辑的一种无穷值语义模型及其意义

摘要

著录项

相似文献

相关主题

期刊订阅