Nhập môn trí tuệ nhân tạo - 33

Bài 5.4.

- Chuyển về dạng câu Horn: Ta có:

(AC)B  F ((AB)(CB))F

 ((AB)(CB))F

 ((AB)F)((CB)F)

 ((AB)F)((CB)F)

E FA (EF)A

 EFA (EF)B  G  (EB)(FB)G

((EB)(FB))G

 ((EB)G)((FB)G)

 (EBG)(FBG) Vậy ta có CSTT bao gồm:

- Cơ sở luật RB:

ABF

(1)
CBF	(2)
EFA	(3)
EBG	(4)
FBG	(5)
EFA	(6)
GF  I	(7)

Có thể bạn quan tâm!

• Nhập môn trí tuệ nhân tạo - 30
• Nhập môn trí tuệ nhân tạo - 31
• Nhập môn trí tuệ nhân tạo - 32

Xem toàn bộ 272 trang tài liệu này.

- Cơ sở sự kiện FB:

B (8)

C (9)

- Dùng phương pháp lập luận tiến chứng minh I: Áp dụng thủ tục For_chain với CSTT này ta có:

(2), (8), (9)F (11)

(11), (8), (5)G (12)

(11), (12), (7)I

Kết luận: I được chứng minh

- Dùng phương pháp lập luận lùi chứng minh I:

Áp dụng thủ tục Backward_Chaining cho CSTT này ta có:

Xét Hyp=[I] (7) Hyp=[G, F]

(5) Hyp=[B, F]

(2)Hyp=[B, C]

(8), (9)Hyp=[]

Kết luận: I được chứng minh.

Bài 5.7.

Dùng phương pháp lập luận lùi:

- Chuẩn hóa CSTT:

+ Cơ sở luật RB:

a  b  c  p (1)

b  p  c  a (2)

a  p  c  b (3)

a  b  p  c (4)

S  c  hc (5)

a  b  C  c (6)

a  b  C  S (7)

a  b  c  p  S (8)

S  hc  c (9)

+ Cơ sở sự kiện FB:

a (10)

b (11)

C (12)

- Xét Hyp=[hc]

(5)  Hyp=[S, c] (13)

(13), (6)  Hyp=[a,b,C,S] (14)

(14), (7)  Hyp=[a,b,C] (15)

(15), (10),(11),(12)  Hyp=[]

- Kết luận: Tính được hc khi biết a,b, C.

TÀI LIỆU THAM KHẢO

[1]. Đinh Mạnh Tường, Trí tuệ nhân tạo, NXB Khoa học và Kỹ thuật, Hà Nội, 2002. [2]. Nguyễn Thanh Thủy, Trí tuệ nhân tạo: Các phương pháp giải quyết vấn đề và xử

lý tri thức, NXB Giáo dục, 1996.

[3]. Đỗ Trung Tuấn, Trí tuệ nhân tạo, NXB Giáo dục, 1998.

[4]. Nguyễn Thiện Thành, Trí tuệ nhân tạo và hệ chuyên gia, Trường Đại học Bách khoa TP Hồ Chí Minh, 2006.

[5]. Nguyễn Quang Hoan, Nhập môn Trí tuệ nhân tạo, Học viện Công nghệ bưu chính viễn thông, 2007.

[6]. Nguyễn Đình Thúc, Trí tuệ nhân tạo và lập trình tiến hóa, NXB Giáo dục, 2008. [7]. Phạm Thọ Hoàn, Phạm Thị Anh Lê, Trí tuệ nhân tạo, Trường Đại học Sư phạm

Hà Nội, 2011.

[8]. Vò Huỳnh Trâm, Trần Ngân Bình, Trí tuệ nhân tạo, Trường Đại học Cần Thơ, 2007.

[9]. Bùi Xuân Toại, Trương Gia Việt, Trí tuệ nhân tạo, Các cấu trúc và chiến lược giải quyết vấn đề, NXB Thống kê, 2000.

[10]. Bạch Hưng Khang, Hoàng Kiếm, Trí tuệ nhân tạo, Các phương pháp và ứng dụng, NXB Khoa học kỹ thuật, 1989.

[11]. Hoàng Kiếm, Đinh Nguyễn Anh Dũng, Nhập môn trí tuệ nhân tạo, NXB Đại học Quốc gia TP Hồ Chí Minh, 2005.

[12]. Trương Chí Tín, Nhập môn trí tuệ nhân tạo, Trường Đại học Đà Lạt. 2009. [13]. Nguyễn Đình Thuận, Trí tuệ nhân tạo, Trường đại học Nha Trang, 2008.

[14]. George F. Luger, William A. Stubblefield, Artificial intelligence - structure and Strategies for complex Problem Solving, Wesley Publishing company, 1997.

[15]. Elaine Rich, Kevin Knight, Artificial intelligence, Mcgraw-Hill, 1991.

Xem tất cả 272 trang.