一阶逻辑退化到命题逻辑：
a、每一个一阶逻辑的知识库都能被命题化
b、思路：实例化KB和查询（即实例化）；归结；返回结果
c、命题逻辑导致的知识库的扩张可能是无限的（当包含涵词的时候，对象无限多可能会导致知识库无限扩张）
d、命题化可能产生许多无关语句
e、对于p个k阶谓词（谓词中有多少个参数）和n个常数（参数可以用多少个常数代替），共产生pn^k个实例化
合一操作：unitfy（p，q）=θ，θ为一种变量关系，即变量的一种取值模型。
a、使得两个谓词相等的一种变量置换操作
b、两条语句为输入，合一置换存在则返回他们的合一置换
c、举例：
| p=know(john,x)，q=know(john,jane) | 合一置换结果为x=jane |
|---|---|
| p=know(john,x)，q=know(y,oj) | 合一置换结果为x=oj，y=john |
| p=know(john,x)，q=know(y,mather(y)) | 合一置换结果为x=mather(john)，y=john |
| p=know(john,x)，q=know(x,oj) | 合一置换结果为fail |
| p=know(john,x)，q=know(y,z) | 合一置换结果为y=john，x=z或y=john，x=john，z=john，选择第一种更一般的置换 |
d、合一操作的置换结果可能不唯一，但存在唯一的一个最一般合一置换，其他的合一置换都由最一般的衍生而来
一般性假言推理规则
a、对于原子语句pi，pj，q存在置换是的所有的i都有SUBST(θ，Pj)=SUBST(θ，pi)成立，则有：
b、θ为一个可能的模型（结果），如果该结果同时让所有的P成立，且P可以推出q，则θ能让q成立，即存在SUBST(θ，q)，就是把结果θ带入后的实例化后的语句。
