论文部分内容阅读
研究了专家系统中知识的多重表示情况下推理的非单调真值维护。指出了专家系统中知识的多重表示的必要性，以及知识的多重表示情况下可能出现的推理的不一致性。着重讨论了知识的层次表示和优先级的划分。基于领域知识的优先级，分层（Stratified）ATMS被用来实现推理的非单调真值维护。给出了StratifiedATMS的推理和真值维护的算法。
The nonmonotonic true value maintenance of inference under the multiple representation of knowledge in expert system is studied. The necessity of multiple representations of knowledge in expert systems and the inconsistencies in reasoning that may arise in the context of multiple representations of knowledge are pointed out. It focuses on the level of knowledge and the division of priority. Stratified ATMS is used to achieve the non-monotonic truth maintenance of reasoning based on the prioritization of domain knowledge. The algorithm of StratifiedATMS inference and truth maintenance is given.