mạng tính toán - computational network
TRANSCRIPT
MẠNG TÍNH TOÁN MẠNG TÍNH TOÁN (COMPUTATIONAL NETWORK)(COMPUTATIONAL NETWORK)
Phạm Đình Duy Phương
Slide 2
Mục tiêu
1. Khái niệm mạng tính toán
2. Các vấn đề trên mạng tính toán
3. Ý tưởng giải quyết bài toán
4. Một số hạn chế
Slide 3
Mạng tính toán
Mạng tính toán là một cấu trúc (M, F), trong đó:
• M = x1,x2,...,xm tập hợp các biến đơn trong miền xác định tương ứng D1,D2,...,Dm
• F = f1,f2,...,fm tập các quan hệ có dạng:
f : u(f) v(f) trong đó u(f), v(f) là các tập con khác rỗng của M thỏa:
u(f) v(f) =
Mở rộng cấu trúc tập biếnMở rộng cấu trúc tập biến
Slide 4
Mạng tính toán
• Một phương pháp biểu diễn và xử lý tri thức
• Thực hiện những tính toán hay suy diễn ra những yếu tố cần thiết nào đó từ một số yếu tố đã được biết trước
• Tự nhiên, gần gũi đối với cách suy nghĩ và giải quyết của con người khi áp dụng vào giải quyết các vấn đề
Slide 5
Ví dụ - Mạng tính toán tam giác
Tập các biến trong tam giác gồm:
• a, b, c : 3 cạnh tam giác
, , : 3 góc tam giác
• ha, hb, hc : 3 đường cao tương ứng 3 cạnh
• S : diện tích tam giác
• p : nửa chu vi tam giác
• …
Slide 6
Ví dụ - Mạng tính toán tam giác
Các hệ thức cơ bản giữa các yếu tố của tam giác:
• Liên hệ giữa 3 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 7
Các vấn đề trê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ác cạnh còn lại.– Giả thiết: A = a, , – Tính các biến: B = b, c
• Vấn đề 1: A B giải được 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ố để bài toán giải được
Slide 8
Ý tưởng
f1: + + = f2:
A=a, , A1=a, , , A2=a, , , ,b
f3:
A3=a, , , ,b,c
a
sin
b
sin
c
sin
b
sin
Áp dụng luật f1 Mở rộng tập giả thiết ban đầu
Xuất hiện tập biến B cần tính
Kết luận: A B giải được Dãy {f1 ,f2 ,f3} là 1 lời giải của bài toán
Slide 9
Hạn chế 1
• Trong một bài toán, thường xuất hiện nhiều đối tượng khác nhau, hoặc
• Bài toán chỉ tập trung vào 1 đối tượng, nhưng với những tri thức trên đối tượng này không đủ công cụ để giải bài toán
Ví dụ: cho tứ giác với 4 cạnh và 1 góc biết trước, tính diện tích tứ giác?
Mạng các đối tượng tính toán
Slide 10
Hạn chế 2
• Các thành phần tri thức cơ bản của một mạng tính toán bao gồm tập các biến đơn.
• Trong bài toán điện xoay chiều, xuất hiện 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 11
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 12
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, 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