Sao cho a có thể hợp nhất (unifiable) được với t nhờ so khớp. Nếu tìm được P(t) là sự kiện như vậy, việc chứng minh kết thúc. Còn nếu tìm được P(t) là luật, cần lần lượt chứng minh vế bên phải L 1 , L 2 , …, L n của nó. Trong ...
X = ann ->; X = sue ->. Yes Vậy thì Sue lại là em gái của chính mình?! Điều này sai vì ta chưa giải thích rò trong định nghĩa chị em gái. Nếu chỉ dựa vào định nghĩa trên đây thì câu trả lời của Prolog là hoàn toàn hợp lý. Prolog suy ...
Trong trường hợp muốn đặt một chú thích ngắn sau mỗi phần khai báo Prolog cho đến hết dòng, có thể đặt trước một ký hiệu %. 5.4.3. Các kiểu dữ liệu sơ cấp của Prolog a) Các kiểu hằng (trực kiện) - Kiểu hằng số Prolog sử dụng ...
Các giả thuyết trở thành rỗng, thì ta kết luận giả thuyết ban đầu là đúng với phép thế biến θ. Sau đây là thủ tục suy diễn lùi. Trong thủ tục này, Hyp và θ là các biến địa phương trong thủ tục. Giá trị ban đầu của Hyp là danh ...
4. động vật có cổ dài thì động vật là đà điểu Luật 9: nếu 1. động vật là chim, và 2. động vật không biết bay, và 3. động vật biết bơi, và 4. động vật có lông đen và trắng thì động vật là chim cánh cụt Giả sử một em bé ...
- Mọi người là bạn của Huy thì không biết tiếng Anh. - Bạn của Huy cũng là bạn của Bình. a) Hãy chuyển các câu trên sang logic vị từ. b) Dùng lập luận để trả lời câu hỏi"trong số Mai, An ai biết tiếng Anh, ai biết tiếng Pháp? 4.12. ...
Bây giờ ta muốn hỏi CSTT gồm các câu (1)-(8): Ai đã giết Bibi? Điều đó có nghĩa là ta cần tìm các đối tượng ứng với biến t mà câu Kill(t, Bibi) là hệ quả logic của các câu(1)-(8). Trường hợp 1 : giả sử ông Am không giết Bibi. Bổ sung ...
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. ...
Trang 46, Trang 47, Trang 48, Trang 49, Trang 50, Trang 51, Trang 52, Trang 53, Trang 54, Trang 55,