Tham khảo tài liệu 'manual programming experience handbook part 172', công nghệ thông tin, kỹ thuật lập trình phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | tam giác. Theo thống kê có khoảng 200 công thức liên quan đến cạnh và góc 1 tam giác. Để giải bài toán này bằng công cụ mạng ngữ nghĩa ta phải sử dụng khoảng 200 đỉnh để chứa công thức và khoảng 22 đỉnh để chứa các yếu tố của tam giác. Mạng ngữ nghĩa cho bài toán này có cấu trúc như sau Đỉnh của đồ thị bao gồm hai loại Đỉnh chứa công thức ký hiệu bằng hình chữ nhật Đỉnh chứa yếu tố của tam giác ký hiệu bằng hình tròn Cung chỉ nối từ đỉnh hình tròn đến đỉnh hình chữ nhật cho biết yếu tố tam giác xuất hiện trong công thức nào không có trường hợp cung nối giữa hai đỉnh hình tròn hoặc cung nối giữa hai đỉnh hình chữ nhật . Lưu ý trong một công thức liên hệ giữa n yếu tố của tam giác ta giả định rằng nếu đã biết giá trị của n-1 yếu tố thì sẽ tính được giá trị của yếu tố còn lại. Chẳng hạn như trong công thức tổng 3 góc của tam giác bằng 1800 thì khi biết được hai góc ta sẽ tính được góc còn lại. Cơ chế suy diễn thực hiện theo thuật toán loang đơn giản sau B1 Kích hoạt những đỉnh hình tròn đã cho ban đầu những yếu tố đã có giá trị B2 Lặp lại bước sau cho đến khi kích hoạt được tất cả những đỉnh ứng với những yếu tố cần tính hoặc không thể kích hoạt được bất kỳ đỉnh nào nữa. Nếu một đỉnh hình chữ nhật có cung nối với n đỉnh hình tròn mà n-1 đỉnh hình tròn đã được kích hoạt thì kích hoạt đỉnh hình tròn còn lại và tính giá trị đỉnh còn lại này thông qua công thức ở đỉnh hình chữ nhật . Giả sử ta có mạng ngữ nghĩa để giải bài toán tam giác như hình sau Ví dụ Cho hai góc a b và chiều dài cạnh a của tam giác. Tính chiều dài đường cao hC . Với mạng ngữ nghĩa đã cho trong hình trên. Các bước thi hành của thuật toán như sau Bắt đầu đỉnh a b a của đồ thị được kích hoạt. Công thức 1 được kích hoạt vì a b a được kích hoạt . Từ công thức 1 tính được cạnh b. Đỉnh b được kích hoạt. Công thức 4 được kích hoạt vì a b . Từ công thức 4 tính được góc d Công thức 2 được kích hoạt vì 3 đỉnh b d b được kích hoạt . Từ công thức 2 tính được cạnh c. Đỉnh c được kích hoạt. Công thức 3 được kích .
