12 3 2014 cac mo hinh bieu dien tri thuc

/
cAc nno HiNH srnu ornN TRr rHrlc
Bi6u diё n trithic bふ ng luat din(luat sinh)

Khii nienl:

PhlFOng ph“ bi6u dian trithic bang lu∼ sinh dlFoC phtt minh b6i Ncwcll va Simon trong
lic hai Ong dang c6 ging Xaげ dttg mOt he giai baitoan t6ng qu乱

.D∼

la mot ki6u biё u

dien tri thic c6 cau tric.Y情 6ng co ban la tri thic c6 the dtFoC Cau tttc bttng in9t cap
diё

u kien&hm dong:"NЁ U沸ど2″ θ4x∼

h嬰 :NЁ U

ra TI― II力 aη みグθ
″g

Se dlrgc thi h油

dё n giaO thOng la d6 THi btt khong duoc dithing,Mう

um∼

".Chttg

tinh da m6 ma

khOng kh6i dong dlloC THI ki(シ n tra nguOn dien,v.v.…

Ngay nay,cac luat sinh da tr6 nen ph6 bi6n va duoc ap dung r9ng rai trong nhiさ u he
thOng lFitue nhan tao khac nhau.Luat sinh c6 the la mOt cong cu m6 ta de giai quyet cac
vAn dё thlrc t6 thay chO cac ki6u phan tich vtt dё truyё n

th6ngo TrOng twmg h"na乃

cac luat dlFoC ding nhtFla nhing Chi dan(tuy C6 thё kh6ng hoan chinh)nhtrllg rat htu ich

de trg gi6p Cho cic quyet dinh trOng qua trinh tim kiem,n d6 1am giam khong gian tim

ki6mo

Ⅳ[Ot vf dり

khic la lutt sinh C6 th6 dlFoC d前 g d6 btt chlF6C h漱 血 vi cta J■ thg

chuyen gia.Thco cach nゝ、luat sinh khOng chi don thuan la mOt kieu bieu dien tri thic
trong m∼ tinh ma la mOt kiё

u biё u

dien cac ha山

宙cia

con ngubi。

MOt CiCh tOng quatluat Sinh c6 dang nhlF Sau:

Pl∧ P2∧ …∧Pn→

Q

Tty vao cac van de dang quan ttt maluatsinh c6 nhttg ntt nghra hay cau t.。

nhau:

― Trong logic vi金

:Pl,P2,・ ¨
,Pn,Q la nhing bieu thic logic.

― Trong ng6n ngi ltt trinh,moi motlutt Sinh la m6t cau lenh.

IF(PlAND P2AND。 .AND Pn)THEN Q.

khic


ヽ

＼

‐Trongけ thuy&hiё u ng6n ngi“ nhi“ ,m5ilutt sinh la m∝ phф

diCh:

ONE→ mo.
TWO‐)hai.
JANUARY→

thmg m∝

D6biau di5n mot ap lutt sinh,n〔

.

要m ta■ ばhg

phai tt r6 hai仕

山血ptt chidLSau:

(1)T"C“ Sv kiい F(Facts)
F=(1,f2,… h}
(2)Tゎ cお quy tお R(Rules)● dttg仕伍 C“ Sv kien dttg nhu sau:

島∧ち∧…∧1→ q
Trong d6,c“ 1,q dё u thuoc F

du"xれ dinh

Vi du:Ch0 1 Co s6 tri血

`℃
_ cac sv kien:A,B,C,D,E,■

‐T"Cれ

nhu sau:

QH,K

quy tお hay lutt sinh(mle):

A→ E
R2 B→ D
R3 H→ A
Rl

R4 EAG→ C
R5 EAK→ B

R6 DAEAK→

C

R7 GAKAF→

A

cc ch6 suy luon trtt CiC lutt sinh

●Suy diё n

ti6n:la qua trinh suy luね xutt phtt i motS6 sv kien ban dau,xお

cac sv kien c6 th6 du""sinh"ra n sv ki“

シ ″ ″b“ 蒻 rH,K
R3:H→“A(A,Ho K}

Rl:A→ E{A,E,H,K}

nじ

dⅢ


R5:E∧ K→ B{A,B,E,H,K}

R2:B→ D{A,B,D,E,H,K}
'R6:D∧ E∧ K→ C{A,B,C,D,E,H,K}
●Suy diё n l■ i:la

qui trinh suy lutt nglFoC Xutt ph壼

tim ki6m cac su kien da"sinh"ra su ki“
1a xutt ph奮

籠

h6c6dau.

c tinh廿 興g cta m∼ tinh,chtt dom xem m∼ tinh da bi h6ng

“

Vi du:

T"Cお Sv

nayo MOt

籠 m∝ s6sv kien ban d猜 ,ta
Ⅵф thuOng g"trOng ivc t6

,
kien:

C)cing la"h6ng"hay"hoat dong b血 thttg''
● H6ng inan hinh.
● L6ng cap inan h血

.

● Tinh trang den O cmg la"t激 "hOttc''Sttlg"
●

C6施

thanh doc O c散 嘔

.

●Tinh tr`狙 g dan mm hinh"xanh"hoュ c"Chくわd6"

● KhOng si dung du∝ m∼ tinh.
●Dien vao m∼ tinh"C♂ 'hay"khOn」
.

74ρ

ε ′
′
π
「
′
`σ

Rl.Neu((6c`ng"h6ng")hOう C(Ctt mm hinh"16ng"))thl khOng si dung dlroc
m∼ tinh.
R2.N6u(dien vaO m∼ la"c6")va((an thanh doc 6 cing la"kh6ng")hoュ

c tinh

trttg“ n6c血lg la"t乱 "))thi(6C血 lg"h6ng")。
R3。

Neu(dial vaO m∼ la"c6")va(tinh trang dё n man hinh la"ch¨ d6")thi(C“

mtt hlttL"16ng")。

De xac dinh duoC Cttc nguyen nhtt gay ra sv kien''khong Si dung du"lllll`り
phai xけ dlmg mOtC施 加魔c dδ thi g9ila dδ thiAND/OR nhu sau:

