聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 利用重写系统研究缺省逻辑
出处:计算机学报 1994年第5期 354-360,共7页
摘要:本文在布尔环重量写系统中研究了缺省逻辑。一个缺省理论等价于一个布尔环方程组。本文还分析了命题缺省理... 显示全部
关键词: 非单调推理 缺省逻辑 重写系统
期刊文章 关于非单调逻辑
出处:计算机科学 1988年第4期
摘要:<正> 一、非单调推理的提出逻辑是研究思维与论证的科学。它的目的是研究人们在推理过程中的思维规律。并利... 显示全部
关键词: 非单调逻辑 自动推理 非单调推理 推理方法 一阶逻辑 谓词变量 推理过程 知识表示 人工智能技术 推理规则
期刊文章 计算机自动推理——它的兴起,萧条与复兴
出处:计算机科学 1988年第4期
摘要:<正> 一关于计茸机自动推理, 人工智能是研究如何使用电子计算机模拟或实现人的智胎行为的一门科学。人的推... 显示全部
关键词: 自动推理 计算机科学 计算机模拟 推理系统 智能活动 重写规则 计算机实现 非单调推理 机器学习 非单调逻辑
期刊文章 一种不一致本体的可废止推理系统
出处:华中科技大学学报:自然科学版 2012年第1期 40-44,共5页
摘要:利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑... 显示全部
关键词: 语义 本体 不一致性 非单调推理 描述逻辑 可废止逻辑
在线阅读 下载全文
期刊文章 “纠正”的逻辑研究述评
出处:学术论坛 2012年第10期10-13,共4页
摘要:文章介绍了纠正现象这样一种人类常见的推理思维现象,介绍了纠正现象在逻辑学中的研究历史,并且探讨了纠... 显示全部
关键词: 纠正 非单调推理 信念修正 非形式推理 反馈推理
在线阅读 下载全文
期刊文章 可废除推理研究
出处:计算机科学 1996年第2期 11-16,共6页
摘要:<正>非单调推理是针对常识推理而提出的,但是标准非单调逻辑都存在可计算性问题,如何提出一种 显示全部
关键词: 人工智能 可废除推理 非单调推理
在线阅读 下载全文
找到6条结果
`