模型进化演算

模型进化演算（model evolution calculus），计算机科学技术名词，给定一阶逻辑的子句集，从缺省的解释开始，或者为其构造一个模型，或者证明其不存在模型。其搜索算法的思想是DPLL算法在一阶逻辑中的提升。