[發明專利]一種采用基于與或樹的有限約束問題推理方法的專家系統

有效

• 申請號: 201610067101.X
• 申請日: 2016-02-01
• 公開（公告）號: CN105760935B
• 公開（公告）日: 2018-08-21
• 發明（設計）人: 曹丹陽;高磊;何麗;孫玉春;高雪
• 申請（專利權）人: 北方工業大學
• 主分類號: G06N5/04
• 分類號: G06N5/04
• 代理公司: 北京久維律師事務所 11582
• 代理人: 邢江峰

1.一種采用基于與或樹的有限約束問題推理方法的專家系統，其特征在于，所述專家系統采用基于與或樹的有限約束問題推理方法對問題進行求解，得到所有子問題的解；其中，所述基于與或樹的有限約束問題推理方法包括以下步驟：

存在病人A，其具有口腔疾病，即：具有兩棵相鄰的壞牙，分別為牙齒A和牙齒B；其中，牙齒A損害程度較高，可采用的治療方案包括撥除牙齒A和種植牙齒A；牙齒B存在的問題為牙齒松動，采用的治療方案為通過治療牙周病而治療牙齒B的牙齒松動問題；

建立與或樹，其為一個三層的與或樹，P為原問題，即：治療病人A的口腔問題；P1代表治療牙齒A的子問題；P2代表治療牙齒B的子問題；C11代表撥除牙齒A的治療方法；C12代表種植牙齒A的治療方法；C21代表治療牙齒B的牙周病的治療方法；

此外，約束條件集為：C11和P2之間存在約束：當P2子問題未解決時，不允許采用C11方法；也就是說，當牙齒B松動情況下，不允許對相鄰的牙齒A進行拔除治療方法；

對于與或樹，推理求解方法為：

步驟1.1，建立問題序列P=[]和方法序列C=[]；初始時，問題序列P=[]和方法序列C=[]均為空；

步驟1.2，遍歷第1個子問題P1，并將P1存入P，即P=[P1]；

步驟1.3，遍歷子問題P1的第1個解C11，并將C11存入C，即C=[C11]；判斷約束關系集中是否存在對解C11的約束條件，此時，存在約束條件；然后，查找到解C11的約束條件，并獲得約束解C11的子問題P2；又進一步查找與或樹，證明當前的與或樹中存在子問題P2，表明子問題P2尚未解決；此時，將C11從方法序列C中刪除；

步驟1.4，然后，按同樣的方法遍歷子問題P1的第2個解C12，并將C12存入C，即C=[C12]；判斷約束關系集中是否存在對解C12的約束條件，此時，由于不存在對解C12的約束條件，因此，已求解得到對子問題P1的解為C12；

步驟1.5，將子問題P1和其所有兒子節點從與或樹中刪除，得到樹形結構；

步驟2.1，然后，遍歷第2個子問題P2，并將P2存入P，即P=[P1、P2]；

步驟2.2，遍歷子問題P2的第1個解C21，并將C21存入C，即C=[ C12、C21]；判斷約束關系集中是否存在對解C21的約束條件，此時，由于不存在對解C21的約束條件，因此，已求解得到對子問題P2的解為C21；

步驟3，輸出問題序列P=[P1、P2]，方法序列C=[ C12、C21]。