聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 超协调限制逻辑的计算复杂性分析
出处:软件学报 1998年第11期 839-844,共6页
摘要:超协调限制逻辑LPc是一种同时具有非单调性和超协调性的非经典逻辑,它可作为在不完全与不协调知识下常... 显示全部
关键词: 悖论逻辑 限制逻辑 计算复杂性 非单调性
在线阅读 下载全文
期刊文章 法律可废止性理念的思想渊源
出处:法律方法 2016年第2期162-176,
摘要:作为概念的可废止性,最早由哈特引入法哲学领域,却是在论证理论、认识论与逻辑学等领域获得广泛关注之后,才... 显示全部
关键词: 可废止性 初显性 非单调性 衡平 规范的一般化
在线阅读 下载全文
期刊文章 受限的proflog语言及其表推演过程语义
出处:广西师范大学学报:自然科学版 2003年第1期 27-33,共7页
摘要:Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义.表推演具有直观、灵活的特点,... 显示全部
关键词: 表推演 过程语义 非单调性 逻辑程序设计语言 证明论 扩展规则
在线阅读 下载全文
期刊文章 皮尔斯溯因推理探析
出处:内蒙古农业大学学报:社会科学版 2007年第5期 239-241,共3页
摘要:溯因推理越来越受到逻辑学、计算机等领域的重视。皮尔斯最先提出溯因推理,他认为只有溯因推理才能产生新... 显示全部
关键词: 皮尔斯 溯因推理 最佳解释推论 非单调性
在线阅读 下载全文
找到4条结果
`