期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
析取稳定模型和大胆辩论推理
1
作者 王克文 陈火旺 +1 位作者 吴泉源 肖侬 《中国科学（E辑）》 CSCD 1998年第3期268-273,共6页
将任意析取逻辑程序自然转化为一个辩论推理框架 ,大胆辩论推理的实现则由所有极大可接受假说刻画 ,从而提出了一种实现大胆辩论推理的析取逻辑程序系统 ,并得到了一些有意思的结果 ,特别是证明了大胆辩论推理可由析取稳定语义实现 .
关键词 辩论推理 析取稳定模型 人工智能 大胆辩论推理
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部