知识库更新的一种可编程实现的方法
| Data(s) |
2005
|
|---|---|
| Resumo |
讨论了知识库是有限子句集时的更新过程,给出了这种情况下知识库更新的一种可编程实现的方法.首先讨论了求极大协调子集的基本思想和方法,然后给出了求极大协调子集的完全过程和非完全过程,证明了它们的正确性;讨论了知识库更新的实现方法;最后和相关工作进行了比较. |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
栾尚敏; 戴国忠; 李未.知识库更新的一种可编程实现的方法,中国科学E辑,2005,35(8):785-797 |
| Palavras-Chave | #知识库 #知识库更新 #子句 #规则 |
| Tipo |
期刊论文 |
