线性半锁归结方法
Published in Chinese Science Bulletin (Chinese Version) • Sep 1, 1990
NobleIDNI0P40W36R08S05
Authors:
叙华 刘
Abstract
1965年Robinson提出归结方法后,引起了人工智能学者的重视,纷纷对这一方法做了很多精练和改进. 著名的工作有Slagle(1967)提出的语义归结方法,Loveland和Luckham(1970)提出的线性归结方法,以及Boyer(1971)提出的锁归结方法. 这三种改进方法之间的相容性问题,是进一步改进归结方法的途径. 1978年本文作者证明了语义归结和锁归结是相容的,提出了锁语义归结策略;1979年证明了语义归结和线性归
Subject
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!