Description

XỬ LÝ THÔNG TIN MỜ TDK fb.com/groups/ PHÉP HỢP THÀNH Cho R⊆X×Y, S⊆Y×Z, có thể kết hợp R và S tạo thành quan hệ T=R°S ⊆X×Z µT(x,z) = maxy∈Y min {µR(x,y), µS(y,z)} Lưu ý: Có thể thay min bằng các t-chuẩn khác Có thể giải thích bằng nguyên lý mở rộng fb.com/groups/ VÍ DỤ R x1 x2 x3 y1 y2 0.1 0.2 0.3 0.5 0.8 0 y3 y4 y5 0 1 0.7 0 0.2 1 1 0.4 0.3 R°S y1 y2 y3 y4 x1 0.4 0.7 0.3 0.7 x2 0.3 1 0.5 0.8 x3 0.8 0.3 0.7 S y1 y2 y3 y4 y5 z1 z2 z3 z4 0.9 0 0.3 0.4 0.2 1 0.8 0 0.8 0 0.7 1 0.4 0.2 0.3 0 0 1 0 0.8 1 fb.com/groups/ CHƯƠNG 4 - LOGIC MỜ Nhắc lại logic kinh điển Logic mờ fb.com/groups/ LOGIC TÍNH TOÁN Logic trong biểu diễn và xử lý thông tin: Ý tưởng: Nhận thức: KB ∩ K0 ‌═cog K1 Logic: KB ∩ K0 ‌═ K1 , KB ∩ K0 ‌─ K1 Các vấn đề: giá trị chân lý, các toán tử, suy diễn fb.com/groups/ LOGIC KINH ĐIỂN Ngôn ngữ: Tập thành tố AR, các kết nối {┐, ∧, ∨, →, ↔,(,)}, Tập các biểu thức: là thành tố, hoặc ┐F, F∧G, F∨G, F→G, F↔G, với F, G là các biểu thức Ngữ nghĩa: Diễn dịch I : AR → {0,1} Có thể viết p∈ I iff I(p)=1 Î mô hình I⊂AR I ‌═ p (I suy ra p), nếu I(p)=1 Đệ quy: I ‌═ F, nếu I(F)=1 fb.com/groups/ LOGIC KINH ĐIỂN Biểu thức F luôn đúng, nếu ∀I: I ‌═ F, biểu thức F thoả nếu ∃I: I ‌═ F, biểu thức F có thể sai nếu ∃I: I ‌≠ F, biểu thức F (luôn) không thoả nếu ∀I: I ‌≠ F Cho Σ là tập các biểu thức, F là một biểu thức, Σ ‌═ F, nếu mọi mô hình của Σ (các I làm cho mọi biểu thức trong Σ đều đúng) cũng là mô hình của F fb.com/groups/ LOGIC KINH ĐIỂN Hai biểu thức F và G là tương đương (về ngữ nghĩa) (F ≡ G), nếu ∀I, I ‌═ F iff I ‌═ G Biểu thức ở dạng chuẩn PHỦ ĐỊNH chỉ chứa các phép toán ┐, ∧, v, và ┐ chỉ đứng trước các thành tố …dạng chuẩn HỘI, TUYỂN … Cho logic (A, L, ‌═ ), tập các luật dẫn xuất Π, và tập các tiên đề Г thì có thể xác định được một quan hệ dẫn xuất ‌─ Σ ‌─ F nghĩa là tồn tại một chuỗi dẫ

AI summary