tailieunhanh - Bài giảng Trí tuệ nhân tạo: Chương 4 - PGS.TS. Lê Thanh Hương

Bài giảng "Trí tuệ nhân tạo - Chương 4: Tri thức và suy diễn" cung cấp cho người học các kiến thức: Tri thức là gì, phân loại tri thức, suy diễn đối với logic mệnh đề, suy diễn lùi,. nội dung chi tiết. | . Tri thức là gì? • Dữ liệu và Tri thức: là những dạng khác nhau của thông tin nên khó phân biệt rạch ròi Chương 4 Tri thức và suy diễn Tri thức Lê Thanh Hương Khoa CNTT - ĐHBK HN 1 Dữ liệu - ký hiệu tượng trưng - tản mạn - cấu trúc phức hợp - số - có cấu trúc - cấu trúc đơn giản - VD: Đông y: - hâm hấp sốt - mạch nhanh/chậm - VD: Tây y: - t0 390 - mạch 75 Lê Thanh Hương – Khoa CNTT - ĐHBKHN 2 Phân loại tri thức Phân loại tri thức b. Tri thức thủ tục: how? a Tri thức mô tả: what? a. – Modus Ponens – Modus Tollens Tri thức cũ về tình huống --------→ Tri thức mới về t/huống – về tình huống (GT + KL): sự kiện – về lĩnh vực: luật nếu thì Hiểu biết về lĩnh vực Modus Ponens Modus Tollens A, A →B A →B, ¬B B ¬A • Ví dụ: Trán rộng →Thông minh Bình: trán rộng ⇒ Bình thông minh Lê Thanh Hương – Khoa CNTT - ĐHBKHN 3 Lê Thanh Hương – Khoa CNTT - ĐHBKHN 4 1 Ví dụ 1: Chứng minh bài toán hình học Phân loại tri thức GT, KL, hình vẽ + Định lý, tính chất • Mô tả? Áp dụng định lý đường trung bình vào tam giác ABC ta có • Thủ tục? • Điều khiển? Nghĩ → SD tiến, lùi; Viết → SD tiến c Tri thức điều khiển: heuristic c. X – Chọn hướng suy diễn: tiến, lùi, hỗn hợp – Chọn luật áp dụng: đảm bảo đủ, không thừa, có cấu trúc, ngắn gọn – Vẽ hình phụ Cho X = 600, Y = 600. CM XY = XZ, XY = YZ Mô tả: • Sự kiện: Bnhau(XY,UV) Bang(X,Y) Banggoc(X,a) • Luật: 60 Bnhau(XY,UV) ⇒ bnhau(UV,XY) Y Bnhau(XY,UV) ⇒ bnhau(XY,VU) Bang(Y,Z) ⇒ bnhau(XY,XZ) Bnhau(XY,UV) ∧ bnhau(UV,ST) ⇒ bnhau(XY,ST) ??? Ban đầu: banggoc(X,60), banggoc(Y,60) Đích: bnhau(XY,XZ), bnhau(XY,YZ) – – – – – • • Lê Thanh Hương – Khoa CNTT - ĐHBKHN 60 5 Lê Thanh Hương – Khoa CNTT - ĐHBKHN Z 6 Tom và Harry Ví dụ 2 Tri thức mô tả: • Giả thiết dưới dạng phép And • H Harry là 1 con thỏ H (H Hare(Harry) ) • Tom là 1 con rùa Tortoise(Tom) • Thỏ chạy nhanh hơn rùa Harry ( Hare) ∧ Tortoise (Tom) • Luật Hare( Harry ) ∧ Tortoise(Tom) → Outruns( Harry, Tom) ∀x, yHare( x) ∧ Tortoise( y ) → Outruns( x, y ) • .