聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 超协调限制逻辑
出处:计算机学报 1995年第9期 665-670,共6页
摘要:本文给出了一阶超协调限制逻辑LPs的定义,并证明了它与悖论逻辑(LP与LPm)和限制逻辑(CIRC... 显示全部
关键词: 超协调逻辑 非单调逻辑 悖论逻辑 限制逻辑
期刊文章 超协调限制逻辑的计算复杂性分析
出处:软件学报 1998年第11期 839-844,共6页
摘要:超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑,它可作为在不完全与不协调知识下常... 显示全部
关键词: 悖论逻辑 限制逻辑 计算复杂性 非单调性
在线阅读 下载全文
期刊文章 悖论逻辑及其表演算
出处:计算机学报 1998年第S1期17-23,共7页
摘要: 修论逻辑LP是一个超协调逻辑,极小悖论逻辑LPm是一个LP的非单调逻辑扩展.本文给出了一阶LP和LPm的表演算... 显示全部
关键词: 表演算 超协调逻辑 非单调逻辑 悖论逻辑 极小悖论逻辑
在线阅读 下载全文
找到3条结果
`