作者：朱福喜; 龚昌盛; 余振坤次协调逻辑标记逻辑自动推理
摘要：标记逻辑是一种次协调逻辑系统，将XML用于表示标记逻辑，探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题，并给出了推理实例．实例表明，使用XML能够很方便地表达标记逻辑，并且利用XML的辅助工具能够很方便地实现其推理机制．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《武汉大学学报·理学版》（CN：42-1674/N）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《武汉大学学报·理学版》是自然科学综合性学术期刊，主要刊登数学、计算机科学、物理学、空间物理学、化学、环境科学、生命科学等学科的最新研究成果。
杂志详情
