人工智能 知识总结

1、推理过程中，冲突解决策略:                           （1）专一性排序:规则的条件部分所规定的情况越具体，优先级越高；                                       （2）规则排序；                                                     （3）数据排序:把规则条件部分的所有条件按优先次序编排，当发生冲突时，首先使用条件部分包含较高优先级的数据规则；                       （4）就近排序:最近使用的规则放在最优先的位置；                                                                       （5）上下文限制:把产生式规则按他们所描述的上下文分组，在某种上下文条件下，只能从其中对应的那组规则中选择可应用的规则；       （6）按匹配度推荐；                                            （7)按条件个数排序:条件上的规则被优先排序。

2、逆向排序   主要缺点是，当用户对解的情况认识不清的时候，由系统自主选择假设目标的盲目性比较大，若选择不好，可能需要多次提出假设，会影响系统效率。

3、Skolem范式:  如果前束范式中的所有存在量词都在全称量词之前，则称这种形式的谓词公式为Skolem范式。

4、置换与合一