%0 Journal Article %T 理由维护系统的研究 %A 方思行 %J 计算机科学 %D 1992 %I %X 一、引言自从七十年代中期 Doyle 对理由维护系统(Reason Maintenance System,RMS)做了开创性的工作之后,人们对它的研究与应用的兴趣与日俱增,迄今,RMS 在求解约束满足问题、非单调推理、辑逻程序设计、数据库管理等方面都有广泛的应用。在历史上,关于理由维护系统的命名有过某种混乱。这个领域的首创者 Doyle(1979)把他的系统称为真值维护系统 TMS(TruthMaintenance System),然而,Doyle 本人也表示,这个词用得并不恰当。另外,相容性维护或者信念维护也被用来称呼这类系统。 %K 理由维护系统 %K 人工智能 %U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=441614F8D71FFD05A4D7BE62C4658FC7&yid=F53A2717BDB04D52&vid=2A8D03AD8076A2E3&iid=0B39A22176CE99FB&sid=B31275AF3241DB2D&eid=F3583C8E78166B9E&journal_id=1002-137X&journal_name=计算机科学&referenced_num=2&reference_num=0