MỞ ĐẦU Trong những năm gần đây, tính toán hạt đã đƣợc áp dụng trong rất nhiều lĩnh vực nhƣ trí tuệ nhân tạo, phân tích khoảng, lƣợng tử hoá, lý thuyết tập thô, phân tích cụm, học máy, cơ sở dữ liệu và một số lĩnh vực khác. Cho đến nay, tính toán hạt đã có sự phát triển nhanh chóng và ngày càng có nhiều ngƣời tập trung nghiên cứu các ứng dụng của nó. Tính toán hạt là một thuật ngữ chỉ các lý thuyết, các phƣơng pháp, các kỹ thuật và các công cụ sử dụng các hạt (là các nhóm, các lớp, hoặc các cụm của một tập) để giải quyết các bài toán. Đề tài các hạt thông tin mờ đƣợc Zadeh đề xuất đầu tiên vào năm 1979 và đƣợc ông tiếp tục phát triển trong các bài báo công bố năm 1997.
Đặc biệt, Zadeh đã trình bày một mô hình tổng quát của tính toán hạt dựa trên lý thuyết tập mờ. Các hạt đƣợc xây dựng và định nghĩa dựa trên các phép toán suy rộng. Mối quan hệ giữa các hạt đƣợc biểu diễn bằng đồ thị mờ hoặc các luật nếu-thì mờ. Mặc dù các công thức là khác với những nghiên cứu trong trí tuệ nhân tạo, nhƣng những ý tƣởng cơ bản của chúng là giống nhau.
Zadeh xác định ba khái niệm cơ bản của tính toán hạt theo cách nhận thức của con ngƣời, cụ thể là phƣơng pháp kết hạt, phƣơng pháp tổ chức các hạt và phƣơng pháp lập luận với các hạt. Sau đó lý thuyết về tính toán với các hạt thông tin mờ đã đƣợc nghiên cứu bằng cách kết các hạt thông tin và lập luận với chúng. Sự cần thiết của việc kết hạt thông tin và tính dễ nhận đƣợc thông tin từ các hạt thông tin trong giải quyết bài toán là một trong các lý do thực tế cho tính phổ biến của tính toán hạt. Trong rất nhiều tình huống, khi một bài toán là không đầy đủ, không chắc chắn hoặc thông tin không rõ ràng sẽ rất khó để phân biệt các phần tử một cách riêng biệt và chỉ có thể nghiên cứu trên tập các phần tử đó.
Trong một số trƣờng hợp khác, mặc dù chúng ta có thể nhận đƣợc những thông tin chi tiết, nhƣng chúng ta vẫn sử dụng các hạt để giảm chi phí một cách đáng kể. Điều này mở ra một định hƣớng của logic mờ: “Khai thác độ không chắc chắn và tính đúng bộ phận để có đƣợc khả năng dễ kiểm soát, tính mạnh mẽ, chi phí thấp và phù hợp với thực tế hơn”. Những nguyên tắc này hƣớng tới nhiều mô hình vật lý để giải quyết các bài toán thế giới thực: thay cho việc tìm kiếm những lời giải tối ƣu, ta có thể tìm kiếm những lời giải xấp xỉ tốt. Nhƣ vậy chỉ khi cần thiết chúng ta mới khảo sát bài toán tại một mức kết hạt mịn hơn với nhiều thông tin chi tiết hơn.
Tính toán hạt cũng đƣợc nghiên cứu rộng rãi trong lý thuyết các tập thô. Nhƣ một nền tảng cụ thể của tính toán hạt, mô hình tập thô cho phép chúng ta định nghĩa một cách chính xác và phân tích nhiều khái niệm của tính toán hạt. Các kết quả nghiên cứu mang lại một cách hiểu thấu đáo hơn về tính toán hạt. -4- LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Luận văn tập trung vào nghiên cứu tính toán hạt dựa trên lý thuyết các tập thô.
Cụ thể, luận văn có nội dung nhƣ sau sau: Chƣơng 1: Tổng quan về tính toán hạt: Trong chƣơng này, trình bày những thuật ngữ chung, các yếu tố và những vấn đề cơ bản của tính toán hạt và một số ứng dụng của chúng. Luận văn trình bày cách xây dựng, cách hiểu và cách biểu diễn các hạt cũng nhƣ các yếu tố cơ bản và các phép toán để tính loán và lập luận với các hạt. Phần cuối của chƣơng giới thiệu khái quát ba mô hình đang tồn tại của tính toán hạt: mô hình dựa trên các tập thông thƣờng, mô hình dựa trên lý thuyết các tập thô và mô hình dựa trên lý thuyết các tập mờ. Chƣơng 2: Bài toán quyết định và phƣơng pháp giải quyết dựa vào hạt dữ liệu: Luận văn giới thiệu một cách tổng quát hai cách kết hạt của một tập, các định nghĩa về các tập thô.
Với các xấp xỉ tập thô, một tập tổng thể đƣợc phân thành ba vùng là POS, NEG và vùng biên BND. Bài toán quyết định là làm thể nào để xác định đƣợc ba vùng trên một cách hiệu quả. Một phƣơng pháp thƣờng hay đƣợc sử dụng để giải quyết bài toán quyết định trên là sử dụng thủ tục quyết định của Bayes. Luận văn trình bày tóm tắt thủ tục quyết định Bayes này và xây dựng một mô hình lý thuyết quyết định sử dụng các hạt dữ liệu dựa trên lý thuyết các tập thô.
Chƣơng 3: Khai phá tri thức trong cơ sở dữ liệu sử dụng tập thô: Với các hạt là các xấp xỉ thô, luận văn nghiên cứu bài toán khai phá các luật kết hợp trong cơ sở dữ liệu quan hệ. Thuật giải tuần tự Apriori đƣợc trình bày. Sau đó, luận văn trình bày tới những ý tƣởng song song hoá của thuật giải này. Tốc độ của thuật giải sẽ tăng đáng kể khi thực hiện các thuật giải song song với dữ liệu đƣợc tổ chức trong môi trƣờng dữ liệu phân tán.
Chƣơng 4: Chƣơng trình thử nghiệm: Luận văn trình bày một cấu trúc dữ liệu mới, cấu trúc dữ liệu T-tree. Cấu trúc này là phù hợp để cài đặt thuật giải Apriori vì nó cho phép tìm kiếm các tập mục nhanh và tiết kiệm không gian lƣu trữ dữ liệu. Thuật giải Apriori đƣợc cài đặt sử dụng cấu trúc dữ liệu này bằng ngôn ngữ lập trình Java. Luận văn đƣợc thực hiện dƣới sự hƣớng dẫn của PGS.TS Hoàng Chí Thành, Bộ môn Tin học, Khoa Toán-Cơ-Tin học trƣờng Đại học Khoa học Tự nhiên, Đại học Quốc Gia Hà Nội.
Em xin bày tỏ lòng biết ơn sâu sắc tới Thầy đã hƣớng dẫn và có ý kiến chỉ dẫn quí báu trong quá trình em làm luận văn. Em xin chân thành cảm ơn Thầy giáo, TS Hà Quang Thuỵ đã cho em nhiều ý kiến quí báu để em hoàn thiện luận văn hơn. Em xin cảm ơn các Thầy Cô giáo trong Bộ môn Tin học, các đồng nghiệp trong Khoa Toán-Cơ-Tin học, Trƣờng Đại học Khoa học Tự nhiên, các Thầy Cô giáo Khoa Công Nghệ Thông tin, Trƣờng Đại học Công nghệ, Đại học Quốc Gia Hà Nội đã tạo điều kiện giúp đỡ em trong quá trình hoàn thành luận văn. Cuối cùng xin bày tỏ lòng -5- LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com cảm ơn tới những ngƣời thân trong gia đình, bạn bè đã động viên và giúp đỡ tôi hoàn thành luận văn này.
-6- LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com CHƢƠNG 1: TỔNG QUAN VỀ TÍNH TOÁN HẠT 1.1 Khái niệm về tính toán hạt Những ý tƣởng cơ bản về phƣơng pháp tính toán hạt đã đƣợc áp dụng trong một số lĩnh vực nhƣ phân tích khoảng, lƣợng tử hoá, lý thuyết các tập thô, phân tích cụm, học máy, cơ sở dữ liệu và một số lĩnh vực khác. Chủ đề về phƣơng pháp kết hạt thông tin mờ đầu tiên đƣợc trình bày bởi Zadeh vào năm 1979 [6]. Các ứng dụng của tính toán hạt đã đƣợc phát triển một cách nhanh chóng và nó đóng một vai trò quan trọng trong sự phát triển của logic mờ, lý thuyết các tập thô và các ứng dụng của chúng [6]. Những khái niệm và các thành phần cơ bản của tính toán hạt trên thực tế đã phát triển trong rất nhiều lĩnh vực, nhƣng đến nay chƣa có một định nghĩa tổng quát về tính toán hạt [3] [5] [6].
Tuy vậy, thông qua các phƣơng pháp giải một số bài toán trong thực tế, chúng ta vẫn có thể khái quát đƣợc các thành phần cơ bản của tính toán hạt [3, 7]. Do đó, chúng ta có thể nghiên cứu tính toán hạt dựa trên việc tập trung giải các bài toán sử dụng các tính chất chung của các hạt, các quan sát kết hạt, các tính chất của hạt và các hệ thống phân cấp của lớp các hạt. Khi đó, ta có thể coi tính toán hạt nhƣ là một nghiên cứu về lý thuyết tổng quát để giải quyết bài toán dựa trên các mức khác nhau về tính chất hạt [3, 6]. Những khái niệm dƣới đây của Zadeh có thể giúp chúng ta hiểu rõ hơn phạm vi ứng dụng và lập luận với các hạt: “Phƣơng pháp kết hạt của một đối tƣợng A hình thành một tập các hạt của A, với mỗi hạt là một cụm của các điểm (các đối tƣợng) đƣợc ghép lại với nhau theo quan hệ “không phân biệt đƣợc”, “quan hệ tƣơng tự”, “quan hệ xấp xỉ” hoặc “quan hệ có cùng chức năng”” [3], (Zadel 1997).
“Lý thuyết về phƣơng pháp kết hạt thông tin mờ đƣợc xây dựng theo cách thức con ngƣời kết hạt thông tin và lập luận với chúng” [3] (Zadeh, 1997). “Lý thuyết về phƣơng pháp kết hạt thông tin mờ xây dựng trên bộ máy đang tồn tại của phƣơng pháp kết hạt thông tin mờ trong logic mờ nhƣng mang nó tới một mức cao hơn của tính tổng quát, thống nhất các nghiên cứu của nó và đề xuất các hƣớng nghiên cứu mới” [3] (Zadeh, 1997). “Tính toán hạt là một khái niệm của lý thuyết về phƣơng pháp kết hạt thông tin mờ, lý thuyết tập thô và tính toán khoảng và là một phần trong toán học tính toán với các hạt” [3] (Zadeh, 1997). Có thể thấy rằng ý tƣởng chung nhất của tính toán hạt là sử dụng các nhóm, các lớp hoặc cụm các phần tử đƣợc gọi là các hạt [3, 7].
Mặc dù đã có những ứng dụng cụ thể sử dụng tính toán hạt, vẫn khó có thể đƣa ra một định nghĩa chính xác. Chúng ta có thể -7- LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com coi tính toán hạt là một thuật ngữ chỉ các lý thuyết, các phƣơng pháp, các kỹ thuật và các công cụ sử dụng các hạt trong quá trình giải bài toán. Dựa trên cách hiểu trực giác trên, chúng ta sẽ xem xét một số vấn đề cơ bản và một số giải pháp có thể của nó.2 Tại sao chúng ta nghiên cứu tính toán hạt Có rất nhiều lý do để nghiên cứu tính toán hạt. Zadeh đã xác định ba vấn đề cơ bản của tính toán hạt: phƣơng pháp kết hạt, tổ chức các hạt và lập luận với các hạt.
“Phƣơng pháp kết hạt bao gồm việc phân chia một tập tổng thể thành các phần, tổ chức các hạt bao gồm việc tích hợp các phần trong một tập tổng thể và lập luận với các hạt thực hiện việc sử dụng các mối quan hệ giữa các hạt để đi từ các điều kiện ban đầu tới các kết quả mong muốn” [3].