Mô hình tri thức về các đối tượng tính toán
MÔ HÌNH TRI THỨC VỀ CÁC ĐỐI TƯNG TÍNH TOÁN Hoàng Kiếm Đỗ Văn Nhơn Khoa Công Nghệ Thông Tin - 2001 Nội dụng: I Khái niệm đối tượng tính toán II Mô hình tri thức đối tượng tính toán III Tổ chức sở tri thức IV Giải toán đối tượng tính toán Khoa Công Nghệ Thông Tin - 2001 I Khái niệm đối tượng tính toán 1.1 Giới thiệu 1.2 Định nghóa 1.3 mô hình Khoa Công Nghệ Thông Tin - 2001 1.1 Giới thiệu ° Trong nhiều vấn đề giải toán dựa tri thức ta thường đề cập đến đối tượng khác đối tượng có cấu trúc bao gồm số thuộc tính với quan hệ định giúp ta thực suy diễn, tính toán ° Cấu trúc đối tượng số hành vi giải toán định để tạo đối tượng ° Nhiều toán khác biểu diễn dạng mạng đối tượng Cách biểu diễn nầy áp dụng cách có hiệu hệ giải toán, chẳng hạn hệ giải toán hình học Khoa Công Nghệ Thông Tin - 2001 1.2 Định nghóa Một đối tượng tính toán đối tượng O có cấu trúc gồm: ° Một danh sách thuộc tính Attr(O) = x1, x2, , xn thuộc tính lấy giá trị miền xác định định, thuộc tính ta có quan hệ thể qua kiện, luật suy diễn hay công thức tính toán ° Các hành vi liên quan đến suy diễn tính toán thuộc tính đối tượng hay kiện như: Khoa Công Nghệ Thông Tin - 2001 • Xác định bao đóng tập hợp thuộc tính A Attr(O) • Xác định tính giải toán suy diễn tính toán có dạng A B với A Attr(O) B Attr(O) • Thực tính toán • Xem xét tính xác định đối tượng, hay kiện Khoa Công Nghệ Thông Tin - 2001 Ví dụ: • Cấu trúc tam giác gồm yếu tố : cạnh a, b, c; góc tương ứng với cạnh : , , ; đường cao tương ứng : ha, hb, hc; diện tích S tam giác, v.v … với công thức liên hệ chúng trở thành đối tượng tính toán ta tích hợp cấu trúc nầy với hành vi xử lý liên quan đến việc giải toán tam giác hành vi xem xét kiện liên quan đến thuộc tính hay thân đối tượng Khoa Công Nghệ Thông Tin - 2001 1.3 Mô hình cho đối tượng tính toán • Một đối tượng tính toán mô hình bộ: • (Attrs, F, Facts, Rules) • Attrs tập hợp thuộc tính đối tượng, F tập hợp quan hệ suy diễn tính toán, Facts tập hợp tính chất hay kiện vốn có đối tượng, Rules tập hợp luật suy diễn kiện liên quan đến thuộc tính liên quan đến thân đối tượng Khoa Công Nghệ Thông Tin - 2001 Ví dụ: Đối tượng “TAM_GIAC” biểu diễn theo mô hình gồm có: ° Attrs = GocA, GocB, GocC, a, b, c, ha, hb, hc, ma, mb, mc, pa, pb, pc, S, p, R, r, ra, rb, rc ° F = GocA + GocB + GocC = Pi, a*sin(GocB) = b*sin(GocA), a^2 = b^2 + c^2 - 2*b*c*cos(GocA), ° Facts = ° Rules = {GocA = GocB}GocA = GocB}} {GocA = GocB}a = b},}, {GocA = GocB}a = b},} {GocA = GocB}GocA = GocB}}, {GocA = GocB}GocA=pi/2} } {GocA = GocB}a^2} = b},^2} +c^2} , b},c}, Khoa Công Nghệ Thông Tin - 2001 II Mô hình tri thức đối tượng tính toán 2.1 Giới thiệu 2.2 Mô hình 2.3 Ví dụ áp dụng Khoa Công Nghệ Thông Tin - 2001 ... Khái niệm đối tượng tính toán II Mô hình tri thức đối tượng tính toán III Tổ chức sở tri thức IV Giải toán đối tượng tính toán Khoa Công Nghệ Thông Tin - 2001 I Khái niệm đối tượng tính toán 1.1... 1.3 Mô hình cho đối tượng tính toán • Một đối tượng tính toán mô hình bộ: • (Attrs, F, Facts, Rules) • Attrs tập hợp thuộc tính đối tượng, F tập hợp quan hệ suy diễn tính toán, Facts tập hợp tính. .. khái niệm đối tượng tính toán hệ thống khái niệm đối tượng với loại kiện, loại quan hệ khác dạng luật liên quan đến chúng • Mô hình tri thức đối tượng tính toán mô hình cho dạng sở tri thức bao