摘要
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.
ＮＯＮＭＯＮＯＴＯＮＩＣＴＲＵＴＨＭＡＩＮＴＥＮＡＮＣＥＳＹＳＴＥＭＳ＊ＹａｎｇＪｉｅＳｈｉＰｅｎｇｆｅｉ（ＩｎｓｔｉｔｕｔｅｏｆＩｍａｇｅＰｒｏｃｅｓｓｉｎｇａｎｄＰａｔｅｒｎＲｅｃｏｇｎｉｔｉｏｎ）ＡｂｓｔｒａｃｔＴｒｕｔｈｍａｉｎｔｅｎａｎｃｅ...
基金
National Natural Science Foundation of China.
