... hợp nhất tử đã nêu, hai câu know( An , X) vàknow(Y, husband(Z)) còn có các hợp nhất tử sau:[Y /An, X/ husband(“Hoa”), Z/ Hoa][Y /An, X/ husband(“Lan”), Z/ Lan] Chúng ta sẽ gọi hợp thành của ... tốt)friend(“Lan”,Y) ( Lan là bạn của của tất cả mọi người)Ta có thể hợp nhất hai câu friend(X,”Ba”)⇒ good(X) và friend(“Lan”,Y) bởiphép thay thế [X/Lan, Y/Ba] friend(“Lan”,”Ba”)⇒ good(“Lan”)friend(“Lan”,”Ba”)Từ ... và F là các câu know( An , X) và know(Y, husband(Z)) thìhợp nhất tử tổng quát nhất là: θ = [Y /An, X/ husband(Z)]Sau đây chúng ta sẽ trình bày thuật toán hợp nhất, đó là thuật toán có batham...