人工智能 知识总结
1、推理过程中，冲突解决策略: （1）专一性排序:规则的条件部分所规定的情况越具体，优先级越高； （2）规则排序； （3）数据排序:把规则条件部分的所有条件按优先次序编排，当发生冲突时，首先使用条件部分包含较高优先级的数据规则； （4）就近排序:最近使用的规则放在最优先的位置； （5）上下文限制:把产生式规则按他们所描述的上下文分组，在某种上下文条件下，只能从其中对应的那组规则中选择可应用的规则； （6）按匹配度推荐； （7)按条件个数排序:条件上的规则被优先排序。
2、逆向排序 主要缺点是，当用户对解的情况认识不清的时候，由系统自主选择假设目标的盲目性比较大，若选择不好，可能需要多次提出假设，会影响系统效率。
3、Skolem范式: 如果前束范式中的所有存在量词都在全称量词之前，则称这种形式的谓词公式为Skolem范式。
4、置换与合一