知识库系统开发环境KBDE的基础研究

本文讨论知识库开发环境KBDE的基础研究工作。KBDE以元级逻辑程序设计为基础,从而能够适应不同的知识表示、推理策略、解释策略;另一方面,我们研究的部分计算机制明显提高了元级描述的运行效率,保证了KBDE的实用性。本文将着重讨论KBDE的结构、部分计算机制和KBDE内核。