Bài tập môn AI (UTC)
Thuật toán
- BreadthFirstSearchBnR: Tìm kiếm mù rộng (Bài toán qua sông)
- DepthFistSearchBnR: Tìm kiếm mù sâu (Bài toán qua sông)
- BestFirstSearchBnR: Tìm kiếm tốt nhất đầu tiên (Bài toán qua sông)
- HillClimbingSearchBnR: Tìm kiếm leo đồi (Bài toán qua sông)
- AAsterisk: Thuật toán A*
- Dodgem: Tìm kiếm có đối thủ với trò chơi dodgem
- ResolutionProve: Chứng minh mệnh đề bằng phương pháp phân giải