Tài liệu miễn phí Trang 6633 - Tài liệu tham khảo

Trong đó P i' =P i (i=1,., m), Q'=Q  . Ví dụ: Xét hai câu Student(x)  Male(x)  Play(x, Football) và  Male(Ba). Hai câu Male(Ba) và Male(x) hợp nhất được với phép thế  =[x/Ba], do đó từ hai câu trên ta suy ra Student (Ba)  Play (Ba, Football). ...

Các công thức không phải là công thức phân tử sẽ được gọi là các câu phức. Các công thức không chứa biến sẽ được gọi là công thức cụ thể. Khi viết các công thức ta sẽ bỏ đi các dấu ngoặc không cần thiết, chẳng hạn các ...

CÂU HỎI VÀ BÀI TẬP CHƯƠNG 3 3.1.Trình bày cú pháp của logic mệnh đề gồm: các ký hiệu và các qui tắc xây dựng công thức. 3.2.Trình bày khái niệm về literal, câu phân tử, câu phức, câu tuyển, câu Kowalski, câu Horn.Cho ví dụ minh họa. 3.3. ...

Trong các hệ tri thức, chẳng hạn các hệ chuyên gia, hệ lập trình logic,., sử dụng các luật suy diễn người ta thiết kế lên các thủ tục suy diễn (còn được gọi là thủ tục chứng minh ) để từ các tri thức trong CSTT ta suy ra các tri ...

3.2.2. Các quy tắc xây dựng các công thức Các biến mệnh đề là công thức. Nếu A và B là công thức thì: (A  B) (đọc"A hội B"hoặc"A và B) (A  B) (đọc"A tuyển B"hoặc"A hoặc B) (  A) (đọc"phủ định A) (A ...

2.23. Cho đồ thị trạng thái. Hãy sử dụng thuật toán A* tìm đường đi ngắn nhất từ A tới G. Trọng số gán tại các đỉnh là giá trị hàm đánh giá tại đỉnh đó. Yêu cầu mô phỏng từng bước quá trình tìm kiếm. 2.24. Cho các bài toán ...

Hình 2.38. Cắt bỏ cây con gốc a nếu eval(u)>eval(v) Khi đó ta có giá trị đỉnh Trắng c ít nhất là giá trị của u, giá trị của đỉnh Đen b nhiều nhất là giá trị của v. Do đó, nếu eval(u) > eval(v) ta không cần đi xuống để đánh giá ...

U Ví dụ 2.28: Cho đồ thị trạng thái trong Hình 2.28. Hãy sử dụng thuật toán nhánh_cận để tìm đường đi ngắn nhất từ đỉnh u o =A đến đỉnh G. Trọng số gắn tại các đỉnh xác định giá trị của hàm h tại đỉnh đó. Yêu cầu mô ...

Trong các chương trước chúng ta đã nghiên cứu vấn đề tìm kiếm đường đi từ trạng thái ban đầu tới trạng thái kết thúc trong không gian trạng thái. Trong mục này, ta giả sử rằng, giá phải trả để đưa trạng thái a tới trạng thái b ...

Hàm đánh giá nhỏ nhất, trạng thái này được xem là trạng thái có nhiều hứa hẹn nhất hướng tới đích. Các kỹ thuật tìm kiếm sử dụng hàm đánh giá để hướng dẫn sự tìm kiếm được gọi chung là các kỹ thuật tìm kiếm kinh ...

Trong một vùng lãnh thổ (xem Hình 2.11). Giả sử ta cần tìm đường đi từ thành phố A tới thành phố B. Có con sông chảy qua hai thành phố E và G và có cầu qua sông ở mỗi thành phố đó. Mọi đường đi từ A đến B chỉ có thể qua E hoặc G. ...

Trạng thái đầu (0;0) Tập trạng thái đích T={(x, 3) / 0  x  5}  {(3, y) / 0  y  4} Quá trình tìm kiếm theo chiều sâu thể hiện theo từng bước sau: Bước u Đỉnh kề với u và chưa đánh dấu L Father 0 Khởi tạo (0, 0) 1 (0, 0) (5, 0) (0, 4) ...