Hướng mở rộng và phát triển
CHƯƠNG VI. HƯỚNG MƠÛ RỘNG VÀ PHÁT TRIỂNQua các kết quả đã trình bày, chúng ta thấy rằng luận văn còn có thể được mở rộng và phát triển theo một số hướng sau đây :1. Nghiên cứu thêm một số phương pháp để xử lý symbolic các biểu thức, các tri thức về các luật biến đổi rút gọn các biểu thức. Chúng ta có thể nêu một số ví dụ về các luật biến đổi các biểu thức dưới dạng symbolic như sau :(a+b)*(a-b) → sqr(a) - sqr(b)sqr(sin(x)) + sqr(cos(x)) → 1exp(ln(x)) → xtrong đó các ký hiệu có nghóa như sau :sqr(x) : bình phương của x,sin(x) : giá trò lượng giác sin của x,cos(x) : giá trò lượng giác cos của x,exp(x) : giá trò hàm mủ với cơ số là e,ln(x) : giá trò hàm logarith với cơ số là e.Việc bổ sung các tri thức biến đổi biểu thức dưới dạng symbolic sẽ tăng cường thêm sức mạnh cho mạng tính toán trong việc ứng dụng để tạo ra các chương trình thông minh hơn.2. Trong chương III, chúng ta có đề cập đến các luật biến đổi các đối tượng tính toán nhưng chưa nghiên cứu phát triển các thuật giải có vận dụng các luật biến đổi các đối tượng tính toán. Nghiên cứu thêm về mặt lý thuyết cũng như mặt ứng dụng của mạng các đối tượng tính toán có sử dụng các luật biến đổi các đối tượng sẽ tăng thêm khả năng “tư duy” cho các thuật giải, các chương trình sử dụng mạng tính toán.87 3. Trong luận văn đã xét về khía cạnh tính toán của các vấn đề đặt ra (mặt đònh lượng của các yếu tố). Tuy nhiên tri thức của chúng ta về thế giới các đối tượng còn có các quan hệ có tính chất đònh tính giữa các đối tượng hay giữa các yếu tố của cùng một đối tượng (mặt đònh tính). Chúng ta có thể nêu một số ví dụ về điều nầy, chẳng hạn như vấn đề xét vò trí tương đối giữa các đối tượng, việc phân lớp (hay phân) các đối tượng và các luật suy diễn có liên quan. Theo hướng nầy chúng ta có thể nêu lên một mô hình dưới dạng một “mạng chứng minh” và trên cơ sở đó nghiên cứu tìm ra các phương pháp để giải các vấn đề chứng minh. Các kết quả nghiên cứu theo ý tưởng nầy có thể sẽ được kết hợp với mạng tính toán để tạo ra những mạng tổng quát hơn cùng với các thuật giải thể hiện các quá trình tư duy tính toán và chứng minh thông thường. Từ đó hy vọng rằng sẽ có được một số sản phẩm phần mềm “thông minh” hơn nữa.88 . CHƯƠNG VI. HƯỚNG MƠÛ RỘNG VÀ PHÁT TRIỂNQua các kết quả đã trình bày, chúng ta thấy rằng luận văn còn có thể được mở rộng và phát triển theo một số hướng sau. phân) các đối tượng và các luật suy diễn có liên quan. Theo hướng nầy chúng ta có thể nêu lên một mô hình dưới dạng một “mạng chứng minh” và trên cơ sở đó