Tiểu luận môn lập trình trí tuệ nhân tạo Lập trình hàm và lập trình Logic




 ! "#$%&
'()*(+
,-"
#$./0 1
2345
#$.637
8 "2'(%9%:;<=>?
Quảng Bình, tháng 12 năm 2012

@@

!
!"#$%&'
()%#!*)&+,-
./0123/4567899-
./0:;<;=>9?567899-
.//4-
8;@;6A
()%#B(C
!:;5DC
(EF8GD/6C
HI5GJK27899
'.LM8NO8HI57899
!:;536/8'
(EF8GD/6'
HI5GJ(5636-
'.LM8NO8HI5P
.,!&B#A

!Q&)R .)ST
 !"#$%

ABC
!:;55F4EN63DU8K4/V/LWXYDWZ3DZOW[/8\F88
N565]/^3_Y`8Wa8G/43D563_Y`85F4EN6/Z6/L;4b
cd3eK2`/VF6f8
:1g2h/Lf8:WH<856M5i8:;/0YD/V8f
Y^K!:;55F4EN6WH<8>`;E8KYDHj1k8lZmO/6(77
(Z)O.8nK/WX8iU;mU/1h/Lf8W0W/>E/V8fYD3D
W^D//03:86Ki8
#U/18lZ/03:WH<88/Z3D;mH>Zo
(m!eOLo^8:;WL88Y]W^8IGY^8]5n8123/4h/0:;<;=>9?
56K23:;5D7899
(mD/:;opU/1o!:;5DYD3:;5!6/8
!:;5Do/L8HI5GJ7899W0F[=D/:;A?o
7q

AP
-
'

-'



A-
++++
x
xx

x
x
x

j/WU8Fc8
ε
q
rP
!:;5!6/8o /L8HI5(5636K;s88DW4MO`8/4
h/05Z>bOVb=9>t65(5/9?YDWp1H=659?ZuG618=D/:;'?
r1/Y=c?q1/Y/>65>v39M=cc?
r1/Y/>65>v39M=c?q
r1/Y/>65>v39M=cOw?q1/Y/>65>v39M=cO?w9>=59Z/1=cOw??
r/>v;5/9=c?q9MZ3=1/Y=c??
r8659=ZG8?q9MZ3=59Z/1=Z8?59Z/1=G8??
 !"#$%&

C!DEF
G#HH!%I#(J#)/K(LM+#)/#$N)O)P8Q8<RS)?)/2R(STS
!H!%I#LM+#)/2 (STS
./0123/4=1ZZO;9?3DU:;<;88/5x8\MZ48y36N/Yj/Z
=593Z91YZ39>?8h/0123/4WH<8cd3e96G8]8lZ8nYDHz8\
F;E8];567998\36N/123/43Dh/0WI/=>/;391ZZO;9?YD
h/0;f8<;=86;611ZZO;9?
./0WI/GZ6poh/0>b=G95?h/03K/8=G6639Z? h/0he`
=8Z5Z895?YDh/0he/4=>OG63?
./0;f8<;poh/0:;<;=>9?h/0=Z55ZO?h/08{/=>5/?
h/0Y98I=Y9865?h/0GUWK/=16G39?h/01Z>8
56;NY/8lZW^D/DO8nK/8|5GDO8//LY^h/08]5n812
3/45O^b:;<;567899

!:!%I#)P8Q8<RS)?)/2 (STS
I.2.1. Khi nim
566i8:;<;=>9?3DU\ZOUGU>H:;88Wb/H<;E
G/4}c

c

~c

•WH<8i/3D88;md=9399>?8lZ:;<;6{/;md
8lZ:;<;8|WH<83/4hVU3mYDhKWH<8>€;cL;f`VHz/ZhK
\/WL;mdf];mdfZ/YY~F1gZ/:;<;>ZWEO3DWp
]o
}ZG1Z1981•q}ZG81•
6:;<;8•3DU1Z>8Hz/Z8\0>d1g8]5n81Z>8W0
G/01/‚:;<;567899#HY:OU:;<;5{3DU1Z>85{0
>6>Z/:;<;GJZhKZ8\0>d1gYxƒ9MZ3„#H>Zo
'()*)'+)),$-../
'#(0$12%34%$
''$('-./'-.//5/
0$1#$6786934%$
''),$-'#$./'#$.//
'+)),$-'#(./'#(.///
0$1#$67869:;#$
:;#$<
')+)5*///
'+)),$-='&>?/='&>?/
 !"#$%

@@A5

B#C
'()*).='$3#()//
'()*)../
'+)),$-../
@@A5
0e5J56Yxƒ>99MZ3„5VWEOZ8HZcd3eZ/:;<;8\88;md
/bZYD8\8y>b;mdHhKWH<8>€;cL;f`HZo
'+)),$-='&>?/='&>?//
@@A5*
7ZWEOZ>…>d1gHzcOVD9G95W0>d3e:;<;)DDOh/0
5ZU;md8\U81Z>8WX86ZOhKo
†5Hz<;;mdh/05Z8\h/0WI/
')3)=#='$3#()//
@@A='#()/
†5Hz<;;‡dh/05Z8\h/0;f8<;
')3)'+=$/='3'$/#//
@@A=''$/#/
xƒ/„h/05ZU;md8\U8U:;<;WX86ZOhK„
'()*)'-D./
'#(''-./5*/0($+;#2%
'')3)D./5/0DE67:8F%G
')+)'-D'#(./////0DE67:H#
1
'-=#./
@@A5
0cEO1`U:;<;ƒU1Z>8Hz/Z;/36N/Gs88;md
5y3a;)D3/>rˆ>9>ZWEO>d1gD9G953m3H<h/05Z88;md
8lZ1Z>8WX86.LM5Y^8|/23N/;md8b/8yWb/Yj/2;m
d5yZYD8HZ>€;cL;3N/88;md96f`
'()*)'+@A+)/

'#(''-/='//
'')3)'#$/'#(//
'+@A+)'#(///
')+)'#+'#$/
'+@A+)'#(/////
 !"#$%>

