期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
一种多值规则量词公式的tableau的方法
1
作者 刘全 孙吉贵 窦全胜 《计算机工程》 CAS CSCD 北大核心 2003年第8期128-130,136,共4页
在多值逻辑中，含有量词的tableau方法具有统一的扩展规则，并已通过可靠性和完备性的证明。但是由于扩展后的分枝非常庞大，使机器实现非常困难。文章通过对规则量词公式与一阶经典量词公式的对应关系的研究，使二者使用统一的扩展规则。
关键词 多值规则公式 量词 TABLEAU
下载PDF
一种多值规则量词公式的Tableau的方法
2
作者 刘全 孙吉贵 《广西师范大学学报（自然科学版）》 CAS 2003年第1期101-105,共5页
在多值逻辑中,含有量词的Tableau方法具有统一的扩展规则,并已通过可靠性和完备性的证明,但是由于扩展后的分枝非常庞大,使机器实现非常困难.通过对规则量词公式与一阶经典量词公式的对应关系的研究,使二者使用统一的扩展规则.
关键词 多值规则量词公式 TABLEAU方法 多值逻辑 扩展规范 人工智能 自动定理证明
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部