一种基于集合符号的自动推理扩展方法

来源 :计算机研究与发展 | 被引量 : 0次 | 上传用户：Kingt1

【摘要】

：

在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中

【作者】

：

刘全伏玉琛孙吉贵崔志明龚声蓉凌兴宏

【机构】

：

苏州大学计算机科学与技术学院,南京大学软件新技术国家重点实验室,吉林大学符号计算与知识工程教育部重点实验室

【出处】

：

计算机研究与发展

【发表日期】

：

2007年8期

【关键词】

：

集合符号自动推理 TABLEAU 经典逻辑非经典逻辑 set sign automated reasoning tableau classical logi

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基于集合符号的自动推理系统,在系统中使用集合符号方法,只需要在规则库中增加推理规则,即可生成规则程序,系统本身不需要任何的修改,因此一些适合于经典逻辑的推理方法和技巧就可以很容易地应用到多值逻辑、模态逻辑、直觉逻辑等非经典逻辑,也可以进一步推广到无穷值逻辑和含模糊量

其他文献

可可托海三号脉等工业遗迹通过第二批国家工业遗产认定

<正>2018年11月21日,在工信部公布的第二批国家工业遗产名单中,新疆有色可可托海三号脉露天开采矿坑、阿依果孜矿硐及采运设备、87-66选矿厂厂房主体及相关设备、水电站厂房

期刊

工业遗产工业遗迹可可托海

属性序列图：形式语法和语义

在基于场景的软件工程中，时态逻辑被广泛地用来推理并发系统的正确性．模型检验技术允许自动检验系统模型和给定的属性之间的一致性，这些属性常用线性时态逻辑公式来表示．不幸的是

期刊

时态逻辑场景属性序列图Büchi自动机模型检验temporal logics scenario property sequence cha

让农村乡土人才早日步入小康——湖北省竹溪县多措并举服务农村乡土人才

湖北省竹溪县，采取免费送乡土人才培训、鼓励乡土人才返乡创业、帮助乡土人才去沿海就业等多种措施助推乡土人才致富

期刊