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:
(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.
- 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.