充要搜索图相关硕士博士期刊学术论文

本文讨论知识库的组织和目标求解.首先用一个知识从属—调用图(KSIG)表示知识库,提出目标求解算法,并证明了生成的目标解树与SDL树......