Professional Documents
Culture Documents
TS. Lê Xuân Vinh Trưӡng ĐH Quy Nhơn
TS. Lê Xuân Vinh Trưӡng ĐH Quy Nhơn
|
Nӝi dung chương trình
=
Tài liӋu tham khҧo
u
0
I-Mӝt sӕ ӭng dөng cӫa trí tuӋ nhân tҥo
G
Trò chơi:
ù
`
!
||
Lұp kӃ hoҥch và robot
|=
|u
ĐiӅu khiӇn mӡ
|0
|G
|
|ù
"#$ %&
|I
ë Qui tҳc suy diӉn ³modus ponens´ (tam đoҥn
luұn) đưӧc sӱ dөng trong suy luұn hình thӭc
ngày nay đã đưӧc Aristotle đưa ra tӯ vài
nghìn năm trưӟc
ë Descartes cũng là nhân vұt trung tâm trong
sӵ phát triӇn các khái niӋm hiӋn đҥi vӅ tư
duy và tinh thҫn vӟi câu nói nәi tiӃng ³tôi tư
duy nghĩa là tôi tӗn tҥi´
|`
ë Các ngành logic, lý thuyӃt đӗ thӏ, xác suҩt
cӫa Toán hӑc đóng góp rҩt nhiӅu cho TTNT.
ë Logic kinh điӇn Boole, logic vӏ tӯ Frege là
nhӳng cơ sӣ quan trӑng đӇ biӇu diӉn tri
thӭc.
ë Lý thuyӃt đӗ thӏ cung cҩp công cө đӇ mô
hình mӝt vҩn đӅ, tìm kiӃm lӡi giҧi, phân tích
tính chính xác, tính hiӋu quҧ cӫa các chiӃn
lưӧc tìm kiӃm lӡi giҧi.
=
"'
=|
==
$() =*(
=u
+
ë ThӃ nào là máy tính hay mӝt chương trình máy tính
thông minh?
ë Trҳc nghiӋm Turing đưa ra dӵa trên viӋc so sánh vӟi
khҧ năng cӫa con ngưӡi, mӝt đӕi tưӧng đưӧc coi là
có hành vi thông minh và chuҭn mӵc nhҩt vӅ trí tuӋ.
ë Trҳc nghiӋm này có ngưӡi thҭm vҩn cách ly vӟi
ngưӡi trҧ lӡi thҭm vҩn và máy tính. NӃu ngưӡi thҭm
vҩn không phân biӋt đӵӧc câu trҧ lӡi cӫa máy tính
và ngưӡi thì máy tính đó đưӧc coi là thông minh.
=0
=G
,
=
- (.(
/0
1
23!
=ù
ë Phҧi có tính mӅm dҿo, thích nghi vӟi nhӳng
tình huӕng mӟi nҧy sinh, chҷng hҥn như các
hӋ chuyên gia. Các cơ chӃ suy diӉn cũng
phҧi mӅm dҿo đưӧc áp dөng tùy tình huӕng,
chưa chҳc cơ chӃ nào tӕt hơn cơ chӃ nào.
ë Phҧi đưӧc trang bӏ tri thӭc heuristic do
chuyên gia con ngưӡi cung cҩp khác vӟi
chuơng trình thông thuӡng chӍ cҫn dӵa trên
thuұt toán là đӫ.
=I
ë ViӋc xây dӵng các chương trình TTNT phҧi
có sӵ tham gia cӫa các kӻ sư xӱ lý tri thӭc:
ë Phân tích phương pháp giҧi quyӃt bài toán
theo chuyên gia con ngưӡi, diӉn đҥt tri thӭc
và cơ chӃ suy diӉn đӇ dӉ mã hóa trong máy
tính.
=`
O , # O ,&
Xӱ lý dӳ liӋu Xӱ lý tri thӭc ± dӳ liӋu thưӡng
mang tính đӏnh tính hơn là đӏnh
lưӧng
Dӳ liӋu đưӧc đánh đӏa Tri thӭc đưӧc biӉu diӉn theo
chӍ mӝt sӕ cҩu trúc nhҩt đӏnh
Xӱ lý theo thuұt toán Xӱ lý theo các giҧi thuұt
heuricstics và cơ chӃ lұp luұn
Xӱ lý tuҫn tӵ, theo lô Tính tương tác cao (robot)
u
|
4O5 6 4
u|
7
2
"8(#&
%
ë Vҩn đӅ là gì?
ë Mӝt bài toán nào đó cҫn giҧi quyӃt, chҷng
hҥn như mӝt trò chơi, c.minh mӝt đӏnh lý,«
ë Mӝt lӟp rӝng các bài toán có thӇ giҧi quyӃt
bҵng cách biӇu diӉn bӣi các trҥng thái và các
tóan tӱ (phép biӃn đәi trҥng thái).
u=
$29:;
I<
uu
,
u0
ë Toán tӱ là mӝt phép biӇn đәi hӧp lӋ chuyӇn
tӯ trҥng thái này sang trҥng thái khác.
ë Bҵng các tóan tӱ, tӯ trҥng thái ban đҫu, tiӃp
tөc phát triӇn, cuӕi cùng thu đưӧc mӝt không
gian trҥng thái (KGTT).
uG
u
7
2
uù
7
2
=>
uI
?
ë Khi tìm kiӃm lӡi giҧi, tӯ mӝt trҥng thái nào đó chưa
phҧi là trҥng thái đích, ta dӵa theo toán tӱ sinh ra
tұp các trҥng thái mӟi: mӣ rӝng.
ë ĐӇ đưӧc lӡi giҧi, ta phҧi liên tөc chӑn trҥng thái mӟi,
mӣ rӝng, kiӇm tra cho đӃn khi tìm đưӧc trҥng thái
đích hoһc không mӣ rӝng đưӧc KGTT.
ë Tұp các trҥng thái đưӧc mӣ rӝng sӁ có nhiӅu phҫn
tӱ, viӋc chӑn trҥng thái nào đӇ tiӃp tөc mӣ rӝng
đưӧc gӑi là chiӃn lưӧc tìm kiӃm.
u`
?
0
@
?
0|
A
0=
A?
0u
1. Tìm kiӃm theo chiӅu rӝng (BFS)
00
$29
0G
&
7B
procedure bfs;
begin
open:=[start]; closed:=[];
while open<>[] do
begin
loҥi tt ngoài cùng bên trái cӫa open, gӑi nó là u
if (u là mӝt đích) then thông báo kӃt quҧ, thoát
else begin
Đưa u vào closed
Phát sinh các con v cӫa u
Loҥi các con đã có trong openmclosed
Đưa các con còn lҥi vào bên phҧi open (1)
end
end
Thông báo thҩt bҥi
End
0
/C
ë Các trҥng thái con phát sinh nhӡ các toán tӱ hӧp lӋ.
ë Danh sách open bә sung phҫn tӱ bên phҧi, lҩy phҫn
tӱ bên trái.
ë Thuұt tóan khҧo sát tҩt cҧ các nút ӣ đӝ sâu d sau đó
mӟi đӃn mӭc dm1 nên chҳc chҳn tìm đưӧc nghiӋm.
ë NӃu vô nghiӋm và KGTT hӳu hҥn thì thuұt toán sӁ
dӯng và thông báo vô nghiӋm.
0ù
0I
0`
=Tìm kiӃm theo chiӅu sâu (DFS)
G
&
DB
procedure bfs;
begin
open:=[start]; closed:=[];
while open<>[] do
begin
loҥi tt u ngoài cùng bên trái cӫa open
if (u là mӝt đích) then thông báo kӃt quҧ, thoát
else begin
Đưa u vào closed
Phát sinh các con v cӫa u
Loҥi các con đã có trong openmclosed
Đưa các con còn lҥi vào bên
open (1)
end
end
Thông báo thҩt bҥi
End
G|
/C
ë Khҧo sát nút ӣ đӝ sâu d thì DFS lưu trӳ b*d nút, khi
đó BFS phҧi lưu trӳ b^d nút.
ë Ӣ đӝ sâu d=12, DFS chӍ sӱ dөng 12KB trong khi
BFS dùng đӃn 111TB.
ë Đӝ phӭc tҥp thӡi gian cӫa DFS vүn là O(b^d) vì
trong trưӡng hӧp xҩu nhҩt các nút đưӧc khҧo sát
vүn như BFS.
ë Cơ hӝi đӇ tìm thҩy đích nhanh hơn nӃu nó nҵm ӣ
phҫn KGTT bên trái.
G=
%
ë Bӓ qua cơ hӝi tìm thҩy ngay trҥng thái đích khi trҥng
thái này nҵm gҫn gӕc.
ë NӃu KGTT vô hҥn có thӇ không tìm đưӧc trҥng thái
đích.
ë NghiӋm nói chung không phҧi là đưӡng đi ngҳn
nhҩt.
ë DFS là chiӃn lưӧc không đҫy đӫ, không tӕi ưu.
Không nên sӱ dөng khi KGTT có đӝ sâu lӟn hoһc
vô hҥn.
Gu
3. Tìm kiӃm vӟi đӝ sâu hҥn chӃ
G0
/C
GG
&
procedure DFS(d);
begin
open:=[start]; closed:=[]; depth(start):=0;
while open<>[] do
begin
loҥi u ngoài cùng bên trái open
if (u là mӝt đích) then thbáo kӃt quҧ, thoát
else
G
begin
Đưa u vào closed
If depth(u)<d then begin
Phát sinh các con v cӫa u
Loҥi các con vӯa phát sinh đã có trong openm closed
Gán đӝ sâu cho các v bҵng depth(u)m1
Đưa các con v còn lҥi vào bên trái open
End;
End;
End; {while}
Thông báo thҩt bҥi
End.
Gù
2?
GI
4. Tìm kiӃm sâu dҫn
G`
/C
&
procedure DFS1;
begin
for d:=0 to max do
begin
DFS(d);
If thành công then exit
End;
End;
|
=
=
4O5 6 4
u
!
0
|(
G
"#(
$29
ù
I
$:D:E
`
#
FD
ë h(D)=h(E)=2
ë VӅ mһt đưӡng đi qua các ô ngang dӑc đӇ di chuyӇn
vӅ đúng vӏ trí thì (D) phҧi di chuyӇn đӑan đưӡng xa
hơn (E) nên có thӇ là (D) không tӕt bҵng (E).
ë Theo nhұn xét này, ta có thӇ xây dӵng hàm h bҵng
tәng khoҧng cách phҧi di chuyӇn cӫa các ô sai vӏ trí.
ë Ví dө: h1(D)=3m3 = 6, h1(E)=2m2=4
ë Mӝt ví dө khác là lҩy đӝ dài đưӡng chim bay !
ù
='
ù|
ù=
&(G
)
=
:|`I0
ë Chӑn mӝt trҥng thái tӕt hơn trҥng thái đang khҧo sát
đӇ phát triӇn. NӃu không có thuұt tóan phҧi dӯng.
ë NӃu chӍ chӑn mӝt trҥng thái tӕt hơn: leo đӗi đơn
giҧn, trҥng thái tӕt nhҩt: leo đӗi dӕc đӭng.
ë Sӱ dөng hàm h đӇ biӃt trҥng thái nào tӕt hơn.
ë Khác vӟi tìm kiӃm sâu, leo đӗi không lưu tҩt cҧ các
con mà chӍ lưu đúng mӝt t.thái đưӧc chӑn nӃu có.
ùu
&
procedure hcs(start);
begin
open:=[start]; closed:=[];
while open<>[] do
begin
loҥi tt ngoài cùng bên trái cӫa open, gӑi nó là u
if (u là mӝt đích) then thông báo kӃt quҧ, thoát
else begin
Đưa u vào closed
Phát sinh các con v cӫa u
Loҥi các con đã có trong openmclosed
Chӑn con tӕt nhҩt và hơn u đưa vào bên
open
end
end
Thông báo thҩt bҥi
End
ù0
ùG
8=%
ù
Tìm kiӃm ưu tiên tӕt nhҩt ± Best First
Search (Best-FS)
ùù
$29
ùI
ù`
&
7<HB
procedure Best_FS;
begin
open:={u0}; closed:={ };
while open<>{ } do
begin
loҥi trҥng thái ngoài cùng bên trái cӫa open, gӑi nó là u
if (u là mӝt đích) then thông báo thҳng lӧi, thoát
else begin
Đưa u vào closed
Phát sinh các con v cӫa u
Loҥi các con v đã có mһt trong open m closed
Đưa các con còn lҥi vào open
Sҳp xӃp open sao cho phҫn tӱ tӕt nhҩt nҵm bên trái
end
end
Thông báo thҩt bҥi
end
I
I|
u
4O5 6 4 I
I=
O12&
Iu
ë KGTT trong bài toán tӕi ưu phҧi có thêm
trӑng sӕ cӫa các cung.
ë Chúng ta đã phân tích các chiӃn lưӧc tӯ tìm
kiӃm mù, tìm kiӃm kinh nghiӋm và biӃt đưӧc
nhӳng ưu nhưӧc điӇm cӫa tӯng chiӃn lưӧc.
ë Best-FS là chiӃn lưӧc tìm kiӃm linh hoҥt nhҩt
cho đӃn lúc này, cҧi tiӃn chiӃn lưӧc này đӇ
giҧi quyӃt vҩn đӅ tӕi ưu.
I0
|(
I
JK
Iù
@
II
&%(JK
I`
O
%
Giҧi thuұt dӯng ӣ bưӟc 6 và đưӡng đi thu đưӧc đӝ dài 5 như sau
A-D-B-C-G.
`
='
`=
1
`u
JK
procedure A*(uo);
begin
g(uo)=0; f(uo)=h(uo);
open:=[uo]; closed:=[];
`0
while open<>[] do
begin
loҥi u ngoài cùng bên trái cӫa open
Đưa u vào closed;
if (u là mӝt đích) then thông báo thҳng lӧi,
thoát else
`G
begin
Sinh các con v cӫa u;
For v thuӝc con(u) do begin
g(v):=g(u)mc[u,v];
If v không thuӝc open hay closed
begin
f(v):=g(v)mh(v);
cha(v):=u;
Bӓ v vào open;
end
`
If v thuӝc open (tӗn tҥi v¶ thuӝc open, sao cho
v=v¶)
If g(v)<g(v¶) then
Begin
g(v¶):=g(v);
f(v¶):=g(v¶)mh(v¶);
Cha(v¶):=u;
End;
`ù
If v thuӝc closed (tӗn tҥi v¶ thuӝc closed, sao cho v=v¶)
If g(v)<g(v¶) then
Begin
f(v):=g(v)mh(v);
cha(v):=u;
Đưa v vào open;
Loҥi v¶ khӓi closed;
End;
`I
End;{for}
XӃp open đӇ t.thái tӕt nhҩt nҵm bên trái;
End{else}
End;{while}
Thông báo thҩt bҥi
End;{procedure}
``
Bài tұp: Tìm đưӡng đi nn tӯ A tӟi Z
100
Bài tұp
101
KӃt quҧ.
|
u
;
"
! ;
ë Đһc điӇm:
ë Hai ngưӡi thay phiên đi (xen kӁ)
ë Hai ngưӡi biӃt thông tin đҫy đӫ vӅ nhau
ë Mӛi ngưӡi tìm kiӃm nưӟc đi
ë Nưӟc đi tӕt nhҩt là nưӟc đi dүn đӃn phҫn
thҳng.
ë BiӇu diӉn KGTT bҵng cây: cây trò chơi.
|
0
9
/=
|
G
$29M;
|
$
|
I
ë Hai đҩu thӫ: MIN và MAX.
ë Trong đó MAX luôn tìm cách tӕi đa ưu thӃ
cӫa mình và MIN tìm mӑi cách đӇ đưa MAX
vào thӃ khó khăn nhҩt.
ë Mӛi mӭc trên KGTT ӭng vӟi mӝt đҩu thӫ.
ë ĐӇ chӍ dүn đưӧc cách đi, chúng ta sӁ gán
cho các nút lá là 1 nӃu MAX thҳng, là 0 nӃu
MIN thҳng.
|
`
&
||
&?
Function MaxVal(u);
Begin
If u là nút lá then Val(u):=f(u)
Else MaxVal(u):=max{MinVal(v) | v là các
con cӫa u}
End;
||
=
!,',
Function MinVal(u);
Begin
If u là nút lá then MinVal(u):=f(u)
Else MinVal(u):=min{MaxVal(v) | v là các
con cӫa u}
End;
||
u
9"'(
&JF
||
G
/"'
(<%
||
$29M%(<2 u
||
ù
<2',JF
||
I
!,',
Function MinVal(u,d);
Begin
If d=0 hoһc u là đӍnh lá then MinVal(u):=f(u)
Else MinVal(u):=min{MaxVal(v,d-1) | v là
các con cӫa u}
End;
||
`
9"'(
&JF
|=
|
$29M!"
|=
u
;
D&2
|=
0
O
|=
&N(<2?
|=
ù
$/
?
|=
I
*?
|=
`
9+
,-=
|u
9,-=
|u
|
$29
|u
=
<N9
|u
u
9
|u
0
&',/
|u
G
&- ',
|u
I
"#=
2
"/01
|u
`
?
|0
=
$29"#
|0
u
ë Múc đҫy bình 7
ë Đә qua cho đҫy bình 5.
ë Đә hӃt nưӟc trong bình 5
ë Đә phҫn còn lҥi trong bình 7 qua bình 5
ë Múc đҫy bình 7
ë Đә tӯ bình 7 qua cho đҫy bình 5
ë Phҫn còn lҥi trong bình 7 là 4 lít
|0
0
?
|0
G
7
2
=>
|0
x:=0; y:=0;
While (x<>z) and (y<>z) do
begin
if y=0 then y:=Vy;
if x=Vx then x:=0;
if y>0 then
begin
k:=min(Vx-x, y);
y:=y-k;
x:=xmk;
End;
end;
|0
ù
$29M/ u 0T =
|0
I
%
|0
`
7
2
&?
|G
G
O&
(#
|G
|
=
2
ë Cú pháp gӗm các ký hiӋu, qui tҳc liên kӃt (các phép
toán) đӇ tҥo thành các câu (các công thӭc).
ë Ngӳ nghĩa chӍ xuҩt hiӋn khi các ký hiӋu nhұn giá trӏ
trong mӝt miӅn nào đó.
ë Ngoài ra, ngôn ngӳ cҫn đưӧc trang bӏ mӝt cơ chӃ
lұp luұn. Cơ chӃ này sӱ dөng các luұt suy diӉn. Mӝt
luұt suy diӉn là cách đӇ suy ra mӝt công thӭc tӯ mӝt
tұp công thӭc nào đó.
|G
u
%
ë =
2
,
,U
U
,
|G
0
| ,
,
|G
G
# +/ 23
|G
# '
|
uD%V+
|
|
(
|
u
$29
ë (A ¬B)ĺ(A C)
|
0
0 &
|
G
7
2
<3
|
I
|
`
O < 2
((+?
|ù
O < 2
( (?
|ù
|
!(#(1
?
|ù
=
$29"#
ë Cho
Q SĺG H (1)
PĺQ (2)
RĺS (3)
P (4)
R (5)
ë Chӭng minh G
|ù
u
=
=$:,
|ù
G
,
|ù
1,
|ù
ù
9,
procedure Resolution;
Input: Tap G cac cau tuyen
Output: G thoa duoc hay khong thoa duoc?
Begin
repeat
Chӑn 2 câu A,B thuӝc G
If A, B phân giҧi đưӧc then tính Res(A,B)
If Res(A,B) là câu mӟi then thêm Res(A,B) vào G
until nhұn đưӧc câu rӛng hoһc không có câu mӟi xuҩt hiӋn;
If nhұn đưӧc câu rӛng then G không thӓa đưӧc
else G thӓa đưӧc
end.
|ù
I
/C
|ù
`
9
W
ë Thêm ¬H vào G
ë ChuyӇn các ct trong G thành dҥng chuҭn hӝi
ë Tӯ dҥng chuҭn hӝi th.lұp các câu tuyӇn G¶
ë Áp dөng thӫ tөc phân giҧi cho tұp câu G¶
ë NӃu G¶ không thӓa đưӧc thì GĺH, ngưӧc lҥi
H không là hӋ quҧ logic cӫa G.
|I
|I
|
|I
=
O
X Y
|I
u
!
|I
0
ë Logic vӏ tӯ là sӵ mӣ rӝng cӫa logic mӋnh đӅ.
ë LGVT cho phép biӇu diӉn mӝt lӟp các đӕi
tưӧng trong mӝt miӅn nào đó.
ë Thuӝc tính cӫa đӕi tưӧng, mӕi quan hӋ giӳa
các đӕi tưӧng - biӇu thӏ bӣi các vӏ tӯ.
ë Thêm các lưӧng tӯ tӗn tҥi, vӟi mӑi đӇ biӇu
diӉn câu phӭc tҥp.
|I
G
| ,
,
ë Hҵng: a,b,c,..
ë BiӃn: x,y,u,v,..
ë Vӏ tӯ: P(x,y), Q(x),..Vӏ tӯ không biӃn là MĐ.
ë Hàm: f,g
ë Phép toán logic
ë Kí hiӋu lưӧng tӯ: tӗn tҥi, vӟi mӑi
ë Dҩu câu, ngoһc,...
|I
%
|I
ù
,0- (
ë ĐN
± MӋnh đӅ là công thӭc phân tӱ
± NӃu P là vӏ tӯ n biӃn và t1,...,tn là các hҥng thӭc
thì P(t1,...,tn) là công thӭc phân tӱ.
ë Thich là vӏ tӯ hai biӃn, Thich(An, Java) là
CTPT
ë Yeu(X,Y); t=chong(X); Yeu(X,chong(X))
ë X=lan: Lan yêu chӗng Lan!
|I
I
|`
(
ë P(x) : x là phө nӳ
ë x=Lan vӟi minh hӑa này P(Lan) biӇu diӉn
cho câu Lan là phө nӳ.
ë Câu đơn có thӇ xuҩt hiӋn các hҥng thӭc
(term).
ë Ví dө Me(x) chӍ đӕi tưӧng là mҽ cӫa x nào
đó. Câu đơn P(Me(Lan)) có nghĩa là "Mҽ cӫa
Lan là mӝt phө nӳ".
|`
|
Z
ë Vӟi mӑi: Xđӏnh giá trӏ bҵng hӝi các giá trӏ cӫa
công thӭc khi biӃn nhұn mӛi đӕi tưӧng trong
miӅn xác đӏnh
ë Tӗn tҥi: Bҵng tuyӇn
ë Ví dө VxP(x) nӃu lҩy miӅn xác đӏnh là sinh
viên lӟp K1 thì là sai, ]xP(x) là đúng.
|`
=
,:
|`
u
$(%
|`
0
u (
|`
G
0D%V+
ë Đưa vӅ dҥng chuҭn tҳc hӝi, tӭc hӝi cӫa các câu
tuyӇn đӇ sӱ dөng đưӧc trong các khai báo cӫa ngôn
ngӳ prolog.
ë Thӫ tөc:
1. Bӓ các kéo theo
2. ChuyӇn các phӫ đӏnh đӃn các công thӭc phân tӱ
3. Bӓ lưӧng tӯ tӗn tҥi bҵng cách dùng hàm Skolem
|`
4. Đһt tên lҥi đӇ tránh nghĩa nhұp nhҵng khi lҩy
trùng miӅn xác đӏnh
5. Loҥi bӓ lưӧng tӱ vӟi mӑi, ngҫm hiӇu cho
toàn miӅn xác đӏnh
6. ChuyӇn các tuyӇn đӃn các CTPT
7. Loҥi bӓ hӝi, tách riêng các câu tuyӇn.
8. Đһt lҥi tên biӃn cho mӛi câu.
|`
ù
D7
2
<
|`
I
GCác luұt suy diӉn
, @ ð
|`
`
C,
ë Có dҥng
þ , @ ð R @ ðR
=
,8
=
|
O *
=
=
$29
ë SV(x) Nam(x)ĺThich(x,bongda)
ë SV(minh)
ë Nam(minh)
KL Thich(minh,bongda)
=
u
O ,
*
=
0
=> ,
=
G
9
=
=$
Procedure P_Resolution;
Input: Tұp G, H
Output: H có suy ra đưӧc tӯ G hay không?
Begin
1. BiӃn đәi các câu trong G và ¬H vӅ dҥng chuҭn tҳc hӝi
2. Thành lұp các câu tuyӇn
3. Repeat
Chӑn 2 câu A, B
Tính giҧi thӭc Res(A,B)
Bә sung vào tұp công thӭc
Until xuҩt hiӋn câu rӛng hoһc không sinh câu mӟi
4. NӃu xuҩt hiӋn câu rӛng thì H đúng, ngưӧc lҥi thì H sai
End;
=
$29
=
ù
,
"Z
1. TN(x) CoVL(x)ĺOndinh(x)
2. Cham(y) Mayman(y)ĺTN(y)
3. Mayman(z) )ĺCoVL(z)
4. ¬Cham(nam)
5. Mayman(nam)
=
I
ù
7PDQ R
7[
O SOO
=
`
O12&&2A&
NӃu
Tam giác có mӝt góc bҵng 60 đӝ
Tam giác có hai cҥnh bҵng nhau
thì
Tam giác đó là tam giác đӅu.
=|
=
.
=|
u
= 2
=|
0
D
1. TN(x) CoVL(x)ĺOndinh(x)
2. Cham(x)ĺTN(x)
3. Mayman(x) ĺTN(x)
4. Mayman(x)ĺCoVL(x)
5. ¬Cham(nam)
6. Mayman(nam)
=|
G
9< 2
Procedure SDtien;
Input: R, F, H
Output: H đúng/sai
Begin
TG:=F; S:=Loc(R,TG);
While (H chua thuoc TG và S khac rong) do
Begin
r ĸ S;
TG:=TG m right(r);
R:=R-r;
S:=Loc(R,TG);
End;
If H thuӝc TG then H đúng Else H sai;
End;
=|
/C
=|
ù
u 2
A
=|
I
ë Mӝt giҧ thiӃt hiӇn nhiên là đúng nӃu nó thuӝc
tұp sӵ kiӋn F
ë NӃu tҩt cҧ các Pi đúng thì Q đúng
ë Ngưӧc lҥi nӃu có Pi không đúng thì quay lui
chӭng minh theo mӝt luұt khác có kӃt luұn là
Q.
ë NӃu không tìm đưӧc luұt nào như vұy thì Q
sai.
=|
`
9
==
=
0R29
ë HӋ chuyên gia
ë Lұp trình Prolog
==
u
!
==
0
=O ,&&
==
G
,
,
==
I
%
? cunhan(nam).
Yes
? cunhan(hung).
No
==
`
D
ë sinhvien(nam).
ë sinhvien(lan).
ë sinhvien(hoa).
ë hocvien(hung).
ë cunhan(X):-sinhvien(X).
=u
<>"Z(.=
ë write(.)
write(³Toi thich´), write(Y).
ë is
N is 5
ë not
khongcham(nam):-not cham(nam).
ë fail
cham(nam):- fail.
=u
|
<
ë Sinh viên
ë Tháp Hà Nӝi
ë Tính giai thӯa
ë Tính tәng
ë Ai là ngưӡi giӃt chӃt con mèo!
=u
=
&&- ,&
O
\
=u
u
u
O
'SOOF]F^
=u
0
I '
=u
G
| ,!
=u
ë X={1,2,3,4,5};
NӃu A={3}
ë A={(1,0),(2,0),(3,1),(4,0),(5,0) }
NӃu A là sӕ gҫn bҵng 3:
ë A={(1,0),(2,0.6),(3,1),(4,0.6),(5,0) }
A={(x,m(x)) |x thuӝc X}
=u
ù
=u
I
$29/
("
!
ë A: ³trҿ tuәi´
=u
`
=
=
ë Giá đӣ
ë Nhân
ë Biên
ë Đӝ cao
ë Tұp mӡ chuҭn
ë Lát cҳt anpha
=0
u
,C,&
! ,!
ë Hӧp A và B
ë Giao A và B
ë Phҫn bù cӫa A
± A con B
± Tұp mӡ 0x
± Tұp mӡ 1x
=0
|
C,&
ë Tích Decac
ë Mӣ rӝng hình trө
ë Phép chiӃu
=0
=
0N
,C,&
ë Giao A và B: Min(A(x),B(x))
ë Có thӇ thay min bҵng mӝt phép toán có tính
chҩt như min: t-norm
ë Đӏnh nghĩa: t-norm là hàm [0,1] [0,1] vào [0,1]
± Giao hoán, kӃt hӧp, có 1 là đơn vӏ, không giҧm
theo tӯng biӃn
ë Ví dө: x*y là mӝt t-norm
=0
u
-&:-&&
ë Hӧp A và B: Max(A(x),B(x))
ë Có thӇ thay max bҵng mӝt phép toán có tính
chҩt như max: s-norm
ë Đӏnh nghĩa: s-norm là hàm [0,1] [0,1] vào
[0,1]
± Giao hoán, kӃt hӧp, có 0 là đơn vӏ, không giҧm
theo tӯng biӃn
ë Ví dө: min(xmy,1) mӝt s-norm
=0
0
7A!
ë Mӣ rӝng cӫa 1-
ë N: [0,1] [0,1] thӓa N(0)=1; N(1)=0 và không
tăng.
ë Sugeno N(x)=(1-x)/(1mkx), k>-1
=0
G
G# !
Rõ pas VB Java
a 1 1 0
b 0 1 1
c 1 0 1
Mӡ pas VB Java
a 1 0.8 0.2
b 0.2 0.9 0.1
c 0.7 0.3 0.9
=0
,
* !
y1
R S
x z
y2
R.S(x,z)=?
=0
ù
`O
'
=0
I
|7
=0
`
= (#!
=G
u,
(#!
ë A(x) B(y)=R(x,y)=min(A(x),B(y))
ë A(x) B(y)=R(x,y)=max(A(x),B(y))
ë ¬A(x)=1-A(x)
=G
|
(#C&&!
=G
=
=G
u
C,C&&_2
=G
0
D
=G
G
C,C&&2
=G
2
$
=G
ù
D
=G
I
0#
+&O
!
=G
`
J:/ 7: * :/
=
NJ`:/
=
|
F
(7`:
=
=
D
=
u
D
=
0
?
=
G
|
'
=
|
=
ù
(
#
!
=
I
%
=
`
= 8 !
CS luұt
x A¶ B¶ y
Mӡ hóa Bӝ suy diӉn Khӱ mӡ
=ù
u&%
=ù
|
0F 23=< 2
Z
=ù
u
= 2
',<
=ù
0
/C
=ù
G
G!:aTT
a
&
=ù
!
=ù
ù
0!:2aTT
a
&
=ù
I
0!
=ù
`
=I
1:b
=I
|