Hướng mở rộng và phát triển
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (20.93 KB, 2 trang )
CHƯƠNG VI. HƯỚNG MỞ RỘNG VÀ PHÁT TRIỂN
Qua 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)) → 1
exp(ln(x)) → x
trong đó 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
