Tài liệu Các kỹ thuật suy diễn và lập luận - ĐẠI HỌC HÀNG HẢI

3.1. Nhập mon
Động cơ, mụ tơ hay mỏy suy diễn gồm 2 bộ phận chớnh:
- Cơ chế suy diễn (Processor) gồm:
+ Suy diễn tiến Inference (CT, KL, set of facts) và KQ: boolean
+ Suy diễn lựi R: set of rule
- Cơ chế cổ điển (control unit):
+ chọn hướng suy diễn (MACRO)
+ chọn luật
thường cú MẸO (heuristc metaknowledge)
+ phõn ró CSTT SD phõn tỏn
SD song song
+ Lọc (tinh)
(nhỡn thấy cỏi n o khụng cần thiết thỡ loại, xỏc định cỏi n o được chọn trước)
3.2. Phõn ró CSTT
Fact Precedence Graph (FPG) = (F, A)
+ Đỉnh : tập cỏc sự kiện
+ Cung: (a,b)ĂAđ r r: left _bĂR ; aĂleft
USER
Động cơ
CSTT
Tỡnh huống
Kernel
19