【作者】 陈革； 孙振河； 周广田；
【机构】 黑龙江大学计算机科学技术学院!150080； 黑龙江省电子工贸公司!150020；
【摘要】 提出一种基于逻辑的知识库维护方法 ,并给出相应的算法。文中例子虽来自文献〔2〕,但对其它类似的系统亦有实用价值更多还原
