Case-based reasoning và khả năng tiếp cận bằng Logic vị từ
Phương pháp tìm lòi giải dựa trên các ca suy luận mẫu đã có (Case-based reasoning -
CBR) được khởi xướng từ thập kỷ 80 và ngày càng thu hút môi quan tâm của nhiều nhà
nghiên cứu [1, 2, 3, 4]. CBR hoạt động theo cơ chế so sánh bài toán cần giải với các bài toán
mẫu dã có lời giải và tìm cách đưa ra một lời giải dựa trên lòi giải mẫu. Đã có nhiều hệ.
thống CBR được phát triển như các hệ chuyên gia chẩn đoán hỏng hóc, lập kế hoạch hay lập
luận về luật.
Tuy vậy, cơ chê suy luặn của CBR vẫn chưa được hình thức hóa chặt chè. Nhiều
nghiên cứu và ứng dụng chỉ chú trọng vào việc tìm kiếm bài toán cũ tương tự và đưa ra lời
giải mới bằng cách thay thê từ khóa. Đặc thù của CBR là sử dụng lại lòi giải cũ, do đó một
số lớn trong các bước suy diễn để đưa ra lòi giải mới bị loại bỏ. Điều này dẫn đến vân đề khó
dám báo cỉược tính đúng đắn về mặt logic của lời giải mới. Thêm nữa, cài đặt CBR thường
khó tông quát hóa do phải phôi hợp giữa các tri thức kinh nghiệm là các lòi giải đã biết và
các tri thức tổng hợp vê miền bài toán. Chưa tồn tại ứng dụng CBR nào tận dụng được năng
lực suy diễn và tính tường minh của logic vị từ. Trong bài báo này, chúng tôi phân tích khía
cạnh suy diễn của CBR và đề xuất một phương thức cài đặt CBR bằng logic vị từ cấp một.
Trong phương thức này, lời giải cũ đóng vai trò là các kinh nghiệm suy luận giúp tăng tốc
cỉộ tìm lời giải mới và tính đúng đắn của lòi giải mới được đảm bảo bằng suy diễn.
