KHO THƯ VIỆ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ửi thông báo lỗi    ⚠️ Báo cáo tài liệu vi phạm

Loại tài liệu:     PDF
Số trang:         141 Trang
Tài liệu:           ✅  ĐÃ ĐƯỢC PHÊ DUYỆT
 













Nộ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 nhi

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í 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ó t

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) 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 c

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 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ý 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ệ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 b

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 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) d 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

ức; 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

Gọi ngay
Chat zalo
Facebook