【摘 要】
:
鞠实儿(1998)提出的一个基于开放世界预设的3-值逻辑系统(SLO),试图描述开放世界预设下知识表达和推理的逻辑结构. 它的特点是其否定词与规范的3-值语句逻辑不同。该系统有7
论文部分内容阅读
鞠实儿(1998)提出的一个基于开放世界预设的3-值逻辑系统(SLO),试图描述开放世界预设下知识表达和推理的逻辑结构. 它的特点是其否定词与规范的3-值语句逻辑不同。该系统有7 个公理,具有函数完备性和系统完备性。本文通过把它化为一个代数系统,证明它按自然序是格,但不是有补的。最后,把它与Lukasiewicz 逻辑作比较。
其他文献
结合“3.15”消费者权益日的主题——消费与民生,申鹭达卫浴发起“以旧换新”节水环保活动,以实际行动实现节水节能的民生问题。当日,同类型旧产品可换购申鹭达同类型新产品,以旧
随着如今社会经济以及城市化的快速发展,各种各样的建设工程变得越来越多,而在建设工程中起到安全质量监督管理作用的工程造价管理的重要性更是在逐步得提高。作为建设工程中
本刊讯2月5日一7日,和成卫浴高调亮相南安泵阀水暖交易会,首次参展的和成卫浴吸引了大量南安的经销商前往其展位参观、洽谈。和成卫浴于1931年创立于台湾莺歌,1993年进入中国市
本刊讯 2010年11月13日,位于“中山第建材黄金商圈”富逸装饰广场的杜拉维特Duravit中山展厅盛大开幕。开幕当天,杜拉维特中国区销售及市场总监王晓刚先生亲临现场为展厅剪彩揭
文章以温州市少儿图书馆近年来举办的校园活动为案例,从活动产生背景、具体做法、基本成效及推广普及等方面进行阐述和分析,以自身的实践经验说明图书馆与学校合作办活动是一
通过对手术量较大的6个病种的医疗费用与定额付费标准的比较,了解病种医疗费用的影响因素,并提出合理的控费措施:加强合理用药监管,缩短手术时间,降低平均住院日,规范医用材
"互联网+"作为国家发展战略正与我国渔业进行广泛而有深度的融合,"互联网+水产养殖"已呈现出加速发展的态势,这对促进我国渔业转型升级,实现渔业转方式调结构的发展目标具有
本刊讯2月20日,香港金乐派国际有限公司暨佛山市金乐派门窗系统建材有限公司新厂房在佛山空军农场开业。新厂房面积接近2万平方米,其中为员工修建的娱乐场所达到1500平方米,该集
在单因素试验的基础上,选取麦芽糖醇添加量、凝固剂(明胶)添加量和淡奶油添加量为自变量,感官评定得分为响应值,利用Box-Behnken中心组合设计原理和响应面分析法,对低糖提拉
文章通过SWOT对我国武术产业进行分析与发展战略研究,主要从外部环境的机遇、外部环境的威胁、内部环境的优势以及内部环境的劣势来研究武术产业的现状。分析得出我国武术产