四值逻辑的直观语义

来源 :北京大学 | 被引量 : 0次 | 上传用户:chenjianhao2009
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
四值逻辑在计算机科学和人工智能中有着重要的应用价值。然而,四值逻辑的应用受到了其不够直观的语义的限制。在本文中,我们将致力于为四值逻辑建立起一种直观的语义,来解决自然语言表述的推理不易被形式化为四值逻辑的问题。  在以往对四值逻辑语义的研究中,从自然语言表述的推理转化到四值逻辑的形式表达这一过程,始终缺乏一种规则,产生出的表达式往往也不直观。本文的主要贡献在于,我们建立的四值逻辑新语义,除相对直观外,还可以对矛盾进行有效的区分,从而指明超协调性与弱一致性是一个完备的四值逻辑的固有特性。这种新语义基于“事物都有两面性”的直观思维,在使用特定的连接词时,只需要理清我们对某一事物正反面的不同认知,便可以将自然语言表述的推理转化为四值公式组。最后,我们也可以看到,基于这种语义四值形式系统是直观、可靠而完备的。
其他文献
“当人大代表,要敢于为人民代言”“人大代表要敢于为民代言。”这是宜都市第四届人大代表、五眼泉乡弭水桥村党支部书记黄昌柱告诫自己的一句话。几年来,他耐心听取选民要求
学位
中等职业学校德育课程的创新具有多重意义,本文在讨论创新意义的基础上对实施中职德育教学创新的措施进行一定的探索,贯彻以人为本,改变陈旧的教学观念是进行良好创新的前提.
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
本文从定量和定性角度出发,利用Fan子方程法研究了一类具有五阶非线性项的修正的Kawahara方程,获得了其丰富的精确解,然后以推广的Fan子方程法为研究工具,以具有广泛应用背景
本文主要讨论离散广群的T性质,主要由3个章节组成。第一章主要是一些关于背景和历史的介绍,并且我们说明了这篇论文的动机。第二章是一些预备知识,在这一章我们罗列了一些关于离
本文讨论了时下金融经济以及风险管理中的热门话题信用估值调整(CVA,Credit Valuation Adjustment)的定价模型,并尝试对传统的定价模型提出改进。在传统的定价模型中,假设违约时
本文系统地讨论研究了一个新的随机过程类—网络马氏骨架过程,该随机过程是在解决网页重要性排序问题时被提出来的.   直观上,马氏骨架过程是一个以马氏链作为骨架结构的随
小学阶段的数学教学内容着重于对学生数学知识的启蒙,很多课程都是构建对于数学图形、数学概念的基本认知,想要让学生在今后的数学学习中能够轻松高效,小学阶段给学生打好基
煤田勘探事业单位人事改革的必然性1.符合事业单位经济体制改革总体目标近年来山东省加快推进各项人事制度改革,全省89%的事业单位实行了人员聘用制度,91%的工作人员签订了聘