期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

归纳法推理中的各种推理策略

下载PDF

导出

摘要分元符删除，项推广；无关式删除；交融是归纳法推理系统中一些重要的推理策略，文中逐一介绍了这些推理策略，给出了使用这些推理策略的方法，列出了不同推理策略的编译ＬＩＳＰ语言实现。

作者李卫华张黔

出处《软件学报》 EI CSCD 北大核心 1996年第A00期551-557,共7页 Journal of Software

关键词归纳法推理推理策略人工智能

分类号 TP18 [自动化与计算机技术—控制理论与控制工程]

引文网络
相关文献

1侯家利,路羽中.归纳法推理系统模式自动生成的一种实现途径[J].武汉科技学院学报,2004,17(8):75-76.
2李卫华,张黔.归纳法推理中的项重写策略[J].软件学报,1996,7(A00):565-571.
3金涛,刘瑛睿.归纳法推理中若干问题的探讨[J].计算机工程与应用,2000,36(5):12-14. 被引量：1
4李卫华,张黔,刘娟,石自力.归纳法推理系统[J].计算机学报,1996,19(3):230-236. 被引量：3
5李卫华,张黔.归纳法推理中的子句简化策略[J].软件学报,1996,7(A00):558-564.
6张黔.并行归纳法推理系统[J].计算机应用研究,1998,15(4):5-9.
7李卫华,张黔,张亮,刘娟.归纳法模式的自动生成[J].软件学报,1996,7(3):168-174. 被引量：1

软件学报

1996年第A00期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部