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:
- Ứng dụng ngăn xếp trong việc chuyển biểu thức trung tố sang hậu tố (18/11/2024)
- Tìm hiểu về FIREWALL (18/11/2024)
- Hướng dẫn khác phục lỗi VPCS không PING ra được Internet (17/11/2024)
- White-Box Testing - Phần 3 (17/11/2024)
- Các hàm xử lý list trong Python (17/11/2024)
» 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)
