我想使用DTD對一個簡單的(IF Then)規則建模。這就是我所想到的:Forward Forward Rule Xml DTD
<!ELEMENT forward ((rule | fact)*)>
<!ELEMENT rule (if, then)>
<!ELEMENT fact (#PCDATA)>
<!ELEMENT if (#PCDATA)>
<!ELEMENT then (#PCDATA)>
這是一個前向規則的dtd(p => c)。我也想使用結論和前提元素來代替if和then來爲後向規則建模(c < = p)。我是否需要改變,如果然後再考慮和預測,或者我需要做其他事情。我很感謝你的迴應。