摘要
研究了专家系统中知识的多重表示情况下推理的非单调真值维护。指出了专家系统中知识的多重表示的必要性，以及知识的多重表示情况下可能出现的推理的不一致性。着重讨论了知识的层次表示和优先级的划分。基于领域知识的优先级，分层（Stratified）ATMS被用来实现推理的非单调真值维护。给出了StratifiedATMS的推理和真值维护的算法。
The nonmonotonic truth maintenance for multiple knowledge representation in expert system is studied in this paper. The necessity of multiple knowledge representation in expert system and the possibility of inconsistency of reasoning during this situation are pointed out.. Particularly,the stratified representation and the prioritization of knowledege are discussed. Based on the prioritization of domain theory, the stratified ATMS is used for the realization of nonmonoytonic truth maintenance in reasoning. The algorithms of reasoning and truth maintenance in the stratified ATMS are presented.
出处
《高技术通讯》
EI
CAS
CSCD
1997年第9期48-52,共5页
Chinese High Technology Letters
基金
国家自然科学基金
国家教委留学口国人员科研基金
关键词
专家系统
知识表示
人工智能
Expert system, Knowledge representation, Nonmonotonic reasoning, Nonmonotonic truth maintenance
