Bài 6: Ngôn ngữ tân từ pot
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (706.55 KB, 26 trang )
NGÔN NGỮ TÂN TỪ
www.Athena.Edu.Vn 1
1.
2. Cú pháp
3.
4.
5.
6.
7.
www.Athena.Edu.Vn 2
•
-
• Đặc điểm:
–
–
–
• Có hai loại:
–
–
www.Athena.Edu.Vn 3
2. Cú pháp
•
• Biến
• Hằng
• Hàm
• Tân từ
• Các phép toán logic), kéo theo (), và (
().
• Các lượng từ)
www.Athena.Edu.Vn 4
• Định nghĩa 1: Tân từ 1 ngôi
–
–
– Ví dụ
•
• P(gt), gtX = {Nguyen Van A, Tran Thi B}
• x là người nữ
•
•
www.Athena.Edu.Vn 5
• Định nghĩa 2: Tân từ n ngôi
–
1
, X
2
n
và n
1
, x
2
n
i
–
i
X
i
, x
i
=a
i
– x
1
, x
2
n
)
– Ví dụ: CHA(x
1
,x
2
1
2
– Chú ý:
• Các X
i
•
i
=a
i
, P(x
1
, x
2
i
n
-1 ngôi
www.Athena.Edu.Vn 6
• Định nghĩa 3: Từ
–
–
1
, t
2
n
• Định nghĩa 4: Công thức
–
1
, t
2
n
), t
i
–
1
, F
2
1
F
2
, F
1
F
2
, F
1
=>F
2
, F
1
–
1
:F
1
, x:F
1
–
1
1
www.Athena.Edu.Vn 7
• Định nghĩa 4:
– đóng
– mở
• Ví dụ:
– C
1
:xty(P(x,y,a) z(Q(y,z,t)
,
– C
2
:x t (P(x,y,a) z(Q(y,z,t)
,
www.Athena.Edu.Vn 8
Gồm 4 phần:
•
•
•
•
n
www.Athena.Edu.Vn 9
•
1
,x
2
n
) và liên
P(a
1
,a
2
n
(a
1
,a
2
n
) R
P(a
1
,a
2
n
): S (a
1
,a
2
n
) R
• Các phép toán ,,,
•
i
M/F(a
i
M={a
1
,a
2
n
} F(a
i
), a
i
M
• a
i
M/F(a
i
M={a
1
,a
2
n
} F(a
i
), a
i
M
www.Athena.Edu.Vn 10
www.Athena.Edu.Vn 11
1.
2.
3.
–
– t
1
a , t
1
t
2
1
,t
2
www.Athena.Edu.Vn 12
4. công thức nguyên tố
5. F
1
và F
2
1
F
2
, F
1
F
2
, F
1
F
2
,
F
1
6. sF, sF là công
7.
www.Athena.Edu.Vn 13
•
• Ví dụ: BIENGIOI(nuoc,tinhtp). Phép toán quan
BIENGIOI s}
www.Athena.Edu.Vn 14
www.Athena.Edu.Vn 15
F là công thức an toàn: nếu nó thoả mãn 3 điều kiện sau:
i) Nếu s là bộ n thỏa: F(s) là đúng thì mọi thành phần của s
là phần tử của DOM(F):
ii) F’ là công thức con của F:
iii)
)():( FDOMsĐúng
s
F
)'(:',' FDOMsĐúng
s
F
s
sF
)'(:',' FDOMsĐúng
s
F
s
sF
• 1. Phép hội
– Q
1
,Q
2
– F
1
, F
2
1
, Q
2
–
1
Q
2
– F
s
=F
1s
F
2s
• 2. Phép trừ
– Q
1
,Q
2
– F
1
, F
2
1
, Q
2
–
1
-Q
2
– F
s
=F
1
F
2s
www.Athena.Edu.Vn 16
• 3. Phép tích
– Q
1
(x
1
m
), Q
2
(y
1
n
)
– F
1
, F
2
1
, Q
2
–
1
x Q
2
F
s
: s(x
1
m
, y
1
n
)
F
s
=(v) ( p) (F
1v
F
2p
s
1
=v
1
m
=v
m
s
m+1
=p
1
m+n
=p
n
)
www.Athena.Edu.Vn 17
• 4. Phép chiếu
– Q
1
(x
1
n
), F
1
1
–
1
[x
i1
, x
i2
ik
]
F
s
=(v) (F
1v
s
1
=v
i1
s
2
=v
i2
k
=v
ik
)
• 5. Phép chọn
– Q
1
1
1
–
1
i
x
j
i
a)
F
s
=F
1s
s
i
s
j
1s
s
i
a (1i, j n, ij)
www.Athena.Edu.Vn 18
www.Athena.Edu.Vn 19
1.
2.
– Q(t
1
,t
2
n
): t
i
– t
i
t
j
,t
i
i
là phép toán
3. công thức nguyên tố
4. F
1
và F
2
1
F
2
, F
1
F
2
, F
1
F
2
, F
1
là công
5. sF,
6.
www.Athena.Edu.Vn 20
{(x
1
,x
2
n
) | F(x
1
,x
2
n
)}
• x
i
• Q= {(x
1
,x
2
n
) | F(x
1
,x
2
n
)} nên
(x
1
,x
2
n
)Q F(x
1
,x
2
n
www.Athena.Edu.Vn 21
www.Athena.Edu.Vn 22
F là công thức an toàn: nếu nó thoả mãn 3 điều kiện sau:
i) Nếu s là bộ n thỏa: F(s) là đúng thì mọi thành phần của s
là phần tử của DOM(F):
ii) F’ là công thức con của F:
iii)
niFDOM
i
xĐúng
n
xxF , ,1,)():), ,
1
((
)'(:' FDOMxĐúngxF
)'(:' FDOMxĐúngxF
niFDOM
i
xĐúng
n
xxF , ,1,)():), ,
1
((
• 1. Phép hội
– Q
1
,Q
2
– F
1
, F
2
1
, Q
2
–
1
Q
2
– F=F
1
F
2
• 2. Phép trừ
– Q
1
,Q
2
– F
1
, F
2
1
, Q
2
–
1
-Q
2
– F=F
1
F
2
www.Athena.Edu.Vn 23
• 3. Phép tích
– Q
1
(x
1
m
), Q
2
(y
1
n
)
– F
1
, F
2
1
, Q
2
–
1
x Q
2
F(x
1
m
, y
1
n
) =F
1
(x
1
m
)F
2
(y
1
n
)
www.Athena.Edu.Vn 24
