Bài giảng mạng tính toán phạm đình duy phương

MẠNG TÍNH TOÁN (COMPUTATIONAL NETWORK) Phạm Đình Duy Phương phuongtt2a@gmail.com Mục tiêu Khái niệm mạng tính toán Các vấn đề mạng tính toán Ý tưởng giải toán Một số hạn chế Slide Mạng tính toán Mạng tính toán cấu trúc (M, F), đó: • M = { x1,x2, ,xm} tập hợp biến đơn miền xác định tương ứng D1,D2, ,Dm • F = { f1,f2, ,fm} tập quan hệ có dạng: f : u(f) → v(f) u(f), v(f) tập khác rỗng M thỏa: u(f) ∩ v(f) = ∅ M r ng c u trúc t p bi n Slide Mạng tính toán • Một phương pháp biểu diễn xử lý tri thức • Thực tính toán hay suy diễn yếu tố cần thiết từ số yếu tố biết trước • Tự nhiên, gần gũi cách suy nghĩ giải người áp dụng vào giải vấn đề Slide Ví dụ - Mạng tính toán tam giác Tập biến tam giác gồm: • a, b, c : cạnh tam giác ∀ α , β , γ : góc tam giác • ha, hb, hc : đường cao tương ứng cạnh • S : diện tích tam giác • p : nửa chu vi tam giác • … Slide Ví dụ - Mạng tính toán tam giác Các hệ thức yếu tố tam giác: • Liên hệ góc: – f1 : α + β + γ = π (radian) • Định lý cosin : – f2 : a2 = b2 + c2 - 2.b.c.cosα – f3 : b2 = a2 + c2 - 2.a.c.cosβ – f4 : c2 = a2 + b2 - 2.a.b.cosγ • Định lý Sin : –… • Các công thức tính diện tích –… Slide Các vấn đề mạng tính toán • Trong tam giác ABC giả sử biết cạnh a, góc β , góc γ Hãy tính cạnh lại – Giả thiết: A = {a, β, γ} – Tính biến: B = {b, c} • Vấn đề 1: A → B giải không? • Vấn đề 2: Nếu A → B giải được, trình bày lời giải • Vấn đề 3: Nếu A → B không giải được, tìm thêm yếu tố để toán giải Slide Ý tưởng a b = sinα sinβ f1:α + β + γ = π A={ a, β , γ} f 2: A1={ a, β , γ ,α} A2={ a, β , γ , α ,b} c b = sinβ sinγ f: Áp d ng lu t f1 M r ng t p gi thi t ban u A3={ a, β , γ , α ,b,c} Xu t hi n t p bi n B c n tính Dãy {f1 ,f2 ,f3} l i gi i c a toán Kết luận: A → B giải Slide Hạn chế • Trong toán, thường xuất nhiều đối tượng khác nhau, • Bài toán tập trung vào đối tượng, với tri thức đối tượng không đủ công cụ để giải toán Ví dụ: cho tứ giác với cạnh góc biết trước, tính diện tích tứ giác? M ng it ng tính toán Slide Hạn chế • Các thành phần tri thức mạng tính toán bao gồm tập biến đơn • Trong toán điện xoay chiều, xuất biến theo thời gian, ví dụ cường độ dòng điện: i(t) = I0cos(ωt+ φ) Chỉnh sửa cấu trúc tập biến, ví dụ thêm khái niệm biến hàm Slide 10 Hạn chế • Tập quan hệ tính toán & chế suy luận đơn giản M r ng t p quan h tính toán & c ch suy lu n Slide 11 Tham khảo • [Nhon, 1995] Đỗ Văn Nhơn, Luận văn thạc sĩ: Giải đề mạng tính toán, 1995 • [Kiem et al., 1997] Hoàng Kiếm, Đỗ Văn Nhơn, Lê Hoài Bắc, A Knowledgeable Model: Network of C-Objects, 1997 • [Nhon&Tam, 2009] Nhon Do Van, Tam Pham Huu, The Extensive Computational Network and Applying in an Educational Software, Proceedings of ICAIE 2009, Wuhan, China, 2009 • [Nhon&Hien, 2011] Nhon Do, Hien Nguyen, A Reasoning Method on Computational Network and Its Applications, Proceedings of the International MultiConference of Engineers and Computer Scientists 2011 Vol I, Hong Kong, 2011 Slide 12 [...]...Hạn chế 3 • Tập quan hệ tính toán & cơ chế suy luận còn đơn giản M r ng t p quan h tính toán & c ch suy lu n Slide 11 Tham khảo • [Nhon, 1995] Đỗ Văn Nhơn, Luận văn thạc sĩ: Giải đề trên mạng tính toán, 1995 • [Kiem et al., 1997] Hoàng Kiếm, Đỗ Văn Nhơn, Lê Hoài Bắc, A Knowledgeable Model: Network of C-Objects, ...Mục tiêu Khái niệm mạng tính toán Các vấn đề mạng tính toán Ý tưởng giải toán Một số hạn chế Slide Mạng tính toán Mạng tính toán cấu trúc (M, F), đó: • M = { x1,x2, ,xm}... để giải toán Ví dụ: cho tứ giác với cạnh góc biết trước, tính diện tích tứ giác? M ng it ng tính toán Slide Hạn chế • Các thành phần tri thức mạng tính toán bao gồm tập biến đơn • Trong toán điện... chế • Tập quan hệ tính toán & chế suy luận đơn giản M r ng t p quan h tính toán & c ch suy lu n Slide 11 Tham khảo • [Nhon, 1995] Đỗ Văn Nhơn, Luận văn thạc sĩ: Giải đề mạng tính toán, 1995 • [Kiem