1. Khởi tạo G là tập giả thuyết tổng quát nhất trong H

    Khởi tạo S là tập giả thuyết chi tiết nhất trong H.

2.( Lặp)Với mỗi ví dụ đào tạo d={x,c(x)}, thực hiện:

    +Nếu d là ví dụ dương (c(x)=1)

         -lấy khỏi G các giả thuyết không phù hợp với d

          -Với mỗi s trong S không phù hợp với d:

·         lấy s khỏi S

·         thêm vào S các s tổng quát hoá chi tiết nhất h của s mà h phù hợp với d và có một phần tử trong G tổng quát hơn h.

·         Lấy khỏi S các giả thuyết tổng quát hơn các giả thuyết khác trong S

+Nếu d là ví dụ âm (c(x)=0)

          -lấy khỏi S các giả thuyết không phù hợp với d

          -Với mỗi g trong G không phù hợp với d:

·         lấy g khỏi G

·         thêm vào G các chi tiết hoá nhỏ nhất h của g mà h phù hợp với d và có một phần tử trong S chi tiết hơn h.

Lấy khỏi G các giả thuyết ít tổng quát hơn các giả thuyết khác trong G