摘要
利用XML结构与语义自描述的特性,结合JDOM对XML文件操作的清晰性和简便性,实现了基于假设的真值维护系统(ATMS)的基本结构的表示和标记更新算法,并提供了问题求解器的接口以便将其扩充成一个完整的推理系统。
The representation of basic structures and the algorithm of label-updating for the assumption-based truth maintenance systems （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 integrated reasoning system.
出处
《微计算机信息》
北大核心
2006年第03X期220-222,共3页
Control & Automation
基金
国家自然科学基金重点资助项目(90209004)
广东省自然科学基金资助项目(021149)
