Bài thu hoạch Biểu diễn tri thức & Suy luận
HVTH: Lê Bảo Trung – CH1301112
hàm hữu tỷ, hàm hợp, hàm nghịch đảo, hàm số khả nghịch, hàm số phức,
hàm lực lượng, mũ, hàm Logarit, hàm lượng giác, hàm lượng giác ngược,
giới hạn của một hàm, giới hạn, giới hạn một bên, giới hạn của hàm hợp,
giới hạn của hàm đơn điệu, vô cùng, vô lớn, hàm liên tục, hàm liên tục tại
mộtđiểm, hàm liên tục trên 1 mặt, ham 2lien6 tục trong 1 phạm vi, hàm liên
tục từng mảnh, điển gián đoạn của hàm, hàm biểu đồ, cực đại của hàm số,
cực tiểu của một hàm, hàm lõm, hàm lồi, điểm uốn của một hàm biểu đồ,
xấp xỉ các biểu đồ hàm, tiếp tuyến của hàm biểu đồ,…
• Đạo hàm: đạo hàm tại một điểm, đạo hàm 1 phía tại một điểm, đạo hàm
trong một phạm vi, đào hàm cấp cao…
• Khác biệt: Sự khác nhau giữa các biến, khác biệt tại một điểm, một vùng,
•
•
khác biệt sơ cấp, …
Nguyên hàm: nguyên hàm đầy đủ, phép tính nguyên hàm…
Tích phân: Công thức tính tích phân, miền tích phân, tích phân xác định,
tích phân không xác định, tích phân tổng quát với ràng buộc không giới hạn
(loại 1 tích phân tổng quát ), tích phân tổng quát của hàm không ràng buộc
(loại 2 tích phân tổng quát), tích phân từng phần,…
• Lý thuyết chuỗi: chuỗi, chuỗi hội tụ, chuỗi dương, chuỗi âm, chuỗi ngẫu
nhiên, chuỗi thay thế, chuỗi hàm, vùng hội tụ của chuỗi hàm, hội tụ của
chuỗi hàm, chuỗi hàm mũ, bán kính hội tụ của chuỗi theo cấp số nhân ,
chuỗi Taylor của một hàm f (x) tại điểm tiếp giáp x0, chuỗi lượng giác.
Chuỗi Fourier, chuỗi Fibonacci…
B. Danh sách các thuộc tính: thuộc tính của chuỗi hội tụ, bị chặn, bậc,…
C. Danh sách các công thức: giới hạn tự nhiên của chuỗi, công thức hàm lực
lượng, công thức hàm Logarit, công thức Taylor, định lý Maclaurin, quy tắc
L'Hospital, bảng derivation, bất đẳng thức Cauchy-Schwarz, công thức NewtonLeibnitz,..
21
Bài thu hoạch Biểu diễn tri thức & Suy luận
HVTH: Lê Bảo Trung – CH1301112
D. Danh sách các phương pháp tính toán: Hàm nghiên cứu, phương pháp tính
toán tích phân không xác định: Phương pháp phân tích, phương pháp biến ,
phương pháp từng phần, phương pháp tính toán xác định từng phần : Phương pháp
phân tích, biến phương pháp, một phần phương pháp tìm bán kính hội tụ của dòng
điện, vv
E. Danh sách các định lý: định lý vi phân và vi phân vô cùng lớn, định lý về tính
liên tục của một hàm: định lý Weierstrass1, Weierstrass2, định lý phép lấy đạo
hàm, định lý Fermat, Rolle, Lagrange, Cauchy, L'Hospital 1 và L'Hospital 2, đinh
lý hàm khảo sát, Định lý cho hàm và tích phân ban đầu, cấp số, vv
F. Một số ứng dụng của hàm tích phân đơn: ý nghĩa hình học của phép lấy đạo
hàm, một số ứng dụng của tích phân xác định…
Giai đoạn 2: Phân loại tri thức trong Giai đoạn 1, để phân tích các yêu cầu.
• Các khái niệm cơ bản: biễu diễn số, tập hợp.
• Các khái niệm được xây dựng từ các khái niệm khác. Ví dụ: Ánh xạ: tập
hợp, Hàm: ánh xạ, Giới hạn của dãy: dãy, giới hạn của hàm: hàm, giới hạn
của dãy;
• Biểu đồ hàm: hàm, điểm; đạo hàm: hàm, giới hạn của hàm;đạo hàm cấp
cao: đạo hàm; vi phân: hàm,đạo hàm; Nguyên hàm: hàm,đạo hàm; Tích
phân:hàm, nguyên hàm; Dãy số: mảng số; dãy số dương: dãy số; chuỗi đan
•
dấu: dãy ; chuỗi hàm: chuỗi, hàm; Chuỗi lũy thừa: chuỗi hàm…
Các khái niệm được kế thừa từ các khái niệm khác: VD đơn ánh: ánh xạ;
Toàn ánh: ánh xạ; song ánh: ánh xạ; ánh xạ đồng nhất: ánh xạ; hàm: ánh
•
xạ…
Thuộc tính của khái niệm.Ví dụ Tập hợp: số phần tử; Hàm : miền xác
định,vùng giá trị; Biểu đồ hàm : xấp xỉ, điểm uốn cong;
• Chuỗi lũy thừa: khoảng hội tụ, bán kính hội tụ; ...
• Tính chất của các khái niệm. VD: Tập hợp: vô cực, hữu hạn, rỗng; Dãy:
tăng dần, giảm dần, hôi tụ, phân kỳ; Hàm: tăng dần, giảm dần, chẵn, lẻ, lồi
•
lõm…
Toán tử trên các khái niệm. VD các phép tính số học, tập hợp các toán tử…
22
Bài thu hoạch Biểu diễn tri thức & Suy luận
•
HVTH: Lê Bảo Trung – CH1301112
Tính toán cho hàm. VD: giới hạn của dãy, giới hạn hàm, hàm nghịch đảo,
tính liên tục của hàm, vi phân, tích phân, nguyên hàm…
Giai đoạn 3: Xây dựng tổ chức cơ sở tri thức cho hệ thống dựa trên mô hình
COKB-ONT và đặc tả ngôn ngữ. Kiến thức cơ bản có thể được tổ chức bởi các tập tin
văn bản có cấu trúc. Chúng bao gồm các file dưới đây
Tập tin OBJECT_KINDS.txt lưu trữ tên của các khái niệm
begin_Objects