Bài viết sưu tầm
Suy diễn tiến (lập luận tiến - forward chaining hoặc forward reasoning)
(tư tưởng cơ bản của suy diễn tiến là áp dụng luật suy diễn Modus Ponens tổng quát)
Là quá trình suy diễn bắt đầu từ tập sự kiện đã biết, rút ra những sự kiện mới và cứ như vậy cho đến khi có được sự kiện cần chứng minh hoặc không có luật nào sinh ra các sự kiện mới (tập sự kiện đúng là cực đại).
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.
để 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 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:
- Việc làm liên quan đến web (18/05/2025)
- Công cụ trong Python (17/05/2025)
- Dùng hàm AverageIF để tính trung bình công theo một điều kiện cho trước (17/05/2025)
- Xử lý Chuỗi trong Xử lý Ngôn ngữ Tự Nhiên (NLP): Từ Văn Bản Thô đến Hiểu Biết Ngữ Nghĩa (17/05/2025)
- Làm thế nào để tạo một script Python để quét mạng (17/05/2025)
» Các tin khác:
- Hướng dẫn: Cài đặt Virtual Host Apache trên Ubuntu - Phần 2 (15/09/2016)
- Hướng dẫn: Cài đặt Virtual Host Apache trên Ubuntu - Phần 1 (15/09/2016)
- Khai phá quy trình (15/09/2016)
- Khai phá cấu trúc ngữ nghĩa ẩn trong văn bản (15/09/2016)
- Hiển thị cú pháp ngôn ngữ lập trình trên môi trường web với highlightjs (14/09/2016)
- Giới thiệu Prismjs (14/09/2016)
- Xóa cột trong SQL Server (08/09/2016)
- Thêm ràng buộc toàn vẹn cho bảng trong SQL Server (08/09/2016)
- Trung tâm trách nhiệm (18/08/2016)
- Hệ điều hành đọc nội dung của một tập tin trên đĩa (tt) (18/08/2016)
