登录
注册
全部
期刊
图书
学位论文
会议论文
专利
多媒体
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
全部
书名
作者
栾尚敏
首页>找到“
栾尚敏
”相关的
2
条结果
栏目导航
全部(2)
知识库更新的一种可编程实现的方法
关键词:知识库 知识库更新 子句 规则
讨论了知识库是有限子句集时的更新过程,给出了这种情况下知识库更新的一种可编程实现的方法.首先讨论了求极大协调子集的基本思想和方法,然后给出了求极大协调子集的完全过程和非完全过程,证明了它们的正确性;讨论了知识库更新的实现方法;最后和相关工作进行了比较.
算法演化的形式归约及其性质(英文)
关键词:算法演化 归纳推理 极限
使用归纳过程说明算法的演化 ,建立了一阶语言语句集和算法的关系 ,并提出了启发式的归纳规则 .还提出了算法分析的概率式研究方法 .这种方法为有效算法的设计和自动算法设计提供了工具 .
1/1