tftth'',ta

K■ 3n言 護
轟r

dur_言

dwoc

may tinh

cキ man hinh“ 16ng'フ

DL● n Va〕

mむ

``c DP'

Tinh tr.ang dcn
rndn hirh
"chfp di"

Am ianh
66山 豊
“LEng

Hinh 2-:Co che suy dien cta suy dien lti。

Nhu v∼ la d6 Xic dinh dlFoC nguyen nh`流 g∼ ra h6ng h6c la do 6 c血 ℃ h6ng hay c如

■
10m

hinh 16ng,he thong phai lan llr∝

di vao cac nhinh de kiem tra cac dieu kien nhtF

dien vao may''c6",加 thanh O cing''khOng".Tai lnOt blr6c,neu gia tri ctt xic dinh
khOng th6 dlFoC Suy ra tき

bat k,InOt luat naO,he th6ng Se yeu cau ngubi ding tuc ti6p

nh"va。 。chttg htt nhu de biet m″ tinh C6 dien khong,he thOng Se hien ra mm hb山
Jど
ctt h6i′ Bα ′ル

“

″αχθ σ
びグJθ ″憾ο ″ ′
蒻あ腸∂ηg ttJど rra成 4″gク δ〃2の
“
“
“

l D6

thlFC hien dlroc co che suy luan lti,nglFOi ta thuOng si dung ngan xep(de ghi nhan loi

血mg nh激 i chua kiem tra).
vttn da t6ilFu luat

T"cac lutt trOng mot co s6 trithic rtt c6 kha nttg thき
nhien la he th6ng c6 the dり

】
a,mnglュ p hOtt mm thu舗 。

′
∂
′cho nguci ding ve v19c dua vao he th6ng nhing trithic

nhu V4け 。
Tuy VieC toilru mot co S6 tri■ ic ve mュ tong qutt la motthao tac kh6(vi gita
cac tri thic thlrむ ng c6 quan he khOng tlFさ

ng ininh),nhung trong gi6i han co s6 tri tttc

du6i dttg lua,ta vtt c6 mots6thua tom dm gitt d610。 ib6“ cv猛 機 nり 。


R`t gon ben phai

Lutt sau hiё

n nhien ding:

A∧ B→ A(1)
Do d6 1uat:

A∧ B→ A∧ C
La hom toan tlFOng duong v6i

A∧ B→ C

θzッ 疹cr所 ′即 ″:C6th6 1ooi b6 nhtng sv kien ben vё phai n6u nhing sv kien d6
da xutt hien ben ve trai.Neu sau khi“ t gon ma ve phaitr6 th汁 血 rOng thl lutt d6 1a lua
hi6n nhieno Ta c6 th6 1oai b6 cac luat hi6n nhien ra kh6itrithic。

Rit 20n ben trai
x6t cac lu俎

:

(Ll)A,B→ C(L2)A→ X(L3)X→ C
Rё rttg la luれ

A,B→

C c6 thё dlFCC thay th6 bttg luttA→

C ma khonglam tt hu6ng

den cac ket lua.trOng moittuぬ g hqp.Ta n6i rttg sv kien B trong lua(1)la du thta va
c6the dlFCC 10ai b6 kh6ilutt dan tr伍

。

Phan ra va ket hOp luat:

Lu針 :A∧

Tu∝lg

B→ C

dlF∝ lg v6i hai b針

A→ C
B→ C
V6i quy tお nay,ta c6 th6 1ooi b6 hom tom cac lutt c6 phф

nけ thuttng lam cho thao Mc xi l′ tr6 nen phiC t叩
Lutt thta

n6i HOAC.Cac lua c6 ph6p n6i

.

MOtlutt dttA→ B duOc goilathta n6u c6 th6 suy ra lutt nけ 籠血ing

lutt cё n l11.


m{A→ B,B→ C,A→

Vidり :trong t"c`c lutt gさ

vi n6 c6 the ducc suy ra n 2 1utt cδ n lグ

C}thi lu針 ぬi31a lu針 ぬta

.

Thuat toan toi lru ta,luat dan

Thutt tOm nけ se t6i lru h6a t"htt da chO bふ 喝 c“ h10。 iac`c

lu"c6ph6p n&

HOAC,cac lutt hi6n nhien hOic c`艶 lu"thta.
Thutt tO力 n bao gOm cac blr6c chinh:

￨1騨 lgO■ 10,Vi

'■

■￨ ___._._‐ ■ ‐￨■ ‐
■■
■
‐
￨￨￨￨￨￨￨■ ■ ‐ ￨■ ■￨■ ■
V“ Ⅲ011轟 11'011AII‐ IVII14,011■ ￨‐ ■‐
IV“ ￨二 011u"itrllJI=￨￨￨￨￨￨￨■

ヽ A■ VI11■ tll籠 ￨=￨￨IA■ lkhll:■ 1藻
.￨“ IR■ ￨￨■ ■
￨￨￨‐ ■￨￨￨
01統 IⅢ 11■1111ral:kh“ 1韓111嬌 1難 ￨=■ {:￨￨■ ■￨■ ■￨

ヽ￨,Vケ
“ 韓
―
=ヽ
B21rl`れ 輩￨“ 11,総 ■
￨■ ￨■ ￨■ ￨￨￨￨■ ￨￨￨￨￨
￨■ ■
￨￨■ ￨■ ￨■ ￨￨￨￨￨■ ￨■ ■
￨‐

,alふ ol轟 ″￨1来 :￨1来 ,,￨::● え￨→ IYI“ 竜IR■

￨‐

■■■■■￨■ ■■■■

VOF轟 0111● 1● 鉢
￨￨■ ■■
●ヽ111=￨■ Xil→ IVIII■ ￨■ ￨￨￨■ ■￨￨￨■ ■
￨￨■ ■
￨■ ￨■
■
■
‐
￨■
■
■■■
ヽ
1言 11)11}￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨￨■ ■
￨■ ￨■ ■

