主权项 |
1.一种基于极小不协调集合的R缩减求解方法,其特征在于步骤如下:(1)获取输入的协调原子语句和原子语句的否定的集合,存于Δ中,获取输入的被修正语句集合,存于Γ中;(2)将Γ中的所有公式转换为否定范式(NNF),然后再转换为析取范式(DNF),存入Γ′中;(3)求解出Δ∪Γ′的所有极小不协调集合,存于<img file="F2009102430376C00011.GIF" wi="69" he="46" />中;(4)根据<img file="F2009102430376C00012.GIF" wi="66" he="45" />求解出Δ∪Γ′的所有极小删除集合,存于<img file="F2009102430376C00013.GIF" wi="35" he="45" />中;(5)对于<img file="F2009102430376C00014.GIF" wi="35" he="46" />中的每一个极小删除集合θ′,如果它对应的Γ中的语句集合是θ,并且<img file="F2009102430376C00015.GIF" wi="261" he="52" />那么Γ-θ就是Γ关于Δ的R缩减,并将其加入集合<img file="F2009102430376C00016.GIF" wi="46" he="45" />中。 |