你可能感興趣的試題

A.在尋找完所有解圖之后，再判斷解圖的一致性。
B.首先找一個任意解圖，再檢驗(yàn)其一致性，看是否是一致解圖。如果這個候選解圖不一致，則繼續(xù)搜索直到找到一個一致解圖為止。
C.在擴(kuò)展局部的候選解圖前，就進(jìn)行一致性的檢驗(yàn)，修剪不一致的局部候選解圖，致使效率提高。
D.建立規(guī)則連接圖結(jié)構(gòu)，從而提高系統(tǒng)的求解效率。

A.無需專門的機(jī)理來實(shí)現(xiàn)算子的各種計(jì)算
B.計(jì)算都是由定理證明程序中的演繹方法來處理
C.求解過程簡單
D.有用的啟發(fā)信息不容易引入求解過程，且所需要的推理常識也都要以專門的公理形式給出各種關(guān)系的描述