发明设计人

曹丹阳,高磊,何丽,孙玉春,高雪

公开（公告）日

20160713

申请号/专利号

CN105760935A

法律状态

有权

摘要

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