Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định
Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định
CHƯƠNG 4: LOGIC VỊ TỪLogic mệnh đề cho phép ta biếu điền các sự kiện, mồi ki hiệu trong logic mênh đề được minh họa nhu là một su kiện trong thế giói Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định hiện thực. SŨ dung các kết nối logic ta có thể tạo ra các câu phúc hợp biểu điền các sụ kiện mang V nghĩa phúc tạp hơn. Nhu vậy khà năng biêu điền của logic mệnh đê chi giới hạn irong phạm vi thế giới các sự kiên.Thế giới hiện thục bao gồm các dổi tượng, mồi dối tượng có nhưng tinh chất riêng dế ph Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định ân biệt nó với các dối tượng khác. Các dối tượng lại có quan hệ với nhau. Các mối quan hệ rầt da dạng vã phong phú. Chúng ta có thè liệt kê ra rất nhiBài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định
ều ví dụ về dối lượng. tinh chai, quan hộ.Dôi tượng: một cái bàn. một cái nhà. một cái cây, một con người. một con sô...Tinh chất: Cái bàn có thế có tCHƯƠNG 4: LOGIC VỊ TỪLogic mệnh đề cho phép ta biếu điền các sự kiện, mồi ki hiệu trong logic mênh đề được minh họa nhu là một su kiện trong thế giói Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định cm. bè bạn (giữa con người) ; lớn hon nhô hcm. bàng nhau (giừa các con số); bên trong, bèn ngoài nằm trên nằm dưới (giừa các dồ vật)...Hàm: Một {rường hc.yp riêng cúa quan hệ là quan hộ hàm. (’hàng hạn, vì mồi người có một mẹ. do dỏ ta có quan hệ hãm úng mồi nguôi với mẹ cua nõ.Logic VỊ từ lã mơ rộn Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định g cua logic mệnh dề. Nó cho phép ta mô ta thế giới với các dối lượng, các thuộc lính cúa đôi lượng và các mồi quan hệ giừa các đôi lượng. Nó sứ dụng cBài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định
ác biến (biên đôi lượng) đê chi một đôi lượng Irong một miên đôi lượng nào đó. De mô lã các thuộc lính của đôi lưc.mg, các quan hệ giừa các đôi lượng,CHƯƠNG 4: LOGIC VỊ TỪLogic mệnh đề cho phép ta biếu điền các sự kiện, mồi ki hiệu trong logic mênh đề được minh họa nhu là một su kiện trong thế giói Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định ng hạn. lượng lử V (với mọi) cho phép ta tạo ra các câu nói tới mọi dối tượng trong một miền dối tượng nào dó. Logic vị tù dóng vai trò cực kì quan trọng trong biếu diễn tri thức, vi khá năng biếu diễn cùa nỏ (cho phép biêu điền Iri thức về thê giới với các đoi tượng, các thuộc lính cúa đối tượng và Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định các quan hệ cúa đối tượng) và hơn nữa, nó là cơ sờ cho nhiều ngôn ngừ logic khác.4.1.Cú pháp và ngừ nghía của logic vị lừ4. ỉ. ỉ. Cú phápa)Các kỷ hiệBài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định
uLogic vị từ sù dung các loại ký hiệu sau đây:-Các ký hiệu hang: a, b, c. an, Ba, John,...-Các kỷ hiệu bien: X, y, z, u, v. w,.„-Các kỷ hiệu vị lừ: p.CHƯƠNG 4: LOGIC VỊ TỪLogic mệnh đề cho phép ta biếu điền các sự kiện, mồi ki hiệu trong logic mênh đề được minh họa nhu là một su kiện trong thế giói Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định u vị từ không biến là các ký hiệu mệnh đề.-Các ký hiệu hàm: f. g. cos, sin. mother, husband, distance,... Mỏi hàm là hàm của n biến (n>l). Chảng hạn. cos. sin lã hàm một biến, distance Là hãm cua ba biến.-Các kỷ hiệu kết nối logic: A (hội). V (tuyển), (phu định), >(kéo theo). (tương dương).-Các ký h Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định iệu lượng lử: V (với mọi), 3 (tôn lại).-Các kỷ hiệu ngân cách: dấu phây, dấu mơ ngoặc vã dấu dõng ngoặc.b)Các hạng thức(’ác hạng thức (term) là các biBài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định
êu thức mô lã các đồi lượng, (’ác hạng thức được xác định đệ quy như sau.(’ác ký hiệu háng và các ký hiệu biên là hạng thức.Nếu t|, t2, t3,.... tn lã CHƯƠNG 4: LOGIC VỊ TỪLogic mệnh đề cho phép ta biếu điền các sự kiện, mồi ki hiệu trong logic mênh đề được minh họa nhu là một su kiện trong thế giói Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định term).Châng hạn. A., là kỷ hiệu hẩng, mother lã ký hiệu hàm một biến, thi mother (A„) Là một hạng thức cụ thè.c)Các câng thức phân lử('húng la sè biểu diễn các lính chai cùa đoi lượng, hoặc các quan hệ cùa đoi lượng bời các cóng thức phần rư (cán dơn).Các còng thức phân từ (câu dơn) dược xác dịnli Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định dệ quy như sau:-Các ký hiệu vị tử không biến (các ký hiệu mệnh dề) là càu dơn.Nêu lj, ụ,.... lu là n hạng thức và p lã vị lừ của n biên thì p(tị, ụ,..Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định
., Iq) là câu đơn.('hăng hạn. Hoa là một ký hiệu hãng. I.ovc lã một vị từ của hai biên, husband là hãm cùa một biến, thi Love (Iloa. husband(IIoa)) làCHƯƠNG 4: LOGIC VỊ TỪLogic mệnh đề cho phép ta biếu điền các sự kiện, mồi ki hiệu trong logic mênh đề được minh họa nhu là một su kiện trong thế giói Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 - ĐH Sư phạm kỹ thuật Nam Định ược xác đinh đệ quy như sau:-1Các còng thức phân từ lã còng thức;-2Neu G và H là các công thức, thi (G A H), (G V H), ( kĩ), (G>H), (GoH) là công thứcCHƯƠNG 4: LOGIC VỊ TỪLogic mệnh đề cho phép ta biếu điền các sự kiện, mồi ki hiệu trong logic mênh đề được minh họa nhu là một su kiện trong thế gióiGọi ngay
Chat zalo
Facebook