■
■■
￨■ ■
￨￨■

￨■ ￨■ ￨‐ ■￨ ￨￨
■■￨■ ■‐
`￨1011CII録
￨￨￨￨￨￨￨￨￨￨￨￨￨■ ■■
■‐
■ ￨￨‐ ￨￨￨■ ￨￨■ ■￨■ ￨
V11■ 011u"=ⅢOIRIIIII■ ‐

Bll恥

.■ ■■■
￨■
￨￨￨■￨■ ￨■ ■■￨■ ￨■ ■‐

￨‐

￨‐

￨‐

隷競V"轟i← ,￨‐ laoD`ngKVa■ tう11■ ￨),lth:=￨￨IRヽ 11卜 ■■￨￨￨‐ ■￨￨■ .￨￨

―
11=11111■￨￨￨￨￨￨
1お :ぶ写

￨IⅢ

摯
1守 ￨￨￨￨■ ■￨￨￨■ ■■￨■ ■
■■■■■

「11111111111111111111

::濯 11litl倉

責
轟ヽ
おも

lt文

`亀

」u

・ 」u di6m8

IA:11,￨￨お わ

`ngt彙

1151薇 ￨￨お

こ轟 轟￨=￨1轟
“

￨￨￨■
`:=■

di61m va nh口 cc di6nl cia bi6u diё n tn thic bふ ng luat


Bi6u diё n trithic bttg lutt dttC bi∝

hm hieu trongコ血mg tinh huOng he thOng ctt dlFa ra

nhing h油 dong dva vao nhing Sv kien c6 th6 quan sttt dllgco N6 c6 nhing lFu diem
chinh yeu sau day:

・

cac lutt rtt da hi6u nen c6 thё

dё

dttg ding d6 traO dOi v6i ngubi ding(Vi n6 1a

mOttrOng nhmg dttg tv nhien cta ngOn n鱗

● C6th6 dё

)。

dang xay dllng duoc co ch6 suy luan va giaithich t)cac luat.

・ viec hiou chinh va bao tri he thong la tlFOng dOi
● C6the caitien de dang de tich hop cac luatrno.
・

de dang.

cac lutt thlFё ng it phu thuOC VaO nhau.

●       ●

Nhrcc diem:
cac trithic phic tap dOiliC dё i h6i qua nhiё u(httg

ng泣 )lutt Sinh. Diё u nけ

se

lanl nay Sinh nhieu van de lien quan den tOc d0 1an quan tri he thong。

ThOng ke cho thけ ,nglroi xaア dmg he thong trftue nhan t.0 1hich si dung lu針
sinh hon ttt ca phlFmg phtt khac(de hieu,de cai dュ )nen ho thtFё ng tim m9i cach
de bieu dien tri thic bttng lutt Sinh cho di c6 phlFCllg phtt khaC thich h9p hon!

D∼

la nhuoc diem mang tinh chi quan cia con nglFbi。

Co s6 tri thic lutt Sinh 16m sё

l激 n gi6i han kha nttg tirn kielll cta chumg trinh

dieu khien.Nhieu he thong gう p kh6 khユ n trong vieC dinh gia cac he dva trOn luat
sinh cing nhlF gap kh6 khう n khi suy luan tren luat sinh.

Mlng suy diё n tinh toin
Khii niOn18

Mang tinh tom [la mOt dang bieu dien trithic c6 the d面

g bieu dien cac tri thic ve cac

vtt de tinh tom va dlFoC tt dung mOt CiCh c6 hieu qua de giai mOt so dang baitom。 ル6J
g′ シあわd4厖
g 7zα 4カ θσ
g η
gあ 力σ
乃″αあθbJ∂ 4ソa″力″
η
び厖ιCaJ“ ′ν
a
η
θ′″ση
σ
ダ″
“
“
ttο ν
s′ グ
c σ
Jθ σ

′
2あ わd4.Ching ta xё t mot mang tinh toin gOm motta)hqp CiC
4g dソσ
″

bi6n cing v6i inot ttt Cac quan he(Chttg htt cac cong thic)tinh tOm gita cac bi6n.


Trong ing dung cu thё m5i bi6n va gia tri cia n6 thuthg gtt liё n v6i mOt khai niem cu
thё vさ sり

vれ ,m5i quan he thё hien mOt sv trithic vさ sv v無

.

Cic quan he
Cho M={xl,x2"¨ ,Xm}n mOtt"h"“
憶 cmgぜ hg Dl,D2,・・
・,Dm・
Dl,D2,・

C bi6n c6 th6 1行 gia tti trong“ C miё n遜 c

D6i v6i m6i quan he R⊆

・
・
,Dm ta n6i r激 lg quan he n∼

R(xl,x2,¨ 。

,Xm)hay

DlxD2X・ ・
・XDm

tren cぉ ttt h"

lien ket cac bien xl,x2,・ ・
・
,Xm'Va lけ hieu la

Van ttt la R(x)(け hieu x ding d6 chi bO bi6n<xl,x2,¨ 。,Xm>).Ta C6

the thay通ng quan he R(x)c6the dlFoC bieu dien b6i mOt漁

Vi6t:fR,Lv:u→

anh

t hay v猛

畿

la f:u→

血

Xa fR,u,v V6i u∪

V=x,va ta

v.

D6i v6i cac quan he ding Cho vieC tinh toan,cach k′ hieu tren bao harl′ nghia nhlF
la rnOt hanl:ta c6 th6 tinh dlFoC gia tri cia Cac bi6n thuoc v khi bi(光

duoc gia tri cta caC

bi6n thu6c u.

Trong phan sau ta xё t cac quan he xac dinh b6i CiC hanl c6 dang f:u― )v,trong d6 u

∩V=0(t“ rong)・

2ル g
Dュc bietla cac 92α ″力
θ″夕χ

C6 hang(rank)b2hg motsO nguyen

dlFullg k.D61a cttc quan he ma ta c6 the tinh dlroc k bien btt kシ
la bO gδ m m biё n・
,Xm>)°

cho u, v(1り

nm_k bien kia(6 day x

Ngoai ra,trong蜘 ぬg hqp cal n6ir5 ta宙 6t

u(っ

thay

thay Cho v.D6i v6i cic quan he khong phaila d6i xing c6 hang k,khOng lm

mtt tinh t6ng qu壼 ,ta c6 th6 gia st quan he xac dinh duy nhtt mot ham fv6it"bi6n va0

1a u(O vat"bien ra la v(0;ta goilooi quan he nay la quan he khOng d6i xing xac dinh

mOt h温 ,hay

θ腸∂
goi vtt ttt la 92α ″ヵ
昭 あJχ ルg.

Vf du:quan he fgitra 3 g6cA,B,C trong tam giacABC cho b6i he thic:

A+B+C=180

(dm vi:dO)


C

f:A+B+C=180
Hh血 2-:Quan he 3 g6ctrongtam gMcABC

Mang tinh tOin va cic H hiou

■bao

NhlF da n6i 6 tren,ta se xem x6t cic mttg tinh to力

gう m

mott負 )hqp cac bi6n M va

mottap hqp Cac quan he(tinh t。 漁1)F tren cac bi6n.Trong truぬ gh"t6ng qutt c6 th6

宙&:
M={Xl,X2"¨ ,Xn},
F={1,f2,… ,塩

}。

DOi v6i mOi f∈ R taけ hieu M(o lat負 )cac bien c6 1ien he trong quan he f Di nhien

M(0 1a mOtttt COn cia M:M(o⊆ Mo N6u宙 &fdu6i dttg:
f:u(0-→ V(0

thita c6:M(o=u(0∪

V(0。

BaitOin tren ln,ng Suy diё n tinh tOin

ChO mOt mang tinh tom(M,F),M lattt c“

bi6n va F la t“

c quan heo Gia tt c6 mot

ttt bi∞ A⊆ M da dlFoC通 C dinh va B la mOtt"bi∞ b針 け 廿“
Ong

cic vttn dさ dttt ra lう

:

M.


=C6thё

xac dinh duoc ttt B n tゎ A nhO cac quan he trong F hay khOng?N6i
J■ iet

cich khac,ta c6 the tinh dlFoC gla tri cia Cac bien thuoc B v6i gl五

da biet

gM tri Cta cic bien thuOcAhay kh6ng?
=Neu c6 the xttc dinh dlFOC B tt A thi qutt trinh tinh toan gla tri cta caC bien
thuOc B nhlFthe nお ?
lg hq)khOng th6 xic dinh dlFoC B,thi ch chO them diё u kien gi d6
=Trong trLF挽
c6the xic dinh duoc B.

BaitOm xac dinh B ttAtten mttg tinh tottn(M,F)dl10C宙 et dlr6i dttg:

A→ B,
trong d6 A dlFoC g。 1 la gia thiet,IB dlFoC goila lnuc tieu tfnh toan cta bai toin.

Uu di6m&khuy6t di6m cia mlng suy di5n tinh toin

・

」u di6m:
● Giai ducc htt h6t cic baitOm GT→ KL n6u nhu d“

mgd∼

前

C gia th6t

“

can thiet.

・ Thutt tO`h dm gitt dё cai dtt chO nen viec bao tri he th6ng tlFCmg d6i dm
glan。

