Backward Chaining-suy Diễn Lùi - Bài Viết Sưu Tầm

Tiếng Việt English

• 
• Giới thiệu
  • Giới thiệu chung
  • Thông tin giảng viên
  • Đào tạo & Tuyển sinh
  • Các hoạt động
  • Giới thiệu ngành
• Đào tạo
  • Chương trình đào tạo
  • Danh sách tổ bộ môn
• Nghiên cứu khoa học
  • Danh sách đề tài
  • Giảng viên tham gia nghiên cứu khoa học
  • Sinh viên tham gia nghiên cứu khoa học
• Thông tin
  • Bài viết sưu tầm
  • Thông báo
  • Tuyển sinh
  • Thời khóa biểu & Lịch thi
  • Lịch thi
  • Kết quả học tập
  • Tốt nghiệp
  • Tin tức
  • Hoạt động ngoại khóa
  • Biểu Mẫu Đào Tạo
• Quan hệ hợp tác
  • Quan hệ doanh nghiệp
  • Hợp tác đào tạo
  • Nghề nghiệp
• Liên hệ
• Cộng đồng công nghệ
  • Tin tức công nghệ
  • Bảo mật
  • Ứng dụng
  • Di động
  • Mạng & Internet
  • Hệ điều hành
  • Lập trình
  • Mã nguồn mở
  • Phần mềm
  • Thiết bị số
  • Mạng - Máy tính
  • Phần mềm-Ứng dụng
• Kiểm định chất lượng
  • Sứ mạng
  • Mục tiêu Đào tạo
  • Chuẩn Đầu ra
  • Điều kiện tiên quyết
  • Dữ liệu tuyển sinh và tốt nghiệp hàng năm

Thời khóa biểu & Lịch thi

• Lịch thi KTHP GDTC HKII, tuần 40-42 (chính thức)
• Thông báo Lịch thi KTHP HK Hè năm học 2023-2024
• Lịch thi KTHP HKII 2023-2024 tuần 31-32 (chính thức)

Nghề nghiệp

• CÔNG TY DỊCH VỤ MOBIFONE KHU VỰC 3 - CHI NHÁNH TỔNG CÔNG TY VIỄN THÔNG MOBIFONE THÔNG BÁO TUYỂN DỤNG
• THÔNG BÁO TUYỂN DỤNG THÁNG 09/2021 CỦA CÔNG TY HYBRID TECHNOLOGIES ĐÀ NẴNG
• Thông báo tuyển dụng tại công ty Công nghệ thông tin Điện lực Miền Trung

Quan hệ doanh nghiệp

• Các bước triển khai thuật toán Q_Learning
• Tuyển thực tập sinh Game - Công ty Ubisoft
• Cuộc thi "Awaken your Inner Fire 2020"

16/09/2016 07:47:06 AMBài viết sưu tầmbackward chaining-suy diễn lùi

suy diễn lùi (lập luận lùi - backward chaining hoặc backward reason)

Là quá trình xuất phát từ sự kiện cần chứng minh và thay vào đó là những sự kiện ở vế trái của 1 luật có vế phải là sự kiện cần chứng minh. Quá trình này được thực hiện cho đến khi đưa về các sự kiện là tập sự kiện con của tập sự kiện giả thiết.

(nghĩa là: để đưa ra kết luận b, ta thử tìm tất cả các luật có dạng: a1 Ù ....Ù an Þ b, để có b, phải đưa ra các kết luận a1,...,an. Quá trình xác định ai cũng tương tự như đối với b, nếu đến một lúc nào đó phát hiện được rằng có một ai nào đó không dẫn xuất được từ các giả thiết thì quay lui sang các luật sản xuất khác sinh ra b có dạng b1Ù....Ùbm Þ b. ngược lại, nếu mọi ai đều dẫn xuất được giả thiết thì quá trình dẫn xuất ra b là đúng).

Ví dụ: cho tập sự kiện F={p, r}, và tập luật R:

r1) p Þ q

r2) q Ù r Þ s

chứng minh s.

p	r	T	S(p)
s q	r2 r1	s q, r r, p	r2 r

» Tin mới nhất:

• Chủ đề: OSCP - Client-side Attacks (18/01/2026)
• Xử lý ngoại lệ với NumberFormatException (17/01/2026)
• HƯỚNG DẪN SOẠN THẢO VĂN BẢN BẰNG GIỌNG NÓI TRONG WORD 2016 (17/01/2026)
• CodeBERT: Hiểu ngữ nghĩa mã nguồn bằng Deep Learning (17/01/2026)
• Kiểu List trong Python (17/01/2026)

» Các tin khác:

• forward chaining (16/09/2016)
• 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ôm nay, ngày

17/02/2026

Tuần học:

29

Sinh viên tiêu biểu Liên kết website CLB Phần mềm tự do mã nguồn mở VN Công ty phần mềm ClearPath Trung tâm Công nghệ thông tin Đại học Duy Tân Trung tâm Công nghệ phần mềm Đại học Duy Tân Đại học Carnegie Mellon ( CMU ) Trung tâm CNTT Điện lực 3 Công ty đào tạo Công nghệ mạng TTG Học viện Công nghệ thông tin NIIT Công ty HP Việt Nam Công ty Microsoft Việt Nam

video

Số lượt truy cập: 11119404

© Đại học Duy Tân