NONMONOTONIC　TRUTH　MAINTENANCE　SYSTEMS

作     者：Yang Jie Shi Pengfei (Institute of Image Processing and Pattern Recognition) 

出 版 物：《Journal of Shanghai Jiaotong university(Science)》 (上海交通大学学报（英文版）)

年 卷 期：1996年第1卷第1期

页      面：83-87页

学科分类：12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：National Natural Science Foundation of China 

主　　题：artificial intelligence nonmonotonic truth maintenance stratified truth maintenance nonmonotonic reasoning 

摘      要：Truth maintenance systems become the very useful tools in artificial intelligence. Existing truth maintenance systems can’t deal with nonmonotonic reasoning effectively. They have limitations in the representation of nonmonotonic justifications. We present stratified truth maintenance systems which introduce priorities among justifications. The stratified truth maintenance systems can deal with nonmonotonic reasoning more effectively and can be applied in many useful areas.