[发明专利]一种采用基于与或树的有限约束问题推理方法的专家系统

摘要

本发明提供一种采用基于与或树的有限约束问题推理方法的专家系统，包括以下步骤：对原问题P进行分解操作，将原问题P分解成n个相互等价的子问题；根据约束条件集，实时调整对子问题的推理求解顺序，从而得到每个子问题的解，最终输出得到的问题序列P和方法序列C。可高效快速的对有限约束问题进行推理求解。

主权项

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]。