Chương 6. p.1
CHƯƠNG 3:
Lec 6-7-8:
Logic mệnh đề -
Logic vị từ cấp một
Chương 6. p.2
CHƯƠNG 3:
Lec 6-7-8:
Logic mệnh đề -
Logic vị từ cấp một
Lec 6. p.3/35
Nội Dung
I. Biểu diễn tri thức
II. Logic mệnh đề
– Cú pháp và ngữ nghĩa của Logic mệnh đề
– Dạng chuẩn tắc
– Luật suy diễn
III. Logic vị từ cấp một
– Cú pháp và ngữ nghĩa logic vị từ cấp một
– Chuẩn hoá các công thức
– Các luật suy diễn
Lec 6. p.4/35
I. Biểu diễn tri thức
1. Cơ sở tri thức (CSTT): tập hợp các tri thức
được biểu diễn dưới dạng nào đó.
2. Thủ tục suy diễn: liên kết các sự kiện thu nhận
từ môi trường với các tri thức trong CSTT để đưa
ra các câu trả lời hoặc hành động cần thực hiện.
Để máy tính có thể sử dụng tri thức, xử lý tri thức
Ngôn ngữ biểu diễn tri thức
= Cú pháp + Ngữ nghĩa + Cơ chế lập luận
Lec 6. p.5/35
3. Ngôn ngữ biểu diễn tri thức
Cú pháp: gồm các ký hiệu, các quy tắc liên kết các ký
hiệu (luật cú pháp) để tạo thành các câu (công thức).
Ngữ nghĩa: xác định ý nghĩa của các câu trong một
miền thế giới thực.
Cơ chế lập luận: thực hiện quá trình tính toán, sử dụng
các luật suy diễn để đưa ra các công thức mới.
Luật suy diễn: từ một tập công thức đã cho suy ra một
công thức mới
Ngôn ngữ biểu diễn tri thức tốt cần có khả năng mô tả
một phạm vi rộng lớn thế giới thực và thực hiện lập luận
hiệu quả.