线性归结演绎

线性归结演绎（linear resolution deduction），计算机科学技术名词，一种归结策略。初始子句为原始子句集中子句，其余每步归结中的一个子句是刚生成的归结式，另一个子句或者是原始子句集中的子句，或者是之前生成的归结式。