Tổng quan nghiên cứu

Lý thuyết tập mờ và logic mờ do Lotfi Zadeh đề xuất từ năm 1965 đã trải qua hơn 50 năm phát triển và đạt được nhiều thành tựu lớn trong điều khiển thông minh cũng như hệ chuyên gia. Tuy nhiên, các phương pháp lập luận xấp xỉ truyền thống dựa trên hàm thuộc thường gặp trở ngại do thiếu cơ sở toán học tiên đề hóa chặt chẽ và phụ thuộc nhiều vào việc lựa chọn hình dạng hàm thuộc mang tính chủ quan. Để khắc phục vấn đề này, hướng tiếp cận Đại số gia tử do các nhà khoa học Việt Nam khởi xướng đã thiết lập nền tảng cấu trúc thứ tự tự nhiên của các biến ngôn ngữ. Khi triển khai ứng dụng thực tế với độ sâu ngôn ngữ hữu hạn, việc gán giá trị định lượng ngữ nghĩa ban đầu bằng trực giác thường chưa đạt độ tối ưu, dẫn đến sai số mô hình còn đáng kể.

Đề tài luận văn thạc sĩ chuyên ngành Khoa học máy tính của tác giả Phạm Đức Cường, thực hiện dưới sự hướng dẫn khoa học của Tiến sĩ Nguyễn Duy Minh tại Trường Đại học Công nghệ Thông tin và Truyền thông thuộc Đại học Thái Nguyên vào năm 2016, tập trung giải quyết bài toán tìm kiếm giá trị hiệu chỉnh định lượng ngữ nghĩa hợp lý trong lập luận mờ. Mục tiêu cụ thể của công trình là thiết lập cơ sở toán học xác định ngưỡng hiệu chỉnh an toàn nhằm bảo toàn 100% quan hệ thứ tự ngữ nghĩa, đồng thời xây dựng thuật toán lập luận mờ có hiệu chỉnh tham số tối ưu thông qua giải thuật di truyền. Nghiên cứu mang ý nghĩa thực tiễn sâu sắc khi giúp giảm thiểu sai số xấp xỉ từ mức 292 xuống các ngưỡng tối ưu hơn trên mô hình kiểm thử thực nghiệm, đồng thời kiểm soát độ ổn định của hệ thống điều khiển phi tuyến đưa sai số góc lệch về tiệm cận 0 độ.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng trên nền tảng vững chắc của ba lý thuyết trụ cột trong khoa học tính toán mềm:

  1. Lý thuyết Biến ngôn ngữ và Logic mờ của Zadeh: Cung cấp mô hình biểu diễn tri thức thông qua tập mờ, hàm thuộc và hệ luật mờ đa điều kiện dạng bộ nhớ liên kết mờ gồm nhiều mệnh đề điều kiện kết hợp.
  2. Lý thuyết Đại số gia tử tuyến tính, đầy đủ và tự do của Cát Hồ và Wechler: Mô hình hóa miền giá trị của biến ngôn ngữ như một cấu trúc đại số tường minh, trong đó các phần tử sinh kết hợp với tập các gia tử âm và dương để sinh ra không gian ngữ nghĩa có thứ tự toàn phần.
  3. Lý thuyết Tối ưu hóa toàn cục và Giải thuật di truyền của Holland công bố năm 1975: Cung cấp cơ chế tìm kiếm tiến hóa mô phỏng chọn lọc tự nhiên để giải quyết bài toán tối ưu hàm nhiều biến có ràng buộc phi tuyến.

Các khái niệm chính được định nghĩa chặt chẽ trong nghiên cứu bao gồm: Đại số gia tử của biến ngôn ngữ; Hàm thuộc dạng hình thang hoặc tam giác; Độ đo tính mờ của phần tử sinh và gia tử; Ánh xạ định lượng ngữ nghĩa bảo toàn thứ tự từ tập từ ngữ vào đoạn thực đơn vị [0, 1]; Mô hình ngữ nghĩa định lượng và Ngưỡng hiệu chỉnh định lượng ngữ nghĩa epsilon.

Phương pháp nghiên cứu

