Cng ngh Tri thc

(Knowledge Engineering)
PGS.TS. Phan Huy Khnh
khanhph29@gmail.com, phkhanh@dut.udn.vn

Chng 2
Biu din tri thc
V d mu

V d minh ho
Xy dng v t t cu chuyn k "Ch chn li hc:
Chn Mp sng khu rng thng, v l con mt nn cu
c cha m cng chiu v cng. Ti tui i hc ri, nhng
Chn Mp vn khng chu n trng, c lo rong chi. B
m cng qu nn Chn sinh h, khuyn bo my cu cng
khng nghe, cn ci li na. Chn r Nhm i chi, nhng
Nhm t chi v phi lo i hc. C Th v Sc cng vy. Chn
phi i chi mt mnh, mi ham bt bm nn cng lc cng
i lc vo trong rng. Chn tm ng ra ngoi, nhng khng
bit ch nn khng c c bng ch dn. Cu ngi xung
va khc va hi hn, nu chu kh i hc bit ch th by
gi u phi nh th ny. ng lc th bc S T xut
hin, chn tng mnh sp b n tht nn qu ly xin tha
mng. Bc S T bo: Ta ch mun gip chu thi,
v chu khng bit ch ch g? Chn gt u. c bc S
T khuyn rn v ch ng, Chn mng lm v nht quyt
t nay phi i hc
2/7

1
Chn mp sng khu rng thng.
Nu cha m X sng u Z, th cc con Y cng sng
Z.
sng_(X, Z) And cha_m(X, Y) sng_(Y, Z)

V l con mt nn cu(Chn Mp) c cha m

cng chiu v cng.
S kin Chn Mp l con mt:
con_mt(Chn_Mp, cha_m_chn_mp)
S kin cha m thng cng chiu con mt :
cng_chiu_v_cng(X, Y)
Phng n th hai l xy dng lut :
cha_m(X, Y) and con_mt(Y, X)
cng_chiu_v_cng(X, Y)
3/7

2
Ti tui i hc ri, nhng Chn vn khng chu n trng,

lo rong chi.

sinh_h(X) rong_chi(X)
rong_ chi(X)

khng_n_trng(X)

ti_tui_i_hc(X) and not khng_n_trng(X) i hc(X)

i_hc(X) bit c(X)
sinh_h(Chn_Mp)
ti_tui_i_hc(Chn_Mp)

B m cng qu nn Chn sinh h,

khuyn bo my cu cng khng nghe, cn ci li na.
cng_chiu_v_cng(X, Y) sinh h(Y)
cha_m(X, Y) and sinh_h(Y)
khong_nghe_khuyn_bo(Y, X)
cha_m(X, Y) and sinh_h(Y) ci_li(Y, X)

4/7

3
Chn r Nhm i chi, nhng Nhm t chi

v phi lo i hc. C Th v Sc cng vy.

r_i_chi(X, Y) and i_hc(Y) t_chi(Y, X)

Chn phi i chi mt mnh, mi ham bt bm

nn cng lc cng i lc vo trong rng.

i_chi_mt_mnh(X) and
chi_tr_bt_bm (X) i_lc_rng_su(X)

Chn tm ng ra ngoi, nhng khng bit ch

nn khng c c bng ch dn.

i_lc_rng_su(X)
and tm_ng_ra_ngoi(X)
and bit_c(X) c_c_bng_ch_dn(X)
c_c_bng_ch_dn(X) tm_c_ng_ra(X)
5/7

4
Cu ngi xung va khc va hi hn, nu chu kh

i hc bit ch th by gi u phi th ny.

i lc rng su (X)
and not tm c ng ra (X)
tnh hung b n tht(X)
ng lc S T xut hin, chn tng mnh
sp b n tht nn qu ly xin tha mng.
loi_n_tht(X) and loi_b_n tht(Y)
n_tht(X, Y)
tnh_hung_b_n_tht(X) and xut_hin(Y)
and n_tht(Y, X)
tng_mnh_b_n_tht(X, Y)
tng_mnh_sp_b_n_tht(X, Y)
xin_tha_mng(X, Y)

6/7

5
Bc S T bo:

Ta ch mun gip chu thi,

v chu khng bit ch ch g ?
Chn gt u.
xin_tha_mng(Y, X) and khc_hi_hn(Y)
and c_lng_v_tha(X) khng_n_tht(X, Y)
khng_n_tht(X, Y)
and not tm_c_ng_ra(Y)
khuyn_rn_v_ch_ng(X, Y)

c bc S T khuyn rn v ch ng,

Chn mng lm v nht quyt t nay phi i hc.

khuyn_rn_v_ch_ng(Y, X)
mng_nht_quyt_t_nay_phi_i_hc(X)

https://www.mediafire.com/folder/9b81l9mfnt7xa//BaiBaoKho
https://www.mediafire.com/folder/9b81l9mfnt7xa//BaiBaoKho
aHoc
aHoc

7/7