【作者】 朱福喜； 余振坤；
【机构】 武汉大学计算机学院；
【摘要】 次协调逻辑能够合理地处理不协调知识的推理。本文研究如何用XML作为一种次协调逻辑系统——标记逻辑的表示和推理的基本工具,探讨了在这种表示之下标记逻辑自动推理推理规则和推理策略的实现问题,并给出了推理实例。更多还原