Nghiên cứu sử dụng phương pháp kết hợp giữa chứng minh giải tích toán học và mô phỏng thực nghiệm trên máy tính:

  • Nguồn dữ liệu và mô hình thử nghiệm: Sử dụng bộ dữ liệu kiểm chuẩn từ mô hình EX1 của Cao và Kandel nghiên cứu về mối quan hệ phi tuyến giữa cường độ dòng điện trong khoảng từ 0 đến 10 Ampe và tốc độ quay động cơ từ 400 đến 2000 vòng/phút. Cùng với đó là mô hình động học hệ con lắc ngược phi tuyến với chiều dài 1 mét và khối lượng 0.5 kg được tuyến tính hóa quanh điểm cân bằng.
  • Cỡ mẫu và phương pháp chọn mẫu: Toàn bộ miền xác định của các biến đầu vào được rời rạc hóa với bước nhảy 0.1, tạo thành lưới dữ liệu gồm 101 điểm thực nghiệm. Phương pháp phân hoạch lưới đều được lựa chọn nhằm bảo đảm việc kiểm thử bao phủ toàn diện siêu mặt ngữ nghĩa của bài toán.
  • Phương pháp phân tích và thuật toán: Xây dựng thuật toán Par_HAR kết hợp ánh xạ định lượng ngữ nghĩa và phép nội suy tuyến tính trên đường cong ngữ nghĩa 2 chiều. Bộ tham số hiệu chỉnh được mã hóa thành các chuỗi nhiễm sắc thể nhị phân, tối ưu hóa qua giải thuật di truyền với xác suất lai ghép 0.8, xác suất đột biến bit 0.01 và quy mô quần thể 50 cá thể qua 100 thế hệ. Lý do lựa chọn giải thuật di truyền là nhờ khả năng vượt qua các cực trị địa phương và tìm kiếm tối ưu toàn cục mà không đòi hỏi thông tin đạo hàm của hàm mục tiêu. Timeline nghiên cứu được thực hiện hoàn chỉnh trong giai đoạn từ năm 2015 đến tháng 04 năm 2016.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Quá trình nghiên cứu và thử nghiệm đã mang lại 4 phát hiện khoa học quan trọng:

  1. Thiết lập và chứng minh thành công Định lý ngưỡng hiệu chỉnh: Đã chứng minh bằng quy nạp toán học rằng ngưỡng hiệu chỉnh epsilon bằng giá trị nhỏ nhất giữa tích của alpha với độ đo tính mờ chia 2 và tích của beta với độ đo tính mờ chia 2 trên mọi tập từ ngữ độ sâu hữu hạn. Điều này bảo đảm 100% không xảy ra hiện tượng đảo ngược thứ tự ngữ nghĩa khi tinh chỉnh tham số.
  2. Đánh giá sai số của phương pháp đại số gia tử truyền thống: Khi chưa có hiệu chỉnh tối ưu, phương pháp HAR thông thường cho sai số cực đại là 292 ở trường hợp tham số 1 và 308 ở trường hợp tham số 2 trên mô hình thực nghiệm EX1.
  3. Nâng cao độ chính xác bằng thuật toán Par_HAR: Khi áp dụng giải thuật di truyền để tìm bộ tham số hiệu chỉnh tối ưu trong phạm vi ngưỡng cho phép, sai số xấp xỉ giảm rõ rệt, vượt trội hơn so với các toán tử kéo theo số 8, 25, 31 có mức sai số 300 và tiệm cận mức sai số 200 của các toán tử kéo theo số 5* và 22* của Cao và Kandel.
  4. Kiểm soát thành công hệ phi tuyến con lắc ngược: Hệ thống 25 luật mờ được chuyển đổi sang mô hình ngữ nghĩa định lượng có tham số hiệu chỉnh đã giúp đưa con lắc về phương thẳng đứng cân bằng 0 độ, triệt tiêu hoàn toàn dao động góc chỉ sau khoảng 15 chu kỳ lấy mẫu.

Thảo luận kết quả

Nguyên nhân chính dẫn đến sự cải thiện vượt bậc của phương pháp Par_HAR là việc khắc phục được sự cứng nhắc khi ấn định tham số định lượng ban đầu. Trong thực tế, các chuyên gia thường chọn độ đo tính mờ dựa trên cảm nhận định tính, điều này tạo ra độ lệch nhất định giữa siêu mặt ngữ nghĩa và dữ liệu thực tế. Việc bổ sung vector tham số hiệu chỉnh kết hợp với giải thuật di truyền đóng vai trò như một cơ chế tự thích nghi, giúp uốn nắn đường cong ngữ nghĩa bám sát quỹ đạo dữ liệu thực nghiệm mà vẫn giữ vững tính logic tự nhiên của ngôn ngữ.

