TỔNG QUAN THUẬT TOÁN – THUẬT GIẢI
Trong quá trình nghiên cứu giải quyết các vấn đề – bài toán, người ta đã đưa ra những nhận xét như sau:
- Có nhiều bài toán cho đến nay vẫn chưa tìm ra một cách giải theo kiểu thuật toán và cũng không biết là có tồn tại thuật toán hay không.
- Có nhiều bài toán đã có thuật toán để giải nhưng không chấp nhận được vì thời gian giải theo thuật toán đó quá lớn hoặc các điều kiện cho thuật toán khó đáp ứng.
- Có những bài toán được giải theo những cách giải vi phạm thuật toán nhưng vẫn chấp nhận được.
Từ những nhận định trên, người ta thấy rằng cần phải có những đổi mới cho khái niệm thuật toán. Người ta đã mở rộng hai tiêu chuẩn của thuật toán: tính xác định và tính đúng đắn. Việc mở rộng tính xác định đối với thuật toán đã được thể hiện qua các giải thuật đệ quy và ngẫu nhiên. Tính đúng của thuật toán bây giờ không còn bắt buộc đối với một số cách giải bài toán, nhất là các cách giải gần đúng. Trong thực tiễn có nhiều trường hợp người ta chấp nhận các cách giải thường cho kết quả tốt (nhưng không phải lúc nào cũng tốt) nhưng ít phức tạp và hiệu quả. Chẳng hạn nếu giải một bài toán bằng thuật toán tối ưu đòi hỏi máy tính thực hiên nhiều năm thì chúng ta có thể sẵn lòng chấp nhận một giải pháp gần tối ưu mà chỉ cần máy tính chạy trong vài ngày hoặc vài giờ.
Các cách giải chấp nhận được nhưng không hoàn toàn đáp ứng đầy đủ các tiêu chuẩn của thuật toán thường được gọi là các thuật giải. Khái niệm mở rộng này của thuật toán đã mở cửa cho chúng ta trong việc tìm kiếm phương pháp để giải quyết các bài toán được đặt ra.
Một trong những thuật giải thường được đề cập đến và sử dụng trong khoa học trí tuệ nhân tạo là các cách giải theo kiểu Heuristic.
- Trí tuệ nhân tạo
- Chương 1 : Thuật toán – thuật giải
- Chương 2 : Biểu diễn tri thức
- Tổng quan trí tuệ nhân tạo
- Thông tin, dữ liệu và tri thức
- Thuật toán – một phương pháp biễu diễn tri thức?
- Làm quen với cách giải quyết vấn đề bằng cách chuyển giao tri thức cho máy tính
- Các phương pháp biễu diễn tri thức trên máy tính
- Logic vị từ
- Một số thuật giải liên quan đến logic mệnh đề
- 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 tri thức bằng frame
- Biểu diễn tri thức bằng script
- Phối hợp nhiều cách biểu diễn tri thức
- Chương 3: Mở đầu về quan máy học