缺省假设的真值维护
Truth Maintenance of Default Assumptions作者机构:上海交通大学图象处理与模式识别研究所
出 版 物:《上海交通大学学报》 (Journal of Shanghai Jiaotong University)
年 卷 期:1997年第31卷第12期
页 面:34-37页
核心收录:
学科分类:12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术(可授工学、理学学位)]
摘 要:介绍了求解缺省假设的常用求解方法NAF(NegationAsFailure)存在的局限性:无法表示否定信息;难于处理循环缺省假设和缺省假设间的依赖性.提出用分层ATMS求解缺省假设,从而能克服NAF的局限性.