- 搜標題
- 搜題干
- 搜選項
問答題
【簡答題】簡述基于規(guī)則的逆向演繹系統(tǒng)的使用條件。
答案：
（1）事實表達式是文字合取形式；
（2）規(guī)則形式為：W→L或W→L1∧L2，其中L為單文字，W為任意形式；
（2）規(guī)則形式為：W→L或W→L1∧L2，其中L為單文字，W為任意形式；
你可能感興趣的試題
問答題
【簡答題】簡述基于規(guī)則的正向演繹系統(tǒng)的使用條件。
答案：
（1）事實表達式是任意形式；
（2）規(guī)則形式為：L→W或L1∨L2→W，其中L為單文字，W為任意形式；
...
（2）規(guī)則形式為：L→W或L1∨L2→W，其中L為單文字，W為任意形式；
...
問答題
【簡答題】簡述基于歸結(jié)法的問題提取回答的過程。
答案：
（1）首先用歸結(jié)法證明結(jié)論成立，并畫出歸結(jié)樹；
（2）找出結(jié)論的否定所對應(yīng)的子句s在歸結(jié)樹中的位置，用重言式s...
（2）找出結(jié)論的否定所對應(yīng)的子句s在歸結(jié)樹中的位置，用重言式s...
