15/05/2018 08:44:04 AM
Bài viết sưu tầm
Chứng minh kết luận bằng suy diễn tiến
Bài toán:
cho trước tập sự kiện F={a,b}. sử dụng các luật:
r1: a Þc
r2: b Þd
r3: c Þe
r4: a Ùd Þe
r5: b Ùc Þf
r6: e Ùf Þg
cần suy ra g
|
r |
T |
S |
R |
|
r1 r2 r3 r4 r5 r6 |
a, b a, b, c a, b, c, d a, b, c, d, e a, b, c, d, e a, b, c, d, e, f a. b, c, d, e, f, g |
r1, r2, r3 r2, r3, r5 r3, r4, r5 r4, r5 r5 r6
|
r1, r2, r3, r4, r5, r6 r2,...r6 r3,..., r6 r4, r5, r6 r5, r6 r6
|
gÎT nên bài toán được chứng minh (g: true)
» Tin mới nhất:
- Luồng (Stream) (06/07/2025)
- Chờ khoá trong DB2 (04/07/2025)
- Các CEO công nghệ dùng AI thế nào trong đời thường (02/07/2025)
- Giới thiệu về MongoDB (18/06/2025)
- Việc làm với sinh viên tốt nghiệp ngành hệ thống thông tin (18/06/2025)
» Các tin khác:
- Biểu diễn bài toán tháp HN bằng KGTT (15/05/2018)
- Xử lý đồng thời (08/05/2018)
- Các loại Cursor (08/05/2018)
- Phương pháp sinh và thử. (19/04/2018)
- Kỹ thuật tìm kiếm leo đồi. (19/04/2018)
- Giới thiệu HTML5 shopping cart jQuery (18/04/2018)
- Giới thiệu shopkart.js plugin (18/04/2018)
- Kiểm thử liên tục cho các thiết bị mobile (Continuous Testing for Mobile Devices) (18/04/2018)
- Công cụ kiểm thử mobile với Xamarin Tests Cloud (18/04/2018)
- Cài đặt và bảo vệ phpMyAdmin trên Linux - Phần 2 (18/04/2018)