●C6th6 x∼

dl口 g he th6ng suy luれ va giaithich mOt Cach r6 rmg va dё

hi6u.

O Khuy6tdi6m
●Do he th6ng Chi baO gさ mlcぃ (M,F)d6bi6u diё n

tri thic ntt khi g“ phai

nhmg baitOm pttct"thi c6 the x∼ ra宙 ec llFu tt kh6 khtt va nhtt nhttg
Dё ng thbi viec x∼
khi qu狙 け。
kh遇

血→ phai

d、

口g laithutt tOm la m∝

viec tlF∝lg d6i kh6

bao tri laitott bO he thOng.

●D6i v6i cac baitom ma si dung nhiё u cac d6itlFttg tinh tom baitom tr6 nen
phic tOp,viec giai quy6t bai toin bュ ng mang tinh toin tr6 nen kh6 khttn cho
ngubi lap trinh。


Bi6u di5n trithtt bふ ng Frallle

Khii niOnl:

Frame la mot ctt mc do lieu chia dumg ttt ca nhiFng tri thic lien quan“ n mOt d6i
che den khai nienl hlF6ng d6itucng(thvC ra

tlrong cu the naO d6.Frarnes c6 1ien he chュ

framc la nguδn g6C cia lap trinh hlF6ng d6itlrOng).NgtFoC lai V6i Cac phllong phttp bi6u
dian tri thic da dlFoC dё C鈍 ,d6n,framc"d6ng

g6i"tom bO mOt d6ittr∞ g,tinh hu6ng

hOiC Ca mot van de phic tap th激士 LIII10t thvC the duy nhtt c6 cauも

面

c.MOt frame bao httm

trong n6 1■ ot kh6i llrttg tlFCyllg d6i lで h tri thic vさ inOt d6i tlFttg,sv kien,vi tri,tinh

hu6ng hoiC nhing y6u t6 khac.Do d6,frallne c6 th6 gi`p ta m6 ta kha chi ti6t in6t d6i
tlFOng.

DIF6irn9t khfa cⅢ nao d6,ngtFむ i ta C6 the xcrn phlFυ ■
g ph“ bieu dien tri thic bttg
■
frame chinh la nguさ n g6C cia ng6n ngir ltt trinh hlF6ng d6i tucng.Ψ

ttF6ng cia phucng

phtt nけ la"″ ,aッ ッ
〕ら

夕
′4yδ′グル
g cdc σ
g σ
露
∂
′
力″αα
″
ο′
%∂ グ
∂あ 力
4g s′ グ
7′ あ
γ″
αら
4g`ッ

