- 搜標(biāo)題
- 搜題干
- 搜選項(xiàng)
問(wèn)答題
【簡(jiǎn)答題】簡(jiǎn)述基于規(guī)則的正向演繹系統(tǒng)的使用條件。
答案：
（1）事實(shí)表達(dá)式是任意形式；
（2）規(guī)則形式為：L→W或L1∨L2→W，其中L為單文字，W為任意形式；
...
（2）規(guī)則形式為：L→W或L1∨L2→W，其中L為單文字，W為任意形式；
...
你可能感興趣的試題
問(wèn)答題
【簡(jiǎn)答題】簡(jiǎn)述基于歸結(jié)法的問(wèn)題提取回答的過(guò)程。
答案：
（1）首先用歸結(jié)法證明結(jié)論成立，并畫(huà)出歸結(jié)樹(shù)；
（2）找出結(jié)論的否定所對(duì)應(yīng)的子句s在歸結(jié)樹(shù)中的位置，用重言式s...
（2）找出結(jié)論的否定所對(duì)應(yīng)的子句s在歸結(jié)樹(shù)中的位置，用重言式s...
問(wèn)答題
【簡(jiǎn)答題】簡(jiǎn)述用歸結(jié)法證明定理的過(guò)程。
答案：
（1）將已知條件化作子句集；
（2）將結(jié)論的否定化作子句集；
（3）從所有子句集中選取兩個(gè)可歸結(jié)的子...
（2）將結(jié)論的否定化作子句集；
（3）從所有子句集中選取兩個(gè)可歸結(jié)的子...
