TAILIEUCHUNG - Bài giảng Trí tuệ nhân tạo: Chương 3 - Nguyễn Thị Như
Dưới đây là bài giảng Trí tuệ nhân tạo: Chương 3 do Nguyễn Thị Như biên soạn. Bài giảng trình bày về Logic vị từ với những nội dung như cú pháp, ngữ nghĩa, chương trình tương đương, dạng chuẩn tắc, luật suy diễn của Logic vị từ. Mời các bạn tham khảo bài giảng để bổ sung thêm kiến thức về lĩnh vực này. | Trí tuệ nhân tạo GV: Nguyễn Thị Như Email: nhunthp@ Chương 3. Logic vị từ Nguyên nhân Logic mệnh đề chỉ biểu diễn được những sự kiện, không thể biểu diễn được tính chất của một lớp đối tượng hoặc câu Không có vật gì là lớn nhất, cũng không có vật gì là bé nhất Các ngôn ngữ dùng cho suy luận trong TTNT đều dựa trên cơ sở của logic vị từ. Chương 3. Logic vị từ Logic vị từ là sự mở rộng của logic mệnh đề. LGVT cho phép biểu diễn một lớp các đối tượng trong một miền nào đó. Thuộc tính của đối tượng, mối quan hệ giữa các đối tượng - biểu thị bởi các vị từ. Thêm các lượng từ tồn tại ( ), với mọi ( )để biểu diễn câu phức tạp. Chương 3. Logic vị từ Cú pháp Hằng: a,b,c, Biến: x,y,u,v, Vị từ: P(x,y), Q(x),Vị từ không biến là MĐ. Hàm: f,g Phép toán logic Kí hiệu lượng từ: , Dấu câu, ngoặc,. Chương 3. Logic vị từ Hạng thức Các hạng thức (term): là các biểu thức mô tả đối tượng. ĐN: Các hằng, biến là hạng thức. Nếu t1,.,tn là các hạng thức và f là hàm thì f(t1,.,tn) là hạng
đang nạp các trang xem trước