″ σ
g sd″ χ
dε み
αη
2″ ι
ゎヵのり物徽シ,g
`ッ

′
ο″.形 ″ック

n"i励

昭

Sσ

gα

″″ ε
dσ ″
´
″″∂
ηッ
び
″ ∂房 力 4gッ わ
“
“
`ン

腸 ∂辱 らαο」 ∂′笏 Jあ ″鋸 滋 ″ッJθ εガ
∂
θ′カ ル b′ 房
““
“

あ力
″ κ″α′ Cing v∼ ,′ tlF6ng chinh cta framc(hay Cia phlFOng ph“
"。

14ぃ

trinh hlF6ng

dOi tlFttg)la khi bieu ditt mOt tri thic,ta se"gtt kem"nhing thao Mc thumg g“ tren
tri ttic nほ Ch2mg han nhu khi m6 ta khai niem ve hinh chl nh針 ,ta Se gtt kё

′
′
η
力chu

m σ
グ
σ
カ

vl,dien tich.

Frame thlFё ng duoc ding de bieu dien nhing trithic"chu舗

"hoュ c nhing tri thic dlFoC

xay dvng dva tren nhing kinh nghiellll hoュ C Cac dttc di6111 da dlFCC hi6u bi6t ctt ke.B6
naO cta cOn nglFbi Ching ta van lu6n''llru l貯

サ"rat nhieu cic tri thic chung ma khi can,


cM p掟 饉gitt quy&.Frame la

chmg ta c6 th6"1行 ra"d6vれ dwg n6 trong nhing v缶

mtchg cuthich h"“

biれ dian血血g ki6utriぬ

n凛
“

“

湖麟轟

薦

"i油
‐
″

￨ま ￨1勲

=,A敵
1呻

‐

●50001T面 ol

"1:Sedan

Ffmti】 出鼻T

IIwgl,30ml

■や甲ぼ1薇

Xy―

inthl =に

■11

“

η lln6●

"i4(41Faultbl

inOh●

￨11● ￨1毒 :Ⅲ Ⅲ
亀

=

ⅢⅢⅢ

l‐

IL●Hga詢 り

'III:(￨IFaultD

品

