Professional Documents
Culture Documents
2
I. PHÂN TÍCH CÚ PHÁP VỚI
CÁC VỊ TỪ
❖Nguyên tắc
- Quá trình phân tích tương ứng với quá trình chứng
minh
- Các luật sản sinh là định nghĩa của các vị từ
Ví dụ:
S → NP VP : là S nếu có NP và VP
NN → sách : là NN nếu có "sách"
3
I. PHÂN TÍCH CÚ PHÁP VỚI
CÁC VỊ TỪ
6
I. PHÂN TÍCH CÚ PHÁP VỚI
CÁC VỊ TỪ
7
I. PHÂN TÍCH CÚ PHÁP VỚI
CÁC VỊ TỪ
VP :vp(…, …)
NP :np(…) NP :np(…, …)
i have a book
8
I. PHÂN TÍCH CÚ PHÁP VỚI
CÁC VỊ TỪ
9
II. DANH SÁCH HIỆU
10
II. DANH SÁCH HIỆU
app([],B,B).
app([H|T], B, [H|R]):- app(T,B,R).
Ví dụ: A = [1,2], B=[3,4,5].
11
II. DANH SÁCH HIỆU
app([1|2],[3,4,5],[1|R])
app([2|],[3,4,5],[2|R])
app([],[3,4,5],[3,4,5])
12
II. DANH SÁCH HIỆU
13
II. DANH SÁCH HIỆU
15
II. DANH SÁCH HIỆU
16
II. DANH SÁCH HIỆU
Ví dụ:
Cho danh sách từ S=[bàn, là, sự, thực, hiện] và các từ
như sau:
bàn, là, bàn_là, sự_thực, sự, thực_hiện.
Tìm tất cả các cách phân tích danh sách từ thành các
từ ghép.
17
II. DANH SÁCH HIỆU
• Dùng vị từ app
phantich(S,R):- tuvung(S,R).
phantich(S,R):- tuvung(W,RW), app(W,P,S),phantich(P,RP),
app(RW,RP,R).
tuvung([bàn],[bàn]).
tuvung([là],[là]).
tuvung([bàn,là],[bàn_là]).
tuvung([sự],[sự]).
tuvung([sự, thực],[sự_thực]).
tuvung([thực, hiện],[thực_hiện]).
tuvung([hiện],[hiện]).
tim(S,L):- findall(R,phantich(S,R),L). 18
II. DANH SÁCH HIỆU
20
II. DANH SÁCH HIỆU
21
II. DANH SÁCH HIỆU
22
II. DANH SÁCH HIỆU
23
II. DANH SÁCH HIỆU
24
II. DANH SÁCH HIỆU
❖Bài tập
Dùng danh sách hiệu, phân tích cú pháp và trả về cây cú pháp
cho các câu sau:
1) một người đàn ông già đang đẩy chiếc xe Honda trên đường
2) Hoa có vật gì thì bạn Hoa cũng có vật đó.
25
III. CHUYỂN DCG SANG VỊ TỪ
PROLOG
❖DCG và vị từ Prolog
- DCG nhằm đơn giản hóa việc dùng vị từ prolog để
biển diễn các luật sản sinh.
- DCG thực hiện trên danh sách hiệu.
- Khi thực thi chương trình Prolog, DCG sẽ được
dịch thành các mệnh đề Prolog, quá trình phân tích
là quá trình chứng minh các mệnh đề.
26
III. CHUYỂN DCG SANG VỊ TỪ
PROLOG
❖Cây AND-OR
Cây AND-OR (AND-OR tree) là cấu trúc biểu diễn lời
giải bài toán bài toán gốc về dạng lời giải đồng thời
các bài toán con (AND) hoặc dạng lời giải riêng lẻ của
một trong các bài toán con (OR)
Ví dụ: Tam giác ABC vuông
OR
 + Ĉ = 90 a 2 + b 2 = c2
AND
 = 45 Ĉ = 45 29
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
❖Cây AND-OR
- Tìm kiếm trên cây AND-OR là quá trình chứng minh
(giải) bài toán gốc.
- Cây AND-OR được sinh dần trong quá trình tìm kiếm
- Quá trình tìm gồm: sinh trạng thái mới, kiểm tra trạng
thái, và quay lui (backtracking).
- Một node được kiểm tra thành công nếu là node
AND và các con của nó được kiểm tra thành công
hoặc nếu nó là node OR và một trong các con của nó
được kiểm tra thành công.
- Có thể duyệt theo chiều rộng, chiều sâu hay kết hợp.
30
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
❖Cây AND-OR
Ví dụ: cho tam giác có ABC có cạnh a = 3, b = 4, c = 5,
chứng minh ABC vuông.
31
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
❖Cây AND-OR
Ví dụ: cho tam giác có ABC có cạnh a = 3, b = 4, c = 5,
chứng minh ABC vuông.
32
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
❖Cây AND-OR
Ví dụ: cho tam giác có ABC có cạnh a = 3, b = 4, c = 5,
chứng minh ABC vuông.
AND
 = 45 Ĉ = 45
33
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
❖Cây AND-OR
Ví dụ: cho tam giác có ABC có cạnh a = 3, b = 4, c = 5,
chứng minh ABC vuông.
34
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
❖Cây AND-OR
Ví dụ: cho tam giác có ABC có cạnh a = 3, b = 4, c = 5,
chứng minh ABC vuông.
❖Cây AND-OR
Ví dụ: cho tam giác có ABC có cạnh a = 3, b = 4, c = 5,
chứng minh ABC vuông.
❖Cây AND-OR
Ví dụ: cho tam giác có ABC có cạnh a = 3, b = 4, c = 5,
chứng minh ABC vuông.
37
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
❖Cây AND-OR
Ví dụ: cho tam giác có ABC có cạnh a = 3, b = 4, c = 5,
chứng minh ABC vuông.
❖Cây AND-OR
Ví dụ: cho tam giác có ABC có cạnh a = 3, b = 4, c = 5,
chứng minh ABC vuông.
40
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
41
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
42
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
43
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
44
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
45
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
46
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
47
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
48
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
49
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
50
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
[hoa],[]
51
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
[hoa],[]
52
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
53
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
[hoa],[]
54
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
[hoa],[]
55
IV. CƠ CHẾ XỬ LÝ VĂN PHẠM
TRONG PROLOG
❖Bài tập
s → NP VP
s → VP
NP → NN
NP → DET NP
VP → VBZ NP
NN → books, flight
VBZ → books
DET → the
Cho biết quá trình phân tích câu "books the flight"
56