Mục đớch chớnh của cỏc thuật toỏn thuộc loại này là phỏt hiện tập cỏc quy tắc quyết định thỏa món yờu cầu của người sử dụng. Việc phỏt hiện tất cả cỏc quy tắc này cú thể sẽ là khụng thể nếu sử dụng cỏch tiếp cận trớch lọc tập tối tiểu cỏc quy tắc do lược đồ heuristic tham lam của chỳng. Theo lược đồ này, một số quy tắc mà người sử dụng yờu cầu cú thể vẫn cũn tiềm ẩn trong dữ liệu, đặc biệt là khi cỏc mẫu khỏc nhau cựng được chia sẻ bởi một tỷ lệ lớn cỏc vớ dụ chung. Điều này là do việc loại bỏ cỏc vớ dụ học mỗi khi cỏc vớ dụ này được phủ bởi mộ quy tắc quy nạp được. Ngược lại, tập tối tiểu cỏc quy tắc cũng cú thể chứa cỏc quy tắc rất riờng biệt, bao gồm nhiều điều kiện sơ cấp liờn quan tới chỉ một hoặc một số rất ớt vớ dụ học. Điều này là do bước lặp cuối cựng của chiến thuật heuristic đặt ra việc chỉ phỏt hiện trong số cỏc vớ dụ cũn lại.
Do đú, ta cần phỏt triển cỏch tiếp cận đặc biệt cho phộp quy nạp khỏm phỏ cú định hướng. Thủ tục Explore trong hệ thống RoughFamily đó núi tới trong mục 3.3.2 là một một cỏch tiếp cận đặc biệt như thế. Explore được xõy dựng dựa trờn một thuật toỏn ban đầu đề xuất bởi Stefanowski và Vaderpooten trong [14].
Việc khỏm phỏ khụng gian cỏc quy tắc của Explore được điều chỉnh bởi cỏc tham số trong cỏc điều kiện dừng, phản ảnh cỏc yờu cầu của người dựng.
Số húa bởi Trung tõm Học liệu – Đại học Thỏi Nguyờn http://www.lrc-tnu.edu.vn/
Cỏc điều kiện dừng này đảm bảo cho cỏc quy tắc cú cỏc tớnh chất mong muốn và cho phộp rỳt ngắn chi phớ tớnh toỏn một cỏch đỏng kể. Trong nhiều ứng dụng, độ mạnh của cỏc quy tắc thường được lấy làm tham số chớnh điều chỉnh điều kiện dừng.
Phần chớnh của thuật toỏn Explore được phỏt triển dựa trờn chiến lược tỡm kiếm ưu tiờn bề rộng, trong đú cỏc quy tắc được tạo ra theo kớch thước tăng dần, từ những quy tắc ngắn nhất. Chiến lược bắt đầu với quy tắc ban đầu là quy tắc cú phần điều kiện rỗng. Trong quỏ trỡnh tỡm kiếm, phộp hội rỗng này được mở rộng bằng cỏc điều kiện sơ bản từ danh sỏch cỏc điều kiện cho phộp. Cỏc phộp hội mở rộng là những ứng viờn và sẽ được đỏnh giỏ để cú thể trở thành phần điều kiện của quy tắc phõn lớp.
Tựa code của phần chớnh của thuật toỏn, tức là cụng đoạn tỡm kiếm theo chiều rộng, là như sau.
Procedure Explore(SC : Cỏc điều kiện dừng ; var : Tập cỏc quy tắc) Begin
for mỗi điều kiện sơ cấp sẵn cú c do
begin
if = hoặc c thỏa món SC then loại bỏ c ;
if và then và loại bỏ c
end;
Lập thành hàng tất cả cỏc điều kiện sơ cấp cũn lại ;
While hàng cỏc điều kiện sơ cấp khụng rỗng do begin
loại bỏ phộp hội C đầu tiờn khỏi hàng;
giả sử h là chỉ số cao nhất của điều kiện chứa trong C;
Số húa bởi Trung tõm Học liệu – Đại học Thỏi Nguyờn http://www.lrc-tnu.edu.vn/
Gọi là tập tất cả cỏc phộp hội này
for mỗi do begin
if = hoặc thỏa SC then ;
if và then
begin
if là tối tiểu then ;
end; end;
Đặt tất cả cỏc phộp hội từ vào cuối hàng
end end
Khụng gian khai thỏc cỏc quy tắc ứng viờn được kiểm soỏt bởi cỏc điều kiện dừng SC theo yờu cầu xỏc định của người sử dụng. Thụng thường điều kiện dừng liờn quan đến độ mạnh tối thiểu của quy tắc. Gọi C là một phộp hội cỏc điều kiện sơ cấp. C sẽ bị loại bỏ, khụng thể trở thành phần điều kiện của một quy tắc đỏp ứng yờu cầu nếu:
SC: K
C
l
K ,
với l là số phần trăm nhỏ nhất cỏc vớ dụ dương mà quy tắc phải phủ.
Một vài yờu cầu khỏc cũng cú thể tớch hợp vũa điều kiện dừng trong quy nạp bộ quy tắc đỏp ứng yờu cầu, chẳng hạn độ dài tối đa của quy tắc ...
Lưu ý rằng một số đối tượng nào đú trong bảng quyết định đầu vào cú thể khụng được phủ bởi bất kỳ quy tắc nào trong bộ quy tắc đỏp ứng yờu cầu. quy tắc quyết định.
Số húa bởi Trung tõm Học liệu – Đại học Thỏi Nguyờn http://www.lrc-tnu.edu.vn/
Xột bảng quyết định cho trong Bảng 3.1 và giả sử ta quan tõm phỏt hiện cỏc quy tắc cú độ mạnh khụng nhỏ hơn 25%. Áp dụng thuật toỏn Explore, ta thu được cỏc quy tắc sau:
Quy tắc 1. If (neusea = yes) then (Flu = yes) {2,4}
Quy tắc 2. If (Weakness = no) &(nausea = no) then (Flu = no) {3, 6}
