MÔ PHỎNG THUẬT TOÁN VƯƠNG HẠO TRONG PROLOG
5 days ago - 4 mins read
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 ... ...