理由维护系统的研究

一、引言自从七十年代中期 Doyle 对理由维护系统(Reason Maintenance System,RMS)做了开创性的工作之后,人们对它的研究与应用的兴趣与日俱增,迄今,RMS 在求解约束满足问题、非单调推理、辑逻程序设计、数据库管理等方面都有广泛的应用。在历史上,关于理由维护系统的命名有过某种混乱。这个领域的首创者 Doyle(1979)把他的系统称为真值维护系统 TMS(TruthMaintenance System),然而,Doyle 本人也表示,这个词用得并不恰当。另外,相容性维护或者信念维护也被用来称呼这类系统。