基于开放世界预设的3-值逻辑

来源 :863计划智能计算机主题学术会议 | 被引量 : 0次 | 上传用户：andyvssammi

【摘要】

：

本文致力于研究定义在满足开放世界预设的可能世界集合上的命题和逻辑结构.在文献[7]的基础上,本文发展出一种基于开放世界预设的3-值语句逻辑系统(简称SLO);给出SLO的语义理

【作者】

：

鞠实儿刘虎

【机构】

：

教育部人文社科重点研究基地中山大学逻辑与认知研究所(广州)

【出处】

：

863计划智能计算机主题学术会议

【发表日期】

：

2001年2期

【关键词】

：

否定 3-值逻辑封闭世界预设开放世界预设 SLO语义理论

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文致力于研究定义在满足开放世界预设的可能世界集合上的命题和逻辑结构.在文献[7]的基础上,本文发展出一种基于开放世界预设的3-值语句逻辑系统(简称SLO);给出SLO的语义理论,它的特征是:当一个语句为假时,它的否定的真值不确定;并构造相应的形式公理系统,证明该形式系统具有一致性,有效性和完全性.

其他文献

厦航机务培训中心以创新求发展

近日,厦航机务培训中心首次采用机考系统进行波音737—700/800ME I类机型理论电子化考试,达到了预期效果。这是该中心成为CCAR 66部民用航空器维修人员执照考点以来的又一项

期刊

机务培训中心新员工培训飞机维修技能培训机型工程部专项

亚太地区低成本航空的维修策略

随着亚太地区低成本航空公司机队规模的不断壮大，其维修策略开始发生转变，不再是全部外包。

期刊

亚太地区低成本航空维修策略机队规模转变外包

基于距离分析的区域自动分解法

区域分解是平行计算中的一个步骤.基于距离分析的区域自动分解方法,该法利用复杂表面的有限元网格几何信息,通过向前递推方式求取两点之间的距离,根据距离的大小对节点进行聚

会议