drr
{thrmchfiu
:壼
輸

:I● ‐
line=￨:Ⅲ 輩￨“

ry-Iqth:5

議モ 僣は感
￨111.41詢

●中￨￨11,11ゴ qr11,

H血

2‐

Fralne xc hd
:C猛 廿
`cm∝

c`utmccia Fmme
M∝ ianle baO gom 2■山山 ptt cσ bh la
M5i mot tame mO饉 motあJ″77g ρbJiecり 。

slot va faceto MOt S10t la motthuoc tnl d“

饉

i情ぃ g dugc biれ di5n b6i tame.Vi dリ

:trong ialne m6饉 xc hci,c6hai slot la″ σ
4gル
“77g vaJ.グ ″夕

.


M5i s10t c6 th6 chia m6t hoこ c nhiё u faceto Cic facet(dOi liC dlFoC goi la slot"。

。
n")dュ c

ta mOt s6 thong tin ho¨ thi ttC lien quan dё n thuoc tinh ducc m6 ta b6i slot.Facet c6
nhiさ u10。 i

khac nhau,sau d∼ la mOt s6 facetthuぬ ggぃ 。

‐ 均′
zθ はガrrり

:ChO bi6t g″

″ノcta thuoc tinh d6(nhu xanh,d6,tim vttg n6u s10t

la mm xc)。

―Dグ ケ
ν
ルをJd″ ′ ″ ″″
〃 :he
“

th6ng Se tt dong si dung gitttritrOng facet nけ

n6u

slot la r5ng(nghFa la chュ ng C6 dttc ta nao!).chttng han trong frame vё xe,xё t slot

ve s∂ ′″

"2g bdη

あ。Slot

nay se c6 gia tri 4。

Nghra la,mュ c dinh mOt ChieC XC hOi se

c64 banh!

―Rα ″
gθ ″ だ″g″ ″
″:(ttrOmg

tv nhll ki6u biё n),chO biё t gia tri slot c6 th6 nh如

nhing looi gia tri gi(nhtF S6 nguyen,s6thvc,chi cai,.¨

―f/αddCグ:Il16

)

ta inOt htt dOng Se dlloc thi htt khi inot gia tri trong slot dlFoC

them vaO(hOic dlroC hieu chinh)。

Thi ttC thuthg duOc宙 et du6i dttg mot script.

― √″θ
θ
滅9グ :duoc si dung khi S10t khOng c6 gia tri naO.Facet m6 ta mot httl d6
tinh ra gia tri cia S10t.

Tfnh L“ thむ a

Trong thvc t6,mot he th6ng tri tue nhm tao thtFぬ g si dung nhiё u fralnc duoc lien k6t

v6i nhau theo mot“ Ch naO d6.Mot ttOng nhiFng di6m th宙

cta■ ame latinh phm cゎ 。

Dic tinh nay cho ph6p ke thta cac tinh chtt glia cac frarne.

Hinh sau d∼ chO thtt ch tmc phtt cあ cta cac l。 。

i hinh hitt h9c co b加 .G6c cta c∼

6 tren cmg tlFmg ung v6i mic do ttt tucmg cao nh猛

Cac
。

fralne nttm 6 dlF6i Cing

(khOng c6■ ame con nao)goi la la.Nhmg iamen猛 16 micthわ hm c6 thё th)a k6血
ca nhmg tinh chat cta nhttg frame cao hon.

鋭c

ttame cha se cung cゎ nhing mo tat6ng qutt vё tttc th6.Frame c6 cあ cttg cao tn

miC dO tOng qutt cttlg cao.ThOng thuttlg,frame cha se baO gOm cacグ
thuOC tfコ 血 .Cё n cttc fraIIne con se chia

Ⅲ

″
gみ 力Cta
ぁれ
′

g gia trithvc Sv Cia cac thuoc tinh nay.

cic

Tam

giic

ｔ
６ ・

ｍ  ｍ
︿
。
ａ 、ｇ

６

Ｈス
哩

Ｓ

ａ   ＾ｅ ・

Ｂ ｈ

︲
ｅ´ ■

．
 
 

 
 
 
 
 
 
 
¨動
嶼

¨

(CrHnRropts, FuncsrRules)

cac khai niem duoc x∼ d口 g dva tren cac d6ituttg.M5i khai niem la mOtlф

tlF"gtinhtom c6 ch t艶 c nhtt dinh va duoc phtt cわ
tuong,bao gOnl:

theo sy thiё t l“

cac d6i

cia Ctt mc d6i


cic d6itwσ ng(hay khii niem)nё n:la cac d6i tlFalg(hay khtti niem)dlFoC mユ C
nhien thta nhね 。
Vf du:nhu mOt s6 d6i tu9ng kiё u bo01ean(logiC),S6無 nhien
(natural),SO nguyen(integer),sO thuc(real),t“ h9p(Set),danh Sach(list)hay mOt

s6ki6u tu dinh nghia.

cic d6i tlrcng ccr bin(hay khii niclll)CCF bin cip O:c6cau tic r5ng hOic c6
c thi6t
ch加白

ltt tren mOt s6 thuOc tinh kiё

u khai niem nёn:Cac d6i tlFαlg(hay

khai niem)n:ン lam nen chO cac doitu∝lg(ha/y cac HMi niem)c“ cao hmo Vidu:
c thiet
d6itucng DIEM c6 kieu mota khong C6 c加 加血

l".

Cic dOi tlrcllg(hay khii niom)Cap l:cac doi tlF"gnけ

Chi C6 cac thuOc tinh

kieu khai niem nen va c6 the dlFCC thiet l"tren mOt danh sich nen cac doitlF"g
co b`h.Vi du:dOi tlF∝ lg DOAN[A,B]trOng d6 A,B la cac doi憶 01g Co b仕 1

looi

E)IEM,thuoc tinh a bieu thi dO dai dott thttg c6 kieu tlFOng ing la``rcal''.

…Cic d6i tlrgng(hay khii niem)c4p2:Cac d6i tlFomg nけ

C6cac thuOc tinh ki6u

khai niem nen va“ c thuoc tinh loai d6i tlFmlg c“ 1,C6the duoc thiet l"廿 on
mOt danh sich nen cac d6i tu∝ lg co b加 .Vi du:dOi tuttg TANIIGIAC[A,B,C]
trong d6 A,B,C la cac doitlF∝ lg cO ban looi DIEM,cac thuoc tinh nhlF GocA,a,

S c6 kieu tlFmg血 g la``GOC[C,A,B]'',``DOAN[B,C]'',``real''.

‐Cic d6i tlrttg(hay khii niom)Cttp n>o:cac d6i柑
ki6u khai niem nё n
l如

廿en

va“ c

thuOc tinh 10。 id&tuttg

mOt danh ttCh nё n cac d&tuttg Cわ thわ

C6c“

"gnけ
cわ thわ hm,c6th6

thuoc tinh

dlroc th6t

hm.

ciu tric ben trong cia m5i16p d6itlrgng:

Ki6u d6i tlF∞ g:Ki6u nけ c6th6 1a ki6u thi6t l"tren mOt danh MCh nё n cttc
d6i tlFttg c“ th“

―

hm.

Danh sich“c

thu6c tinh cia d6i tlFttg:M5i thuoc tinh C6 kiё u thvc,kiё u

doi arOng co ban hay kieu doi tlFOng cap thap holl.Phan ra l油

2 1ooi la tap cac

thuOC tinh thiet l“ cia d6i ttF"g va ttt cttC thuoC tinh khic(Cё n goi la ttt thuOc
tinh)。


― Ttt h"Cac dieu kien r2hg buoc tren cic thuOc tinh.
… Tap h9p CiC tfnh chat noitai hay sv kien v6n c6 1i(激 L quan d6n cic thuoc
tinh cia dOituong.

― Ttt hqp cac quan he suy dim…

tinh tom tren c“ thuOC tinh cta dOitlrttg。

cac quan he nけ th6 hien cac lutt Suy diё n va cho ph6p ta c6 thё tinh tOm m∝ hay

mOt s6 thuoc tinh tt cac thuOc tinh khic cta d6itlFttg.

―

Tap hqp CiC lutt suy diё n tren cttc loOi sv kien khac nhau lien quan d6n cac

。
M5i lutt suy di5n c6 dttg:{cac

thuOC tinh cta d6i憶

"g hay btt thtt d6itlF叫

sv kien gia thi6t}⇒ {cic Sv kien k6tlu如

}.

M6hinh cho mOt dOitlFm2 tinh tom (c_obiect)

MOt C-0可 ectC6 th6 duoc mo hinh h6a b6i mot bo 6 th漱 血ph′h chinh:
(BaSiCO,Attrs,CRela,Rules,Prop,Cons)
Trong d6:

― BasicO:la t“ h"caC d6itlF"g nan cia mOt d6ituttg。
‐ Attrs:la ttt h"cic thuoc tinh cta d6itlF"g。
‐CRela lattt h"Cac quan he suy dien tinh tom.
―Rules:la

t(ゎ

h"cな )lutt

suy dien tren cac sv kien lien quan den cac thuOc tinh

cing nhlFlien quan den ban than d6itlFOng。

―Prop:la
― Cons:la

ttt h《 p Cac tfttL Chtt hay svkien v6n c6 cta d6ituttg.

ttt hop Cac dieu kien rttg buoc.

Trong ttt C,ta c6 cic quan he ma theo d6 c6 th6 c6血 枷lg khii niem la sv dュ c bi∝ hO五

cta mmg khai niem H通 c.C6thё n6i,H la m∝
phtt cゎ la mot quan he thi tttren c.

cht託 c

cta motquan he phm cわ

:

bi6u dδ Hasse tren C khi xem quan he


[く

ten 16p d6itlrcng cttp caO>,く ten 16p d6i tlrcrng cip thip>]

MOi quan he dlFoC XiC dinh b6iten quan he va danh sach cac 10。 i d6ituong cia quan he・
DOi v6i quan he 2 hay 3 ngoithi quan he C6 the c6 cac tinh chat nhtFtinh phan x。 ,tinh
phan XIFng,tinh dOi xlFng va tinh bttc cau.

cau t面 c cta mot quan he:
[く

ten quan he>,く

loli d6i tlrcFllg>,く lo,i d6i tlrcnlg>,".l,{く tinh Chit>,く tinh

chat>}。

Ttt h∞ Oots d“ tom■
cac tom ttrthe hien cac quil
tac tinh

toan nhat .
dinh tren cac bien thlFC Cung nhlF tren Cac

d6ituongo Chttg han nhlF C` lc ph6p toin s6 hoc,cac phё p tinh toan tren cac d6i tlFOng
doan,g6c tlFOng tv nhlr dOi v 6i cac bi6n thvc hay cac ph(ゎ
tran,…

tittl tOj血

vecto,tinh toan ma

.Trong trlrhg hqp cac ph6p tO力 n2ngOi thi ph6p toん n c6 th6 c6 cic tinh chtt nhlF

tinh giao hoan,tinh k6t hoP,tinh nghich daO,tinh trung hoa。

Tap hop Funcs cic h加
Ttt h"FlllllCS trOng m6 hinh COKB the hien tri thic ve cic httn hay n6i cach khic la
the hien tri thic ve cac khai n19m va cac qui ac tinh tOm tren cic bien thuc cullg nhu
tren cac 10。

ic_o可 eCt,dlroc xay dmg thOng qua cac quan he tinh to`m dang h油

。M6i

hanl duoc xac dinh b6iく ten ham>,danh sach cac doi so va mOt quitttC dinh nghia ham ve
phlFOng dien toan hoc.


Tいヽ∞

Rules cic lu針

M51lutt chO ta mot quitic suy luれ d6n cac sv kien dang bi&suy ra duoc cac sv kien

m6i thOng qua宙 eC“ фng“C dinh lu針 ,dinhけ ha/yc“ quitic tinh tom nお d6.M5i
luat suy dien r c6 the dlFoC In6 hinh hoa dtF6i dang:

r:{Skl,Sk2,¨・ ,Skm}⇒

ctt mccta m∝

lu針

{S塩 +1,S塩 42,""S鴫

}.

:

I Kind,BasicO,Hypos,GoalsI
Trong d6:
Kind:loai luat.

BaseO:t節

c dOituttg cc b加

.

“Sv kien gia thiet cta motlu針
Hyposittt caC
Goals:ttt cac sv kien ketluね cta mOtlu各

.

.

T6chic cc sむ trithJh theo COKB
Co s6 trithic ducc t6 chic b6i mot he th6ng t“ tin vttn bttn c6 c△ u tic dua tren mot s6

n khoa va qui v6c ve ci ph“ ,the hi“ cac thttlh ph`h trong m6 hinh trithic COKB.He
th6ng nけ baO gё m“ c ttt tin nhu sau:

‐ Ttttin

oBJEC■ txt:LIFu

ttt ttt ca cac khai niem d6itu∝ lg cia co s6 trithic.

― T"tin ⅡIERARCⅡ Ytxt LIFu lai“ C

biё u dδ

dac biet hoa gi,a cac looi doitlrttg C-0可

Hasse th6 hitt quan he phtt cわ

eCt・

― T“ tin RELATIONS.txt:Llru tt ttt ca cac quan he cthg nhu cac tinh cha gita
cac 10。 i

d6i tlF"gC_O● ect.

― Ttt tin oPERATORS.txt llru n cic thOng tin,co s6 tri■ ic cia th漱 血 ph征

tOm tttra“ c d6itlF"gC… 0可 cct。


― T(わ

tin oPERATORS DERtxt Ltruti dinh nl典 ia

itOm
vё Cac l。 。

tt hay dm

nghia cia cac thi tuc tinh tOin phり c vu toan ti.

― T“ tin RULESetxt:Llru ti cac he lutt tren cac 10″

dOi tlFO■ lg

va cac sv kien

trong cc s6 trithic.

―Ttt tin FUNCTIONSetxt:Llru m cach khai b10 h温 ,thOng tin ve htt tren cic
C‐ 0可 eCt・

‐T"tin FUNCTIONSpEEtxt:LIFu ttt dinh nghia vさ

cac httn tren cac d6itlr∝ lg

va cac slF kien。

_ cac ttt tin C6 tenく ten cic c_oBJECT>.txt Llru ttt d濾 tmc cta dOitlF∞ gく en

khai n19m c_0可 ec).

ciu tric cia cic tap tin llru tri cic thanh phan trong n16 hinh COKB

cau tric tap tin``OBJECTS.txt''

beginpttectS

くen

loai
. d6 ituong l>

′
くen 10ai doitugng 2>

end_objects

C加 価 cta)tin``RELATIONS.txt''
beginLrelations
[<“n

quan he l>,く en

10。 i d6i tu∝ lg l>,<ten looi d6i tu∝ lg 2>,… .],{``
1>","く fnh ch盛 2>",...}
[く en

quan he 2>,<ten 10。 i d6i tttg l>,<ten 10。 i d6i tumg 2>,...],{“
1>'',''<thh ch狂 2>",.¨

end_relations

}


働 血 “HIERARC肛 ぽ

血

魏

begin hierarchy

itung cap caO>,く 舗1■
i情 四g Ca2p cao>,く 範1■

[く en lの
[く en lの

“
“

end_hierarchy

c狙 廿

ituぃg cap thわ >]

“i館 ぃg
“

cap thあ >]

tゎ tin“ OPERATORS.txt"

“
begin_opentors

IKtom■ 1>,く k腱 旭腱 tqu>,I<k踵 旭tOm hang l>,く kiё i tOtt httg 2>,… 1]
[■ o“ 籠 2>,Kk踵瓶腱tqu>,[くkiё utOm hang l>,く kiё u tom httg 2>,… ]]
[Kto猛 ■ 3>,Kk腱 瓶腱tqu>,[く kiё u tOm httg l>,く kiё u tom httg 2>,… ]]
end_operators

ch廿

tin“

OPERATORS DER枚 t"

`ctね
begin operators def

begin deinO_operatorくo缶 ■ loフ hieu)>(CtOtt httg l>,Kto缶 嫌ng2>,… )

くc“ ntom httg>:く kiё u tOm han,
血 tom httg>:く kiё u tom httg>
retumく kitt doituongtravさ >
begin proc

くc“ qui

enむ

Ю

ttL tinh tO如 レ hayく 血i ttc thh toか

C

end operators def


,tin“ FttCTIONS.枚 t"

c狙 廿
`c総

begiⅢ nctiOns
くk遷油tivё

cぬ httm l>く 総nhm

l>(く 10・ i cttL《嬌is6 1>,… 。
){tinh

ia httm 2>く 使
h httm 2>←4oOi Cia 66i s6 2>,¨

end_functions

begin=inctions
begiLinction l:く 簑狐 httm>(く く
艶iS6 1>,… 。
)

<c“ 輸n“ i“ >:<kiё u cta“ i“ >

i“

>:く i61cれ

“
ittg>:kiれ

resultく

begin=proc
“

i6
“

a“ i情
“

■掟

"g■

end ttproc

properties

<“ に quitac thh tO脅 ,hayく ■itwcthh kM雌 >
end_properties

end hnction
begin=function 2

酬．

hnction

月
“
日
．

ｍ．

hnctions

.。

Chtt cだL

ham}

){ti」l Chtttta hml}

