知识库一致性相关论文
介绍飞机结构件数控加工工艺决策专家系统中，工艺决策知识的组织与管理的思想和方法，并讨论了知识库的一致性维护问题。
The idea a......
鉴于已有的描述逻辑ALC中ABOX反绎推理算法需要转化到FOL上处理，涉及了大量变元和Skolem项的使用。ALC-Tableau可以避免大量变元和......