'+@A+)='$3($()#(//
@@A='3$)#(/
'()*)'-../
'#(''-././
'')3)'#$././''#(././/
')+)'#+'#$./''#(././////
I.2.2. Cc php ton
I.2.2.1. Php hp trên các tp hp
/>d86Z/:;<;‰YD‰Z8mhLM8lZ;@;<;8lZZ/:;<;
‰∪‰3DU:;<;H>Zo
'()*)'../
'#(01HI2%:J,GE1H
$
''-././
0J1HI#67K#1H
$3L,$
'')3)'#$././''#(././/
0JM#+$:%G:#N#1HI
')+)'#+'#$./''#(././////
'='&O/='&>?//
@@A='O&>?/
Š5U;@;<;8lZZ/:;<;ZcEO1`;@;<;5V88:;<;G]h‹
GJ88>d1gD3/>r/o

'()*)'P+)/
'+@+)='///
'='&/='&>?/='>?O/='?OQ//
@@A='&>?OQ/
I.2.2.2. Php giao trên các tp hp
HI`88cEO1`;@;<;5V88:;<;G]h‹5Hj8/VZcEO1`
;@;/Z68lZZ/:;<;‰∩‰H>Zo
'()*)')+)#../
'#(0JK1E2%:J,G#R%2%
''-././
0#$674S#G$1
'')3)'#$././'#+'#$./
')+)#'#(././//
 !"#$%?

0JM#+$:%G:#N#1HI
')+)')+)#'#(././///
')+)#='&/='&>?//
@@A='&/
Š5U;@;/Z68lZZ/:;<;ZcEO1`;@;/Z65V88:;<;G]h‹
GJ88>d1gDZ;;3OWXWH<8Wx_ZŠg8‰5565Œ•9t95989>65896
t61o
'()*)')+)#P+)/
'#(0%$#T$#;#12%#R%E2%
''-+)/='//
0%$#T$K1E#
''-'#(+)//'#$+)//
08N$UV"#W%$#T$$1
')+)')+)#
'#$+)/

'$X)+)#'#(+)//////
')+)#='&/='&>?/='>?O//
@@A='/
I.2.2.3. Php hi!u c"a hai tp hp
6Z/:;<;‰YD‰ZWx_Z;@;/48lZZ/:;<;‰Ž‰H>Zo
'()*)'(**))#)../
'#(0J.2%:J,GE.
''-././
0J.2%:J,GE2%
''-./='//
0J.#67K#.3L,$
'')3)'#$././
'(**))#)'#(././/
0JJM#+$:%G:#N#1.
')+)'#+'#$./
'(**))#)'#(././////
'()**))#)='&>/='//
@@A='&>/
I.2.2.4. Tìm các tp hp con c"a m%t tp hp
65Hj8:;<;‰Z:;<;]888:;86=>Gr>9?8lZ‰he/4
‰

•N86‰q}ZG8•
‰
q}∅}Z•}G•}8•}ZG•}Z8•}G8•}ZG8••
8\]8•;mdGZ6p:;<;5{YDGE:;<;‰
 !"#$%O

#L:;<;‰5{
‰

8•5{#L‰h85{c@U;mdZ∈‰h/
W\8\88:;<;868fZZYD88:;<;86hK8fZZm/VcEO1`:;
<;‰Ž}Z•>ZW\8‘YD6]888:;<;868lZ‰Ž}Z•Z8\D>G>9H
>Zo
'()*)'+3+)./
'*'-./
'+='//
')'')$'+3+)'#(.////
'$)()$
'$'$3($'/
'#+'#$.///
)$/////
'+3+)='$3#//
@@A=''/'#/'3/'3#/'$/'$#/'$3/'$3#//
 !"#$%Q