So với các phương pháp logic mờ truyền thống của Zadeh vốn đòi hỏi tích chập mờ và giải mờ tích phân phức tạp, phương pháp Par_HAR chuyển đổi bài toán lập luận đa chiều về phép nội suy trên đường cong 2 chiều, giúp giảm hơn 40% khối lượng tính toán. Dữ liệu kết quả có thể được biểu diễn trực quan qua bảng tổng hợp sai số cực đại và đồ thị hàm mục tiêu qua các thế hệ tiến hóa. Trên đồ thị hội tụ, giá trị hàm sai số giảm mạnh nhất trong 30 thế hệ đầu tiên và đạt trạng thái tối ưu ổn định từ thế hệ thứ 70 trở đi, chứng minh tính ổn định và khả thi cao của giải thuật.

Đề xuất và khuyến nghị

Dựa trên các kết quả đạt được, luận văn đưa ra 4 khuyến nghị và giải pháp hành động cụ thể:

  1. Tích hợp module tự động tính ngưỡng hiệu chỉnh: Các nhóm nghiên cứu tại các viện công nghệ phần mềm cần lập trình đóng gói công thức tính ngưỡng epsilon thành các thư viện dùng chung cho Python và C++, hướng tới mục tiêu tự động hóa 100% khâu tiền xử lý tham số trong giai đoạn 2026-2027.
  2. Cải tiến thuật toán tối ưu hóa thời gian thực: Các kỹ sư điều khiển tự động nên nghiên cứu kết hợp thuật toán tối ưu bầy đàn hoặc giải thuật di truyền vi mô nhằm rút ngắn thời gian hội tụ xuống dưới 10 mili-giây, cho phép nạp trực tiếp lên các vi điều khiển nhúng trong quý 4 năm 2027.
  3. Ứng dụng mô hình Par_HAR trên các hệ thống công nghiệp phức tạp: Các doanh nghiệp sản xuất và tự động hóa công nghiệp cần triển khai thử nghiệm thuật toán trên các hệ thống điều khiển đa biến như lò nhiệt luyện, tay máy robot 6 bậc tự do hoặc hệ thống xe tự hành, phấn đấu đạt độ chính xác kiểm soát trên 98% vào năm 2028.
  4. Phát triển phần mềm mô phỏng trực quan hóa đại số gia tử: Trường Đại học Công nghệ Thông tin và Truyền thông cùng các cơ sở đào tạo đại học khối kỹ thuật cần xây dựng công cụ đồ họa trực quan phục vụ giảng dạy lý thuyết tính toán mềm, hoàn thành phiên bản 1.0 trong vòng 12 tháng tới.

Đối tượng nên tham khảo luận văn

Luận văn là tài liệu tham khảo giá trị cho 4 nhóm đối tượng trọng tâm:

  1. Nhà nghiên cứu và nghiên cứu sinh chuyên ngành Khoa học máy tính, Trí tuệ nhân tạo: Tiếp cận phương pháp luận tiên đề hóa toán học cho logic mờ, khai thác cấu trúc đại số gia tử để phát triển các mô hình học máy giải thích được trong các bài toán suy luận phức tạp.
  2. Kỹ sư điều khiển tự động và Robot: Ứng dụng trực tiếp thuật toán Par_HAR để thiết kế bộ điều khiển mờ thông minh cho các đối tượng phi tuyến, khắc phục nhược điểm về thời gian đáp ứng và độ vọt lố của bộ điều khiển PID truyền thống.
  3. Lập trình viên và chuyên gia tối ưu hóa hệ thống: Khảo sát cách thức triển khai giải thuật di truyền nhị phân kết hợp các toán tử lai ghép, đột biến để giải quyết bài toán tối ưu đa tham số có ràng buộc phi tuyến trong các phần mềm tính toán khoa học.
  4. Học viên cao học và sinh viên ngành Công nghệ thông tin: Tham khảo cấu trúc chuẩn mực của một công trình nghiên cứu khoa học, từ khâu tổng quan lý thuyết, chứng minh định lý toán học chặt chẽ đến thiết kế kịch bản thực nghiệm và đánh giá số liệu đối chiếu.

Câu hỏi thường gặp

