Ôn Thi
1. Suy diễn tự nhiên (trong tài liệu học mở chương Logic 9.3.20_ 4 Luật_ VD 9.3.25)
2. Biểu diễn logic vị từ
- (Cho câu tiếng anh) -> Logic vị từ -> Logic mệnh đề (bỏ phần lượng từ) -> phân giải vị từ.
- Dạng chuẩn CNF (Slide10.1.1)(10.1.7 convert CNF) VD 10.1.12
- Xem Slide 10.3.1 -> VD Sự tò mò giết chết con mèo 10.5.9 -> Viết FOE (Logic vị từ 9.6.1)
3. So sánh các giải thuật tìm kiếm Depth First Search, Breath First Search, Best First Search.
- So sánh giải thuật
- So sánh thời gian chạy xấu nhất
- So sánh không gian tìm kiếm xấu nhất
- có dảm bảo tìm được lời giải.
- có dùng Heuristic, thông tin tìm kiếm .
(Chương 2 slide day của thầy).
GOODLUCK!
1. Suy diễn tự nhiên (trong tài liệu học mở chương Logic 9.3.20_ 4 Luật_ VD 9.3.25)
2. Biểu diễn logic vị từ
- (Cho câu tiếng anh) -> Logic vị từ -> Logic mệnh đề (bỏ phần lượng từ) -> phân giải vị từ.
- Dạng chuẩn CNF (Slide10.1.1)(10.1.7 convert CNF) VD 10.1.12
- Xem Slide 10.3.1 -> VD Sự tò mò giết chết con mèo 10.5.9 -> Viết FOE (Logic vị từ 9.6.1)
3. So sánh các giải thuật tìm kiếm Depth First Search, Breath First Search, Best First Search.
- So sánh giải thuật
- So sánh thời gian chạy xấu nhất
- So sánh không gian tìm kiếm xấu nhất
- có dảm bảo tìm được lời giải.
- có dùng Heuristic, thông tin tìm kiếm .
(Chương 2 slide day của thầy).
GOODLUCK! Last edited by Admin on Tue Jul 21, 2009 12:24 am; edited 1 time in total
