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

摘要

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