Tìm kiếm quay lui

Prolog là một ngôn ngữ lập trình. Tên gọi Prolog được xuất phát từ cụm từ tiếng Pháp Programmation en logique, nghĩa là "lập trình theo lô gích". Xuất hiện từ năm 1972 (do Alain Colmerauer và Robert Kowalski thiết kế), mục tiêu của Prolog là giúp người dùng mô tả lại bài toán trên ngôn ngữ của logic, dựa trên đó, máy tính sẽ tiến hành suy diễn tự động dựa vào những cơ chế suy diễn có sẵn (hợp nhất, quay lui và tìm kiếm theo chiều sâu) để tìm câu trả lời cho người dùng....

99p kudich 19-07-2013 127 35   Download

Giới thiệu Kiểm toán và Giải trình Kỹ thuật kiểm toán trong cơ sở dữ liệu Case study: kiểm toán trong Oracle .Giới thiệu Kiểm toán và Giải trình Kiểm toán (Audit) : giám sát và ghi lại những hoạt động đã và đang xảy trong hệ thống một cách có chọn lọc. Audit = Ai làm gì với dữ liệu nào khi nào và bằng cách nào (Who did what to which data when and how) Trách nhiệm giải trình, gọi tắt là giải trình (Accountability): (Accountability) trách nhiệm tìm ra và chứng minh nguồn gốc các hoạt động xảy...

44p trinhvietnambk 29-05-2013 94 7   Download

Bài giảng 'Trí tuệ nhân tạo: Giải quyết vấn đề" cung cấp cho sinh viên các kiến thức: Ràng buộc, bài toán thảo mãn ràng buộc, đồ thị với ràng buộc, các bài toán thỏa mãn ràng buộc, tìm kiếm bằng kiểm thử, tìm kiếm quay lui, biến bị ràng buộc nhiều nhất,... Mời các bạn cùng tham khảo nội dung chi tiết.

43p nhasinhaoanh_09 13-10-2015 101 9   Download

Quay lui (backtracking) là một chiến lược tìm kiếm lời giải cho các bài toán thỏa mãn ràng buộc. Trong chương này chúng ta sẽ cùng tìm hiểu một số kiến thức liên quan tới giải thuật quay lui và giải thuật nhánh và cận. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

37p youcanletgo_01 04-01-2016 110 17   Download

Bài giảng Thuật toán ứng dụng: Đệ quy-Quay lui-Nhánh cận cung cấp cho người học những kiến thức như: Đệ quy; Đệ quy có nhớ; Nhị phân; Tập con; Hoán vị; Phân tích; Đặt hậu; Bài toán người bán hàng (TSP – Traveling Salesman Problem). Mời các bạn cùng tham khảo!

29p conbongungoc09 05-08-2021 59 5   Download

Prolog giúp người dùng mô tả lại bài toán trên ngôn ngữ của logic, dựa trên đó, máy tính sẽ tiến hành suy diễn tự động dựa vào những cơ chế suy diễn có sẵn (hợp nhất, quay lui và tìm kiếm theo chiều sâu) để tìm câu trả lời cho người dùng.

19p dauhukhothom 15-04-2011 138 43   Download

Phần này mở rộng khái niệm heuristic cho một số bài toán tìm kiếm khác. Các thuật toán tìm kiếm UCS, tìm kiếm tốt nhất và A* thực hiện chiến lược vét cạn trên không gian tìm kiếm để tìm lời giải. Chiến lược này bảo đảm tìm được đường đi (tối ưu) nhưng phải duyệt nhiều trạng thái, đặc biệt khi bài toán có độ sâu lời giải lớn. Các bài toán dưới đây áp dụng các chiến lược tìm kiếm heuristic (cố gắng đưa ra lời giải tốt tại mỗi bước thực hiện) và không quay lui....

4p thanhuthe7777 05-03-2011 243 89   Download