MÔ PHỎNG THUẬT TOÁN VƯƠNG HẠO TRONG PROLOG
1. Các luật suy diễn trong thuật toán Vương Hạo
Luật 1: Chuyển vế các giả thuyết và kết luận ở dạng phủ định
Ví dụ: p v q, !(r ^ s), !q, p v r -> s, !p <=> p v q, p v r, p -> s, r ^ s, q
Luật 2: Thay dấu ^ thành dấu phẩy của giả thuyết
Ví dụ: p ^ q, r ^ (!p v s) -> !q v !r <=> p, q, r, !p v s -> !q v !r
Luật 3: Thay dấu v thành dấu phẩy của kết luận
Ví dụ: p ^ q, r ^...
mô phỏng
Simulating
prolog
Hao Wang
Algorithm
1056
Upload to Drive and convert to Workspace format using Apps Script
Nếu tất cả file đều được tạo trên Google Drive và chỉnh sửa bằng trình duyệt thì rất tuyệt vời. Tuy nhiên, nhiều người vẫn có thói quen sử dụng bộ công cụ Office của Microsoft để chỉnh sửa offline, sau khi hoàn thành thì tải lên Google Drive để lưu trữ.
Thông thường, để tải lên Google Drive, chúng ta có thể sử dụng giao diện người dùng mặc định của phần mềm, việc tải lên rất đơn...
Apps Script
May Fest
2041