C!>
!H!P8)/U3T
G#V!F[o

AP
-
'

-'



A-
++++

x
xx
x
x
x

j/WU8Fc8
ε
q
rP
II.1.1. Phân tích bài ton
[o

AP
-
'

-'



A-
++++=
x
xx
x
x
x
S
8\0Y/L3N/H>Zo

?

=

?=
?=
j
x
i
i
S
j
j
i
n
j
∏
∑
−
+=
+=
+
+=
88|>b3a;8\GHj8O3Dw
j/’qZ8\



x
S

+=
j/’q-Z8\
-'



-
xx
S
++=

EO3DU[1HIYKN
“@;mdfo
7q
j
x
i
i
j
j
i



?=
∏
−
+=
+
96OV8m8lZGD/6[71ƒh/;md7”qεZ]Oc


•Lc
8D3jc

rˆ∞5]Zh/rˆ∞16W\8m;/c8WxcU8h6D6W0
WG6:61ƒYj/W/^h/47”qε!
:OW/^h/48lZcW0sZXOV8mGD/63Dc∈–?
Gii thut
b/Yj/88GD/6F[U1XO>bYj/WU8Fc8εD6W\Y/48>d
1g;HI;;W4M/W0//MOL3DhKhOLhF8GŠ/>…3D86Y/48
 !"#$%Y

/VbGUj3VWh0(HI;;b3D1y;HI;;F83•O1m>…
/Lh/4WH<8GUj5]/^Z3N//4M86GD/6
0`8/4;@;3a;F[7Z8mcEO1`DF/5x8lZU;m
df’=’q=w??)=c’•?Yj/G/L8NO3D/WF88lZ/3D’rYD•8fZhL
M8lZF8
7ZW\ZcEO1`DF#=c9;>•>?Yj/’3DG/L8NO9;>3DW/^h/4
1ƒ•>3DG/LF83•OhLMF[
#P))2&MW8
r !N#C
 :S8K%3J#H$:J,G#T$Z%[\]]3JZ%
#RX
 :S8K%3JB^\
 ε
r !N#C
 B]]U_%BZ%
 S8K%3J#H$:J,G##T$`%
+a%b\
 c\

 !N#&C
 B
• b\bd]'e/
• c\e]]3N#GX#T$3JB
 $Jf\^@,$X3N#&
 !N#C
 b\bd'Dg^/]^
 h\^e
 $JbA\ε,$XUV3N#
r !N#>C
 Ji#UE:J,G
X(Y"3T<Z[\[]?)S2878&8MW8
Function TICH( x, j,R)
j
c*DA)k]]:%L$l8V:cmf)+
.+)
j
b\
n\^@(b\bd]'e/
 !"#$%k

b\bdDg^]^
o
b)b
o
XX)S2878&8^+_#
Function TICH(x, j)
j
c*DA)k]]:%L$l8V:cmf)+
.+)

j \
c*^\cm\
.+)cm\]'e/dcm'Dpep^@/
o
cm\cmdDg^]^
o
X3T`<Z[S8R?
Function TONG(x, eps)
j
[\
c\
c*DA)]]Z%:%D;#8q)8V:)+
.+)
j ^\
r
j
[\[ecm'Dp^/
h\^e
os)'cm'Dp^/A\)+/
b)[
o
o
II.1.2. Chương trình bằng ngôn ngữ Scheme
'define'+DD/0định nghĩa hàm tính tổng sumx
'define'+D+/0định nghĩa hàm lặp tính tổng
'if'f'+$%D/kPkkkkk/0kiểm tra điều kiện dừng
s
'+D'e/'e+'+$%D/////0biểu thức lặp
để tính tổng
'+D'e']'dDD/////0giá trị khởi động

 !"#$%

'define'+$%D^/0 định nghĩa hàm tính giá trị của một số hạng
thứ j
'define'#+/0hàm lặp tính tích
'if'A'd^//;điều kiện dừng
'd+']')DD'd^//'d^///
'#'e/'d+']'e//////0 lặp tính
tích i=2->i>j-2
'#//0giá trị khởi động
II.1.3. Kết qu chạy chương trình Scheme
s)#)r[#))pU)+&?kP
A'+DkP/
Pkk>k&&&&&&&&&&&
A'+DkP/
PkkQkY>&QkYO
A'+DkP>/
P&O??????
A'+DkPY/
P>Y??OOYQ
A'+DPk/
POYk&??QOY>
A'+DP/
P>kk&kOOkO)ek&Q
A'+DP/
Pk>Q&?>k?YOQ>)ekOO
A'+DP>/
?P&Q>&Ok&OYO)eO>
A'+DPO/
PY&Q>Q>?O>kQ)e&

A'+DPk/
;X)
;X#X:%(`%:DA\P
 !"#$%

