4 Thực nghiệm và đánh giá
4.2 Tạo cơ sở tri thức
• Số cơ sở: Số cơ sở tri thức mà ta muốn tạo.
Thuật toán tự động sinh cơ sở tri thức như sau:
Yêu cầu đầu vào: countKB, maxF. Trong đó countKB là số cơ sở tri thức muốn tạo, maxF là số công thức tối đa có thể có ở mỗi cơ sở tri thức.
Kết quả: Các cơ sở dữ liệu thỏa mãn yêu cầu đầu vào. begin
a:= countKB // số cơ sở tri thức muốn tạo.
b:= maxF // số công thức tối đa có thể có ở mỗi công thức. c:=0 // số cơ sở tri thức đã tạo.
d:=0 // mức độ chắc chắn của mỗi công thức. e:=0 // số công thức sẽ có trong mỗi công thức. FM // lưu các công thức trong một cơ sở tri thức.
KB // lưu các cơ sở tri thức.
while c <=a do
e := random(1,b) // số công thức sẽ có trong một cơ sở tri thức. l:=0 // số công thức đã tạo trong một cơ sở tri thức. while l <=e do
ct:= new ct // tạo một công thức mới. if ct is not exit then
d:= random(0,1)// độ chắc chắn của công thức. FM.add(ct,d) //thêm công thức vào cơ sở tri thức. l:=l+1
end
KB.add(FM) // thêm cơ sở tri thức vào danh sách các cơ sở tri thức. c:=c+1
end
4.2.2 Tập dữ liệu thực nghiệm
Dữ liệu để thực nghiệm sẽ gồm hai tập:
1. Tập thứ nhất là hai cơ sở tri thức khả năng được sử dụng trong Ví dụ 3.0.1 nhằm đánh giá tính đúng đắn của mô hình đã đề xuất.
2. Tập thứ hai là hai cơ sở tri thức khả năng do chương trình tự sinh ra với khoảng 200, 300, 400, 500 và 1000 công thức ở mỗi cở sở tri thức để đánh giá hiệu năng của chương trình theo mô hình đề xuất.
4.2.3 Kết quả thực nghiệm thu được của tập dữ liệu thứ nhất
Sau khi chạy thực nghiệm với dữ liệu đầu vào là tập dữ liệu thứ nhất, ta thu được kết quả như sau:
Trong đó:
• Công thức: là các công thức có được sau khi hợp các cơ sở tri thức lại với nhau theo Định nghĩa 3.0.1.
• Trọng số: là ảnh hưởng của công thức có được sau khi hợp các cơ sở tri thức lại với nhau theo công thức ‘pα, βq “α`β´α.β .