论文部分内容阅读
标记逻辑是一种次协调逻辑系统，将XML用于表示标记逻辑，探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题，并给出了推理实例．实例表明，使用XML能够很方便地表达标记逻辑，并且利用XML的辅助工具能够很方便地实现其推理机制．
基于XML的次协调推理
【摘 要】
：
标记逻辑是一种次协调逻辑系统，将XML用于表示标记逻辑，探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题，并给出了推理实例．实例表明，使用XML能够很方便地表达标
【机 构】
：
武汉大学计算机学院
【出 处】
：
武汉大学学报：理学版
【发表日期】
：
2006年1期
【基金项目】
：
国家自然科学基金重大研究计划资助项目（90104005）
其他文献
于1998年11月,用砂滤管法研究了水旱轮作条件下黄棕壤加入杂交狼尾草秸秆后有机碳(土壤原有碳+秸秆碳)的分解状况和微生物量碳的动态变化,为期1年.结果表明,有机碳的分解前期
现今,使用荧光-分子印迹聚合物构建的传感器已被广泛应用于多领域,在食品分析检测方面的研究也是屡见不鲜。此类传感器将荧光的高灵敏度以及分子印迹聚合物的高选择性进行巧妙的结合,相较于传统的大型仪器检测,可简化样品的前处理步骤、缩短分析响应的时间、高效地检测复杂食品基质中的痕量分析物。本研究基于荧光-分子印迹聚合物构建了两种传感器,用于检测食品中的酪胺与杂环胺。首先,借助碳点的荧光稳定性高、抗光漂白性强
日益增长的海产品需求以及近海养殖导致的海水污染使海水养殖向深远海扩展。深远海域渔业资源丰富,水体交换强,有利于海水养殖,但也存在着海流强、风浪大的特点。针对这一问
摩擦焊机测控系统的设计是一门结合多个学科、多个领域于一体可以同时实现测量与控制的技术。其中,测量技术主要应用到传感器、信号处理等学科知识;控制技术应用到控制理论,控制工程等学科的知识。本文所研究连续驱动摩擦焊机测控系统,将虚拟仪器的先进检测技术和电液比例技术结合应用到液压领域中,实现摩擦焊机机电液一体化水平的快速提高。摩擦焊接技术是一种高效、优质、节能、无污染的固态焊接技术,随着在航天、航空、石油
文章论述运用潮流信息，引入潮流防误，与网络拓扑防误有机结合，辅助操作人员进行正确分析决策，确保配电网的人身、设备安全及电网安全稳定运行等方面的问题，并基于长园共创公司的配
现代生活中,褐色系面料在服装中的运用非常普遍。本文对我国古代染褐色的植物染料及其染色工艺进行系统研究,旨在为挖掘、弘扬传统印染技艺尽自己的微薄之力。选题对倡导绿色
社交网络日趋活跃，基于社交网络的推荐成为电子商务推荐系统研究的热点领域之一；如何利用社交网络数据给用户进行推荐物品，是基于社交网络的推荐算法的研究重点。对社交网络的定