线性半锁归结方法

1965年Robinson提出归结方法后,引起了人工智能学者的重视,纷纷对这一方法做了很多精练和改进。著名的工作有Slagle(1967)提出的语义归结方法,Loveland和Luckham(1970)提出的线性归结方法,以及Boyer(1971)提出的锁归结方法。 这三种改进方法之间的相容性问题,是进一步改进归结方法的途径。1978年本文作者证明了语义归结和锁归结是相容的,提出了锁语义归结策略;