论文部分内容阅读
研究了专家系统中知识的多重表示情况下推理的非单调真值维护。指出了专家系统中知识的多重表示的必要性，以及知识的多重表示情况下可能出现的推理的不一致性。着重讨论了知识的层次表示和优先级的划分。基于领域知识的优先级，分层ＡＴＭＳ被用来实现推理的非单调真值维护。给出了Ｓｔｒａｔｉｆｉｅｄ ＡＴＭＳ的推理和真值维护的算法。