节点文献
用XML进行次协调推理
【机构】 武汉大学计算机学院；
【摘要】 次协调逻辑能够合理地处理不协调知识的推理。本文研究如何用XML作为一种次协调逻辑系统——标记逻辑的表示和推理的基本工具,探讨了在这种表示之下标记逻辑自动推理推理规则和推理策略的实现问题,并给出了推理实例。
- 【会议录名称】 逻辑与认知学术研讨会会议论文集
- 【会议名称】逻辑与认知学术研讨会
- 【会议时间】2004-05
- 【会议地点】中国广州
- 【分类号】B812.2
- 【主办单位】中山大学逻辑与认知研究所