聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 超协调逻辑(Ⅱ)—新超协调逻辑研究
出处:计算机科学 1994年第6期 1-7,共7页
摘要:这是关于超协调逻辑研究的第二篇。文中,基于对超协调逻辑应具有一定共性的理解,给出一个超协调逻辑的新... 显示全部
关键词: 超协调逻辑 经典逻辑
期刊文章 不协调知识的缺省推理
出处:软件学报 2004年第7期 1030-1041,共12页
摘要:提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致... 显示全部
关键词: 缺省逻辑 超协调逻辑 四值逻辑 双缺省理论
期刊文章 基于四值语义的缺省逻辑
出处:计算机学报 2005年第9期 1447-1458,共12页
摘要:基于公式变换,给出一组缺省理论的变换方法,将命题语言L中的缺省理论变换到对应的命题语言L+中,保证了所得... 显示全部
关键词: 缺省逻辑 四值逻辑 非单调逻辑 超协调逻辑 非单调超协调逻辑
在线阅读 下载全文
期刊文章 超协调限制逻辑
出处:计算机学报 1995年第9期 665-670,共6页
摘要:本文给出了一阶超协调限制逻辑LPs的定义,并证明了它与悖论逻辑(LP与LPm)和限制逻辑(CIRC... 显示全部
关键词: 超协调逻辑 非单调逻辑 悖论逻辑 限制逻辑
期刊文章 超协调逻辑(Ⅳ)—非单调超协调逻辑研究
出处:计算机科学 1995年第1期 4-9,共6页
摘要:这是关于超协调逻辑研究的末篇,文中分析了超协调逻辑与非单调逻辑的关系,并提出非单调超协调逻辑作为一... 显示全部
关键词: 超协调逻辑 非单调逻辑 人工智能
期刊文章 超协调逻辑的统一基础
出处:模式识别与人工智能 1995年第3期 210-216,共7页
摘要:本文首先基于对超协调性的分析给出一个超协调逻辑的分类,并提出一个超协调逻辑的新定义,由此容易看出各... 显示全部
关键词: 超协调逻辑 非单调逻辑 人工智能
期刊文章 超协调逻辑(Ⅲ)—超协调性的逻辑基础
出处:计算机科学 1995年第1期 1-4,共4页
摘要:这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系... 显示全部
关键词: 超协调逻辑 超协调性 优先语义
期刊文章 悖论逻辑及其表演算
出处:计算机学报 1998年第S1期17-23,共7页
摘要: 修论逻辑LP是一个超协调逻辑,极小悖论逻辑LPm是一个LP的非单调逻辑扩展.本文给出了一阶LP和LPm的表演算... 显示全部
关键词: 表演算 超协调逻辑 非单调逻辑 悖论逻辑 极小悖论逻辑
在线阅读 下载全文
期刊文章 超协调逻辑(I)—传统超协调逻辑研究
出处:计算机科学 1994年第5期 1-8,共8页
摘要:<正>这是一个关于超协调逻辑研究系列的首篇,本文中,我们首先说明超协调逻辑的基本概念及其发展背景,根据对... 显示全部
关键词: 超协调逻辑 分域逻辑 博论逻辑
找到9条结果
`