武汉大学学报(理学版)
武漢大學學報(理學版)
무한대학학보(이학판)
JOURNAL OF WUHAN UNIVERSITY(NATURAL SCIENCE EDITION)
2006年
1期
64-68
,共5页
次协调逻辑%标记逻辑%可扩展标记语言(XML)%自动推理
次協調邏輯%標記邏輯%可擴展標記語言(XML)%自動推理
차협조라집%표기라집%가확전표기어언(XML)%자동추리
标记逻辑是一种次协调逻辑系统,将XML用于表示标记逻辑,探讨了在这种表示之下标记逻辑线性推理规则和推理策略及其实现问题,并给出了推理实例.实例表明,使用XML能够很方便地表达标记逻辑,并且利用XML的辅助工具能够很方便地实现其推理机制.
標記邏輯是一種次協調邏輯繫統,將XML用于錶示標記邏輯,探討瞭在這種錶示之下標記邏輯線性推理規則和推理策略及其實現問題,併給齣瞭推理實例.實例錶明,使用XML能夠很方便地錶達標記邏輯,併且利用XML的輔助工具能夠很方便地實現其推理機製.
표기라집시일충차협조라집계통,장XML용우표시표기라집,탐토료재저충표시지하표기라집선성추리규칙화추리책략급기실현문제,병급출료추리실례.실례표명,사용XML능구흔방편지표체표기라집,병차이용XML적보조공구능구흔방편지실현기추리궤제.