xây dựng hệ tính toán thông minh 1

trí tuệ nhân tạo là một lĩnh vực của khoa học máy tính nhằm nghiên cứu phát triển các hệ thống ngày càng thông minh hơn, hỗ trợ tốt hơn cho hoạt động xử lý thông tin và xử lý tri thức, tính toán và điều khiển, ...

1

1.1.1 ca'u truc cua mQt h~ giai bai tmin dva tren tri thuc

1.1.2 Va'n d@bi~u di@ntri thuc

1.1.3 Va'n d@suy di@ntt;I'dQng

1.2Phan tfch aanh gia m(}t s6 cong trinh aft co

1.2.1 Cac phu'dng phap bi~u di@ntri thuc

7

1.2.2 MQt s61y thuye't v@chung minh va suy di@ntV dQng

1.2.3 MQt s6 phu'dng phap chung minh dinh ly hlnh hQc

1.2.4 Phu'dng phap Wu

1.2.5 Cac phu'dng phap chung minh hlnh hQc bang may tinh

1.2.6 MQt s6 ke't qua nghien CUllxay dvng h~ giai roan hlnh hQc

1.2.7 MQt s6 san pha"m ph~n m@m giai roan

2.1 Dftn nh~p

2.2 M~ng suy di~n va cae v:1na~ cd ban

16 18

2.2.1 Quan h~ va lu? t suy di@n

2.2.2 M:~tllg suy di@n

2.2.3 Cac va'n d~ tren m~ng suy di@n

2.3.1 Tinh giai du'QCcua bai roan

2.3.2 Loi giai eua bai roan

2.2.3 Dinh ly v~ s11phan tieh qua trlnh giai

2.4 M~ng suy di~n co trQng s6 va Wi giai t6i u'u

2.4.1 Dinh nghla va ky hi~u

36

2.4.2 Loi giai va dQphue t~p eua qua trinh tim Wi giai

2.4.3 TIm Wi giai t6i u'u

2.5 T~p hQ'psinh va vi~c ki~m (ijnh, b6 sung gia thie't

2.5.1 Khai ni~m t~p hQpsinh

44

2.5.2 TIm t~p hQp sinh

2.5.3 B6 sung gia thie't eho bai roan suy di@n

2.6.1 M6 hinh

2.6.2 Giai bai roan tren m~ng suy di@n-tinh roan

CHUaNG 3 MO HINH TRI THUC cAC DOl TU<JNG TINH TOAN 55

3.1 Khai ni~m v~ d6i ttiQ'ngtinh toaD va mo hlnh

3.1.1 D6i tu'Qngtinh roan

55

3.1.2 M6 hlnh cho mQt d6i tu'Qngtinh roan

3.2.1 M6 hlnh tri thue COKB

3.2.2 Vi d1,1v~ mQt ma hinh tri thuc d6i tu'Qngtinh loan

3.3.1 Cae thanh ph~n

3.3.2 c1u true eua cae t~p tin lu'utIlr cae thanh ph~n trong COKE

3.4 Giai toaD d6i tu'Q'ngtinh toaD

3.4.1 Giai quye't va"nd€ cd ban 1

78

3.4.2 Giai quye't v1n d~ cd ban 2

.3.4.3 Giai quye't v1n d~ cd ban 3

3.4.4 Giai quye't va'n d~ cd ban 4

93 4.1 M~ng cac dol tu'Q'ngtinh toaD cd ban

4.1.1 Mo hlnh

4.1.2 Cae bfli roan

4.2.1 Tinh giai duQe eua bfii roan

4.2.2 TIm loi giai eua bfii roan

4.2.3 Dinh 19v~ st;(phan rich qua trinh giai

4.2.4 Loi giai t6i u'u

4.3.1 Mo hlnh t6ng quat cae d6i tuQngtinh roan

4.3.2 Phudng phap giai bfii roan tVdQng

4.4 TITgiac v6'i tinh Dang md r(}ng

4.4.1 Ca'u tnie eua d6i tuQng tu giae

120

4.4.2 M,;mg cae d6i tuQng trong tu giae

128 5.1 Chu'dng trinh giai toaD dol tu'Q'ngtinh toaD

5.1.1 Sd d6 ho<;ltdQnggiai roan eua ehu'dng trinh

5.1.2 Qui u'oc v~ d~ bfii

5.1.3 MQt so' thu We ehinh

5.1.4 Loi giai

5.2.2 Cae vi d\l

5.3.1 Ca'u truc cua h~ th6ng chuang trlnh

5.3.2 Ca sd tri thU'c cua chuang trlnh

5.3.3 Ky thu~t giai bai to<ln

5.3.4 Ng6n ngu khai bao bai toan

5.4.1 Cac bai toan

5.4.2 MQt so' phan U'nghoa hQc

5.4.3 Cac VI dl,l

DANH MT)CcAc BAI BAa LIEN QUAN

TAl LI~U THAM KHAO

PHT) LT)C