ヽ

begin rules

begiり le l
kind rllle=“
<c“ 総n“ itumg>:くkiё u d6itumg>;

n d6ittrmg>:
;

“
hypothesis」 art:
{Ctt Sv kiい gia thi&cia lu針 }

enⅢ ypOthesis」 art
goal_part:

{Cお Sv ki領 褒たlu餌 }

end goatpart
end rule
begin rule 2

end_rule

end rules

C鈍 加ιc ttp

th“ ぐ en劇膨饉nim c_obiecty.txt''

beginpl"ct:く en khai niem c_o可 ec)[く

d6itumg nan>

くc`艶 d6itlη mg nan>

Kkiё

itumg“ nl>,く

d6ittFmP
“

u“ i情

"P

beginttvariables

くc“ ten

thα )C tinh>

Kkiё u th“ c tinh>

くcお 綸n thuoc tinh> くk踵 旭thu9c

tf」 h>

itumg nan 2>,…

“

]


end varlables
begin_constraints
<d腱 旭kien rang buoc>

kien rttg buoc>

end constralnts

begin_oonsmct relatiOns

くsv

kitt quan he thi&“

p>

<sv kien quan he thi&1“ >

end consmct relations
begin_prOperties

くsv

kiれ

,

Inh chわ

end_properties

begin_computatiottlations
begin relation l

■ag=O hottc l

Mf={C“

thuOC tinh}

rf=1
Vf ={lhuOc tfF山 血 qua n“ flag=o}
expf=｀ bi6u th“ tf血 Ю血

｀

Cos卜 Ktr9ng sO cia sy tfnh tottn>
end relation
begin relation 2

end_relation

end_computation_re lations

begin_rules


begin rule l

kind nlle=``く loai luaじ >''
くcお

n dOitucng>:<kieu d6i tuong>;

“ doituo■lg>:<kieu dOi ttrOng>;

hypothesis」 part:

{Cた Sv kien gia thi&cia lu年 }

end hypOtheds」 art
goal_part:

{CttC Sv kien k6t lu鉾

}

end goal part
end rule l
begin rule 2

end rule

end_rules
end_object

sc dう t6chi℃ ccr s6 tri thic
M6i lien he vさ ctt t“ c thong tin trong cc s6 tri■ ic c6 thё duoc minh hoa tren sO dさ sau

d∼

:

ユ
RATORS

Ciu lrric ddi tu
DEF.txt

Ct)ini ngL11● loan t七 )

l.'t-tN(jTl()NS DEF.txt

{C&u trGt h6n)

OPl,RATORS.1、 1

FUヽ CT10NS ttt

(C“

t《

瀬m ttr)

(Ctt hこ ■1)

cau trt.d6i ttFong
()BJl)(IIS.txt
((1た 10ti d61 ltrく 競g〉
111五 R

(C:tLc $fr

kien)

ARCll=Y.txt

くBlさ tl dさ phan cap
khtti niem)

RELAT10NS.txl
(CIた quan hc)

RtILES.ι 、1
(CiC ltlit)


H血

2-:So dO tO chic theo lnO hinh CC)KB

Ngon nglr dlc ti theo n16 hinh COKB:

Ng6n ngO dic ta theo m6 hinh COKB duOc x∼ dtt dё

dang COKB.NgOn ngl nけ baO gOm cicth汁 血 ph`流

bi6u diё n chO cac tri thic c6

:

―

T“ h"“ C

‐

Tき vttg:n kh6a vaten.

_

cac kieu dirlieu i cac ki(ゝ ld,li(読 Ico ban va cacl。 。ic6 cau ttc.

…

cac bieu thic va cau.

_

cac cau lenh。

‐

Ci ph`ゎ

kftv:cht,s6va cacけ

d“

biet.

“

quy dinh chO Cttc th漱 血 ph′ h

cta m6 hinh COKB.

MOt s6 ch tmc cta cac dinh nghia cho cac bi6uぬ ic,c-0可 ect,relations,facts va
functions.

Dinh nghia cia cic bi6u thic:

expr

== exprl
rel― expr

l

logic‐ expr

expr

::=

expr add‐ opcratorterm l
te■ ■
11

term

::= te....mul― operator

factor l

factor

factor

::= factor l
element∧

factor l

element

element

== (eXpr)￨
namel

numberl
function― call
rel‐

cxpr

::=

expr rel― operator expr