【摘要】 利用XML结构与语义自描述的特性,结合JDOM对XML文件操作的清晰性和简便性,实现了基于假设的真值维护系统(ATMS)的基本结构的表示和标记更新算法,并提供了问题求解器的接口以便将其扩充成一个完整的推理系统。更多还原

【Abstract】 The representation of basic structures and the algorithm of label- updating for the assumption- based truth maintenance sys- tems (ATMSs) are implemented by using features of the structure and semantic self- description of XML, and combining the clarity and simplicity of the manipulation of JDOM to XML. A problem solver interface is also provided to extend the ATMS to an integrat- ed reasoning system.更多还原