Đề tài Tìm hiểu và đánh giá một số thuật toán tìm kiếm truyền thống ứng dụng trong tin học

Tri thức là sự hiểu biết về một miền chủ đề. Thể hiện tri thức là phương pháp dùng để mã hoá tri thức trong cơ sở tri thức của hệ thống. Có năm phương pháp thể hiện tri thức: CẶP BA ĐỐI TƯỢNG - THUỘC TÍNH - GIÁ TRỊ Ví dụ: Mệnh đề “quả bóng màu đỏ” được thể hiện như sau LOGIC Logic gồm hai loại: - Logic mệnh đề thể hiện và suy lý với các mệnh đề. Ví dụ: A B ? C Đặc biệt một số phép toán có thể được suy diễn từ các phép toán khác A ? B ? ? A ? B - Logic vị từ là mở rộng của phép toán mệnh đề để thể hiện rõ hơn các tri thức. Ví dụ: Thich(X,Y) Thich(Z, Y) ? ? Thich(X, Z)