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ó:

(AC)B F ((AB)(CB))F

((AB)(CB))F

((AB)F)((CB)F)

((AB)F)((CB)F)

E FA (EF)A

EFA (EF)B G (EB)(FB)G

((EB)(FB))G

((EB)G)((FB)G)

(EBG)(FBG) Vậy ta có CSTT bao gồm:

- Cơ sở luật RB:


ABF

(1)

CBF

(2)

EFA

(3)

EBG

(4)

FBG

(5)

EFA

(6)

GF I

(7)

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

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

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

- 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 trang tiếp theo?
⇦ Trang trước - Trang tiếp theo ⇨

Ngày đăng: 16/07/2022