首页> 中文期刊>武汉大学学报：理学版 >基于XML的次协调推理

基于XML的次协调推理

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

标记逻辑是一种次协调逻辑系统,将XML用于表示标记逻辑,探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题,并给出了推理实例.实例表明,使用XML能够很方便地表达标记逻辑,并且利用XML的辅助工具能够很方便地实现其推理机制.

著录项

来源
《武汉大学学报：理学版》|2006年第1期|64-68|共5页
作者
朱福喜; 龚昌盛; 余振坤;
展开▼
作者单位

武汉大学计算机学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;多值逻辑;
关键词
次协调逻辑; 标记逻辑; 可扩展标记语言(XML); 自动推理;
入库时间 2022-08-20 23:23:04

相似文献

中文文献
外文文献
专利

1. 基于XML Schema的XML强多值依赖的推理规则集 [J] . 殷丽凤 ,郝忠孝 . 计算机工程与应用 . 2010,第028期
2. 基于XML Schema的XML弱函数依赖及其推理规则 [J] . 殷丽凤 ,田宏 . 计算机应用 . 2010,第009期
3. 基于APC的次协调自动推理系统的设计与实现 [J] . 朱三元 ,朱福喜 . 计算机工程与设计 . 2007,第022期
4. 基于推理树的 XML 推理控制研究 [J] . 徐铮 ,陈恭亮 ,李建华 . 通信技术 . 2015,第002期
5. 基于轴结点的XML函数依赖及推理规则 [J] . 任廷艳 ,罗刚 . 计算机与数字工程 . 2012,第001期
6. 基于树元组的XML多值依赖推理 [C] . 荣凌燕 ,刘国华 ,沈兵红 . 2006年全国理论计算机科学学术年会 . 2006
7. 基于XML知识表示的农业专家系统推理机研制 [A] . 徐大庆 . 2008

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号