Chia sẻ miễn phí cho các bạn tài liệu: Nghiên cứu một số vấn đề về văn phạm và ngôn ngữ mờ, đặc biệt là văn phạm và ngôn ngữ phi ngữ cảnh mờ, văn phạm max-product phi ngữ cảnh
TiÓu luËn kÕt thóc m«n häc: Logic mê
Häc viªn: Lª Thñy Th¹ch Líp: Cao häc Tin häc khãa 20042006
2
1. Ng«n ng÷ mê
Cho T biÓu thÞ mét tËp c¸c tr¹ng th¸i kÕt thóc vµ N biÓu thÞ mét tËp
tr¹ng th¸i kh«ng kÕt thóc sao cho T
ÇN=Æ. Mét ng«n ng÷ mê lµ mét tËp con
mê cña T
*
. Cho
l
1
vµ
l
2
lµ hai ng«n ng÷ mê trªn T.
Hîp cña
l
1
vµ
l
2
lµ mét ng«n ng÷ mê ®îc biÓu thÞ bëi
l
1
l
2
vµ ®îc
®Þnh nghÜa bëi: (
l
1
l
2
)(x) =
l
1
(x)
l
2
(x)
"xT*
(1)
Giao cña
l
1
vµ
l
2
lµ mét ng«n ng÷ mê ®îc biÓu thÞ bëi
l
1
Çl
2
vµ
®îc ®Þnh nghÜa bëi: (
l
1
Çl
2
)(x) =
l
1
(x)
l
2
(x)
"xT*
(2)Nèi cña
l
1
vµ
l
2
lµ mét ng«n ng÷ mê ®îc biÓu thÞ bëi
l
1
l
2
, ®îc
®Þnh nghÜa bëi (
l
1
l
2
)(x) =
{l
1
(u)
l
2
(v) | x=uv, u,v
T*} "xT*
(3)Cho
l lµ mét ng«n ng÷ mê trong T. Khi ®ã tËp con mê l
cña T* ®îc
®Þnh nghÜa:
l
(x)=
{l
n
(x) | n=0,1,...}
"xT* ®îc gäi lµ bao ®ãng
Kleene cña
l.
Mét v¨n ph¹m mê cã thÓ ®îc xem nh mét tËp c¸c quy t¾c ®Ó sinh ra
nh÷ng phÇn tö cña mét tËp con mê. Mét v¨n ph¹m mê, hoÆc ®¬n gi¶n mét v¨n ph¹m, lµ mét bé bèn G=(N,T,P,S), trong ®ã T lµ mét tËp c¸c tr¹ng th¸i kÕt thóc, N lµ mét tËp c¸c tr¹ng th¸i kh«ng kÕt thóc (T
ÇN=Æ), P lµ mét tËp
c¸c quy t¾c mê vµ S
N.
Mét phÇn tö cña P lµ biÓu thøc cã d¹ng:
m(r
w)=c c>0
(4)
trong ®ã r vµ w lµ nh÷ng x©u trong (T
N)*, c lµ ®é thuéc. Ta cã thÓ viÕt
gän
m (r
w)=c thµnh r
w.
Nh trong trêng hîp cña v¨n ph¹m kh«ng mê, biÓu thøc r
w biÓu
diÔn mét quy t¾c viÕt l¹i. V× vËy nÕu r
c
w vµ s vµ t lµ x©u tïy ý trong
(T
N)* th× ta cã srt
c
swt. swt ®îc gäi lµ suy dÉn trùc tiÕp tõ srt.(5)
NÕu r
1
,...,r
m
lµ c¸c x©u trong (T
N)* vµ r
1
2
c
r
2
,..., r
m1
m
c
r
m
víi
c
2
,...,c
m
>0 th× r
1
®îc gäi lµ sinh ra r
m
trong v¨n ph¹m G, hoÆc r
m
cã thÓ
®îc sinh tõ r
1
trong v¨n ph¹m G. §iÒu nµy ®îc biÓu diÔn bëi r
1
Þ r
m
.
r
1
2
c
r
2
,..., r
m1
m
c
r
m
lµ mét d·y phÐp suy dÉn tõ r
1
®Õn r
m
(6)
Mét v¨n ph¹m mê G sinh ra mét ng«n ng÷ mê L(G) theo nghÜa: Mét
x©u c¸c ký hiÖu kÕt thóc x ®îc gäi lµ thuéc L(G) nÕu vµ chØ nÕu x ®îc sinh
tõ
S.
§é
thuéc
cña
x
trong
L(G)
lµ:
m
G
(x)=
(m(S,r
1
)
m(r
1
,r
2
)
...m(r
m
,x))(7)
Ngôn ngữ hình thức thì rất chính xác trong khi các ngôn ngữ tự nhiên lại đa dạng và không chính xác. Để giảm khoảng cách giữa chúng người ta đưa tính chất mờ và
Dành riêng cho anh em Ketnooi, bác nào cần download miễn phí bản đầy đủ thì trả lời topic này, Nhóm Mods sẽ gửi tài liệu cho bạn qua hòm tin nhắn nhé.
- Bạn nào có tài liệu gì hay thì up lên đây chia sẻ cùng anh em.
- Ai cần tài liệu gì mà không tìm thấy ở forum, thì đăng yêu cầu down tại đây nhé:
Nhận download tài liệu miễn phí
TiÓu luËn kÕt thóc m«n häc: Logic mê
Häc viªn: Lª Thñy Th¹ch Líp: Cao häc Tin häc khãa 20042006
2
1. Ng«n ng÷ mê
Cho T biÓu thÞ mét tËp c¸c tr¹ng th¸i kÕt thóc vµ N biÓu thÞ mét tËp
tr¹ng th¸i kh«ng kÕt thóc sao cho T
ÇN=Æ. Mét ng«n ng÷ mê lµ mét tËp con
mê cña T
*
. Cho
l
1
vµ
l
2
lµ hai ng«n ng÷ mê trªn T.
Hîp cña
l
1
vµ
l
2
lµ mét ng«n ng÷ mê ®îc biÓu thÞ bëi
l
1
l
2
vµ ®îc
®Þnh nghÜa bëi: (
l
1
l
2
)(x) =
l
1
(x)
l
2
(x)
"xT*
(1)
Giao cña
l
1
vµ
l
2
lµ mét ng«n ng÷ mê ®îc biÓu thÞ bëi
l
1
Çl
2
vµ
®îc ®Þnh nghÜa bëi: (
l
1
Çl
2
)(x) =
l
1
(x)
l
2
(x)
"xT*
(2)Nèi cña
l
1
vµ
l
2
lµ mét ng«n ng÷ mê ®îc biÓu thÞ bëi
l
1
l
2
, ®îc
®Þnh nghÜa bëi (
l
1
l
2
)(x) =
{l
1
(u)
l
2
(v) | x=uv, u,v
T*} "xT*
(3)Cho
l lµ mét ng«n ng÷ mê trong T. Khi ®ã tËp con mê l
cña T* ®îc
®Þnh nghÜa:
l
(x)=
{l
n
(x) | n=0,1,...}
"xT* ®îc gäi lµ bao ®ãng
Kleene cña
l.
Mét v¨n ph¹m mê cã thÓ ®îc xem nh mét tËp c¸c quy t¾c ®Ó sinh ra
nh÷ng phÇn tö cña mét tËp con mê. Mét v¨n ph¹m mê, hoÆc ®¬n gi¶n mét v¨n ph¹m, lµ mét bé bèn G=(N,T,P,S), trong ®ã T lµ mét tËp c¸c tr¹ng th¸i kÕt thóc, N lµ mét tËp c¸c tr¹ng th¸i kh«ng kÕt thóc (T
ÇN=Æ), P lµ mét tËp
c¸c quy t¾c mê vµ S
N.
Mét phÇn tö cña P lµ biÓu thøc cã d¹ng:
m(r
w)=c c>0
(4)
trong ®ã r vµ w lµ nh÷ng x©u trong (T
N)*, c lµ ®é thuéc. Ta cã thÓ viÕt
gän
m (r
w)=c thµnh r
w.
Nh trong trêng hîp cña v¨n ph¹m kh«ng mê, biÓu thøc r
w biÓu
diÔn mét quy t¾c viÕt l¹i. V× vËy nÕu r
c
w vµ s vµ t lµ x©u tïy ý trong
(T
N)* th× ta cã srt
c
swt. swt ®îc gäi lµ suy dÉn trùc tiÕp tõ srt.(5)
NÕu r
1
,...,r
m
lµ c¸c x©u trong (T
N)* vµ r
1
2
c
r
2
,..., r
m1
m
c
r
m
víi
c
2
,...,c
m
>0 th× r
1
®îc gäi lµ sinh ra r
m
trong v¨n ph¹m G, hoÆc r
m
cã thÓ
®îc sinh tõ r
1
trong v¨n ph¹m G. §iÒu nµy ®îc biÓu diÔn bëi r
1
Þ r
m
.
r
1
2
c
r
2
,..., r
m1
m
c
r
m
lµ mét d·y phÐp suy dÉn tõ r
1
®Õn r
m
(6)
Mét v¨n ph¹m mê G sinh ra mét ng«n ng÷ mê L(G) theo nghÜa: Mét
x©u c¸c ký hiÖu kÕt thóc x ®îc gäi lµ thuéc L(G) nÕu vµ chØ nÕu x ®îc sinh
tõ
S.
§é
thuéc
cña
x
trong
L(G)
lµ:
m
G
(x)=
(m(S,r
1
)
m(r
1
,r
2
)
...m(r
m
,x))(7)
Ngôn ngữ hình thức thì rất chính xác trong khi các ngôn ngữ tự nhiên lại đa dạng và không chính xác. Để giảm khoảng cách giữa chúng người ta đưa tính chất mờ và
Dành riêng cho anh em Ketnooi, bác nào cần download miễn phí bản đầy đủ thì trả lời topic này, Nhóm Mods sẽ gửi tài liệu cho bạn qua hòm tin nhắn nhé.
- Bạn nào có tài liệu gì hay thì up lên đây chia sẻ cùng anh em.
- Ai cần tài liệu gì mà không tìm thấy ở forum, thì đăng yêu cầu down tại đây nhé:
Nhận download tài liệu miễn phí