!:!P8)/UM2(
G#a)XOY/L8HI5(5636K;s88DW4MO`8/4h/05Z>b
OVb=9>t65(5/9?YDWp1H=659?ZuG618o
r1/Y=c?q1/Y/>65>v39M=cc?
r1/Y/>65>v39M=c?q
r1/Y/>65>v39M=cOw?q1/Y/>65>v39M=cO?w9>=59Z/1=cOw??
r/>v;5/9=c?q9MZ3=1/Y=c??
r8659=ZG8?q9MZ3=59Z/1=Z8?59Z/1=G8??
II.2.1. Phân tích bài ton
“EO1`D)SR)
)+'tp/C@
t\C\kP
)+'tpk/C@
t\u\kP
“EO1`DR
+'vp!/C@+++'vp!/P
“EO1`DS_#"M
),$'tpw/C@
t\C\wP
“EO1`D/ST"
—6Z865/19/o#95Z656196/Z65YZ3>61YZ6G/9•
)$(')$pr)$pb/C@
)'r)$p)$pb/P
)'tpwpw/C@
wftP

)'tpwpb/C@
wA\tp
w+w@tp
)'tpwpb/P
“EO1`D#T
—6Z865/1919>6368Z8688Z“YZ3>6368Z868YZ6G/9
#
(U'tp/C@(U++x),'tptp/P
 !"#$%&

(U++x),'tpkpk/P
(U++x),'tpwp/C@
wA\kp
w+w@p
(U++x),'tpwp/p
)$('tpwpb/p
)+'bpv/p
+evP
“EO1`DRb8/TS
—6Z865/19h/95Z“86;Z/3Z>h6„
+x)'t/C@
(U'tp/p
),$'p/P
“EO1`D(2/#S)
+x#%)'tpwpy/C@
)$('tpypb/\C\)$('wpypb/
II.2.2. Chương trình bằng Prolog
)+'tp/C@
t\C\kP
)+'tpk/C@

t\u\kP
+'vp!/C@+++'vp!/P
),$'tpw/C@
t\C\wP
% Doan chuong trinh de tinh: Numerator mod Denominator va luu
so du vao bien R
)$(')$pr)$pb/C@
)'r)$p)$pb/P
)'tpwpw/C@
wftP
)'tpwpb/C@
wA\tp
w+w@tp
)'tpwpb/P
% Doan chuong trinh de dem so luong cac uoc cua X va luu so
luong cac uoc vao bien N
 !"#$%

(U'tp/C@(U++x),'tptp/P
(U++x),'tpkpk/P
(U++x),'tpwp/C@
wA\kp
w+w@p
(U++x),'tpwp/p
)$('tpwpb/p
)+'bpv/p
+evP
% Doan chuong trinh de kiem tra X co phai la snt khong?
+x)'t/C@
(U'tp/p

),$'p/P
+x#%)'tpwpy/C@
)$('tpypb/\C\)$('wpypb/
II.2.3. Kết qu chạy chương trình.
./05Z>bOVbo
+x)'/P
@@@AX)+
+x)'/P
@@@A
./05Z>bWp1Ho
+x#%)'&p>p/P
@@@AX)+
+x#%)'&p>p&/P
@@@A
 !"#$%>

%F
Zz//Z`8/4W^D/Y^!:;55F4EN6\8n9WX5GDO
2Y]W^8IG8lZ8]5n8123/4:;<;56K27899†/0K2
3:;57899W0//MOL88GD/6F[†/0K23:;5(5636W0
//MOLGD/6>bOVbYD>bWp1H
O/V16z//ZYDh/L;8:8˜N8LVW^D/8|1ƒ3N/Šf8
/023eOL8IG8HZ/V8fYDhZ/8L888f88lZK
23:;5WEO8•3DHj;5/08lZW^D/56HI3Z/
“/8ED8ImO/6(77(Z)O.WX:/n;W™8n
96DD/03:DO
“/8ED8Ieh/LW\\;8lZmO/6YDGNWi8MZEW0W^D/
WH<86D/4I
 !"#$%?


cd%e`
–š73/19GD//!:;55F4EN6(77(Z)O.
–šD//!:;5D(77(Z)O.
–'šD//!:;536/856(5636(77(Z)O.
–-š;o••Y/›/h/;91/Z65
–Pš8D/3/45V959
 !"#$%O