Nghiên cứu các phương pháp biểu diễn tri thức trong lập trình Logic
CÁC PHƯƠNG PHÁP BIỄU DIỄN TRI THỨC TRÊN MÁY TÍNH
Thu nhận và biễu diễn tri thức
BIỂU DIỄN TRI THỨC SỬ DỤNG LUẬT DẪN XUẤT (LUẬT SINH)
BIỄU DIỄN TRI THỨC SỬ DỤNG MẠNG NGỮ NGHĨA
Biểu diễn yêu cầu bằng biểu thức đại số quan hệ
Giao trinh TRÍ TUỆ NHÂN TẠO chương 4 BIỂU DIỄN BÀI TOÁN BẰNG LOGIC VÀ CÁC PHƯƠNG PHÁP CHỨNG MINH