1. Điểm khác biệt cốt lõi giữa Đại số gia tử và Logic mờ truyền thống là gì?

Logic mờ của Zadeh dựa trên tập mờ và hàm thuộc được xây dựng chủ quan, trong khi Đại số gia tử mô hình hóa trực tiếp cấu trúc thứ tự tự nhiên của các giá trị ngôn ngữ bằng hệ tiên đề toán học. Điều này cho phép lượng hóa ngữ nghĩa thành các giá trị thực trên đoạn [0, 1] một cách chính xác mà không cần phụ thuộc vào việc định hình hàm thuộc.

2. Tại sao cần phải đưa thêm tham số hiệu chỉnh vào mô hình ngữ nghĩa định lượng?

Khi áp dụng vào bài toán thực tế với độ sâu từ ngữ hữu hạn, việc chọn tham số ban đầu dựa trên trực giác thường tạo ra sai lệch so với dữ liệu thực nghiệm. Việc bổ sung vector tham số hiệu chỉnh giúp tinh chỉnh cục bộ các mốc nội suy, giảm sai số xấp xỉ xuống mức tối thiểu mà vẫn duy trì bản chất trực quan của tri thức mờ.

3. Ngưỡng hiệu chỉnh epsilon có ý nghĩa quyết định như thế nào trong thuật toán?

Ngưỡng epsilon là biên độ biến thiên tối đa được phép áp dụng cho mỗi giá trị định lượng. Nếu vượt qua ngưỡng này, quan hệ thứ tự giữa các từ ngôn ngữ có thể bị đảo lộn, ví dụ từ rất cao lại có giá trị số nhỏ hơn từ cao. Do đó, ngưỡng epsilon bảo đảm sự nhất quán logic tuyệt đối cho toàn bộ hệ thống lập luận.

4. Giải thuật di truyền đóng vai trò gì trong phương pháp Par_HAR?

Giải thuật di truyền đóng vai trò là công cụ tìm kiếm tối ưu toàn cục. Thuật toán này tự động dò tìm trong không gian đa chiều để xác định bộ tham số hiệu chỉnh tốt nhất thỏa mãn ràng buộc nhỏ hơn ngưỡng epsilon, giúp cực tiểu hóa hàm sai số giữa mô hình xấp xỉ và dữ liệu thực tế.

5. Phương pháp lập luận Par_HAR có khả thi để triển khai trên phần cứng nhúng không?

Hoàn toàn khả thi vì sau khi giải thuật di truyền tìm ra bộ tham số tối ưu ở giai đoạn huấn luyện, quá trình thực thi suy luận trực tuyến chỉ là phép nội suy tuyến tính đơn giản trên đường cong 2 chiều. Thuật toán không đòi hỏi các phép tính tích phân phức tạp, giúp tiết kiệm bộ nhớ và chu kỳ xử lý của vi điều khiển.

Kết luận

  • Luận văn đã hệ thống hóa toàn diện cơ sở toán học của Lý thuyết Đại số gia tử, Giải thuật di truyền và phương pháp lập luận xấp xỉ trên mô hình ngữ nghĩa định lượng.
  • Chứng minh thành công định lý xác định ngưỡng hiệu chỉnh định lượng ngữ nghĩa epsilon, bảo đảm 100% tính bảo toàn thứ tự ngôn ngữ trên không gian độ sâu hữu hạn.
  • Đề xuất hoàn chỉnh thuật toán Par_HAR kết hợp giải thuật di truyền, giúp giảm sai số cực đại của mô hình xấp xỉ EX1 từ khoảng 308 xuống mức tối ưu tiệm cận thực nghiệm.
  • Kiểm chứng thành công khả năng ổn định góc lệch của hệ con lắc ngược phi tuyến, khẳng định tiềm năng ứng dụng lớn trong lĩnh vực điều khiển thông minh.
  • Kế hoạch tiếp theo trong giai đoạn 2026-2027 là mở rộng thuật toán cho các hệ thống MIMO đa biến phức tạp và tối ưu hóa mã nguồn cho các chip xử lý thời gian thực.

Quý độc giả, các nhà nghiên cứu và kỹ sư quan tâm có thể khai thác các công thức và thuật toán trong công trình này để tiếp tục phát triển các giải pháp điều khiển mờ tự thích nghi tiên tiến cho nền công nghiệp tự động hóa hiện đại.