MẠNG TÍNH TỐN (COMPUTATIONAL NETWORK) Phạm Đình Duy Phương

MẠNG TÍNH TỐN (COMPUTATIONAL NETWORK) Phạm Đình Duy Phương phuongtt2a@gmail.com Mục tiêu Khái niệm mạng tính tốn Các vấn đề mạng tính tốn Ý tưởng giải toán Một số hạn chế Slide Mạng tính tốn Mạng tính tố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 tốn • Một phương pháp biểu diễn xử lý tri thức • Thực tính tố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 tố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 tố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 tốn • Trong tam giác ABC giả sử biết cạnh a, góc β , góc γ Hãy tính cạnh cịn 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 tập biến B cần tính Dãy {f1 ,f2 ,f3} lời giải 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 tốn tập trung vào đối tượng, với tri thức đối tượng khơng đủ cơng cụ để giải tố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 đối tượng tính tốn Slide Hạn chế • Các thành phần tri thức mạng tính tốn bao gồm tập biến đơn • Trong tố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 tốn & chế suy luận cịn đơn giản Mở rộng tập quan hệ tính tốn & 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 tốn, 1995 • [Kiem et al., 1997] Hồ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 ...Mục tiêu Khái niệm mạng tính tốn Các vấn đề mạng tính tốn Ý tưởng giải toán Một số hạn chế Slide Mạng tính tốn Mạng tính tốn cấu trúc (M, F), đó: • M = {x1,x2, ,xm}... –… • Các cơng thức tính diện tích –… Slide Các vấn đề mạng tính tốn • Trong tam giác ABC giả sử biết cạnh a, góc β , góc γ Hãy tính cạnh cịn lại – Giả thiết: A = {a, β, γ } – Tính biến: B = {b,... giải tố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 đối tượng tính tốn Slide Hạn chế • Các thành phần tri thức mạng tính tốn bao gồm tập biến đơn • Trong tốn điện xoay