Bối cảnh và vấn đề nghiên cứu

Từ đầu những năm 1980, tác tử (Agent) và hệ đa tác tử (Multi-Agent System - MAS) đã bắt đầu được nghiên cứu như một hướng đi mới trong khoa học máy tính. Đến giữa thập niên 1990, mô hình này nhận được sự thừa nhận rộng rãi và thu hút sự quan tâm từ giới học thuật lẫn công nghiệp công nghệ thông tin. Sự phát triển của kỹ thuật tính toán trong các thập kỷ cuối thế kỷ XX đã làm biến đổi sâu sắc hạ tầng xử lý thông tin với bốn đặc điểm thực tiễn cơ bản:

  • Tính toán ngày càng phổ dụng với chi phí phần cứng liên tục hạ.
  • Hệ thống máy tính chuyển đổi từ hoạt động đơn lẻ sang kết nối mạng, xử lý phân tán và tương tác song song.
  • Ứng dụng ngày càng đa dạng, đảm nhận các tác vụ phức tạp đòi hỏi tính thông minh nhân tạo.
  • Nhu cầu trao quyền tự chủ cho máy tính nhằm giảm can thiệp trực tiếp của con người kết hợp với yêu cầu cá nhân hóa giao diện và thích nghi hướng người dùng.

Trong bối cảnh đó, các mô hình công nghệ phần mềm truyền thống bộc lộ nhiều hạn chế khi đối mặt với các hệ thống phân tán phức tạp và có tính mở. Đề tài "Tìm hiểu về công nghệ Agent" (tiêu đề tài liệu: Khám Phá Công Nghệ Agent Tác Tử Trong Phần Mềm Hướng Tác Tử) được sinh viên Nguyễn Phương Lan thực hiện dưới sự hướng dẫn của ThS. Nguyễn Trung Tuấn nhằm tổng quan hóa nền tảng lý thuyết về tác tử, cơ chế phối hợp trong hệ đa tác tử và phương pháp luận kỹ thuật phần mềm hướng tác tử (Agent-Oriented Software Engineering - AOSE).

Nhiệm vụ nghiên cứu của đề tài tập trung vào các nội dung:

  1. Tìm hiểu mô hình tổ chức, sản phẩm dịch vụ và định hướng công nghệ tại cơ sở thực tập là Công ty Điện toán và Truyền số liệu (VDC/VDC1).
  2. Khảo sát khái niệm, cấu trúc kiến trúc, đặc điểm và các mô hình ra quyết định của đơn tác tử.
  3. Nghiên cứu cơ chế phối hợp, chia sẻ công việc, chia sẻ kết quả và thiết lập cam kết trong hệ đa tác tử.
  4. Phân tích phương pháp luận phát triển phần mềm hướng tác tử, các kỹ thuật phân rã, trừu tượng hóa và các khung phương pháp như Prometheus, Tropos, Gaia.

Phạm vi nghiên cứu của báo cáo gắn liền với quá trình thực tập tại Trung tâm Điện toán và Truyền số liệu khu vực I (VDC1), tập trung vào phân tích lý thuyết công nghệ tác tử và tổng thuật các ứng dụng tiêu biểu trong quản lý sản xuất, quy trình công việc, quản lý thông tin và thương mại điện tử.

Cơ sở lý thuyết và phương pháp

Khóa luận xây dựng trên nền tảng lý thuyết tính toán phân tán và trí tuệ nhân tạo biểu tượng (Symbolic Artificial Intelligence), tiếp cận tác tử dưới hai góc độ: một thực thể tính toán tự chủ độc lập và một thành viên trong tổ chức xã hội đa tác tử.

Các mô hình và khung lý thuyết chính được sử dụng bao gồm:

  • Định nghĩa tác tử hình thức: Tác tử là hệ thống tính toán hoạt động tự chủ trong môi trường, tiếp nhận dữ liệu thông qua cơ quan cảm nhận (hàm ánh xạ cảm nhận $\text{cảm_nhận}: S \rightarrow P$, trong đó $S$ là không gian trạng thái môi trường, $P$ là tập các hình dung/tri giác) và tác động lên môi trường qua cơ quan chấp hành ($A$).
  • Mô hình môi trường Markov: Áp dụng cho các tác tử phản xạ thuần túy, nơi trạng thái môi trường ở thời điểm hiện tại cung cấp đầy đủ thông tin để hành động mà không phụ thuộc vào lịch sử cảm nhận quá khứ.
  • Hệ thống suy diễn logic vị từ bậc một (First-Order Predicate Logic): Sử dụng cơ sở tri thức (Knowledge Base - KB) gồm các sự kiện quan sát (niềm tin - beliefs) và hệ luật suy diễn để thực hiện thủ tục chứng minh định lý tự động (Hành_động(KB: I) : A).
  • Lý thuyết hành vi ngôn ngữ (Speech Act Theory): Cơ sở của các ngôn ngữ giao tiếp tác tử (ACL) bậc cao trong tương tác phân tán.
  • Mô hình quy ước và cam kết Cohen - Levesque: Khung quy ước xã hội xác định điều kiện thiết lập, duy trì và từ bỏ cam kết tập thể khi mục tiêu thay đổi hoặc không còn động lực thực hiện.
  • Bộ ba kỹ thuật công nghệ phần mềm: Phân rã (Decomposition), Trừu tượng hóa (Abstraction) và Tổ chức (Organisation) áp dụng cho hệ thống phức tạp.

Phương pháp nghiên cứu chủ đạo là phương pháp phân tích - tổng hợp tài liệu học thuật kết hợp nghiên cứu trường hợp (case studies) từ các hệ thống thực tế đã triển khai như YAMS, ADEPT, MAXIMS và các phương pháp luận thiết kế phần mềm Prometheus, Tropos, Gaia. Nguồn dữ liệu sử dụng gồm tài liệu kỹ thuật, báo cáo hoạt động nội bộ của Công ty Điện toán và Truyền số liệu (VDC) và các công trình khoa học quốc tế về kỹ nghệ hướng tác tử.

Nội dung chính theo từng chương

Chương 1: Giới thiệu về cơ sở thực tập

Chương 1 trình bày tổng quan về lịch sử hình thành, cơ cấu tổ chức và năng lực công nghệ của Công ty Điện toán và Truyền số liệu (VDC).

  • Lịch sử phát triển: Tiền thân là Trạm máy tính của Ngành Bưu điện thành lập ngày 02/07/1974 theo Quyết định số 539/QĐ với 07 cán bộ vận hành máy điện cơ của Cộng hòa Dân chủ Đức. Qua các mốc phát triển năm 1976 (Trung tâm máy tính), ngày 26/11/1990 công ty chính thức thành lập. Đến 28/11/1995, thành lập VDC1 (Hà Nội) và VDC3 (Đà Nẵng); ngày 25/11/1997 thành lập Trung tâm Dịch vụ Gia tăng Giá trị (VASC). Hiện VDC quản lý mạng trục Internet Việt Nam qua 3 cổng quốc tế tại Hà Nội, TP. Hồ Chí Minh và Đà Nẵng.
  • Bộ máy tổ chức: Bao gồm Ban Giám đốc và hệ thống phòng ban chức năng: Hành chính, Kế hoạch, Kinh doanh, Kỹ thuật Điều hành, Kế toán Tài chính, Đầu tư Phát triển, Tổ chức Lao động, Ban Biên tập Báo Điện tử, Tính cước, Nghiên cứu Ứng dụng Phần mềm, Ban Dự án VDCA, Tích hợp và Phát triển Hệ thống, Phòng Danh bạ, Quản lý Tin học, Ban Quản lý Chất lượng.
  • Sản phẩm và công nghệ: Các dịch vụ kết nối (VNN1260, VNN1268, Mega VNN, Wifi VNN, VPN VNN, Frame Relay, X25, FONE 1717, Email, Web Hosting, Co-location). Nền tảng công nghệ IP (VoIP, FoIP, VPN), truyền dữ liệu tốc độ cao (ATM, ISDN, xDSL) kết hợp hạ tầng phần cứng/phần mềm từ các đối tác Cisco, Sun Microsystems, HP, IBM, Microsoft, Oracle trên nền hệ điều hành Unix (Solaris, HP-UX) và Windows.

Chương 2: Công nghệ tác tử

Chương 2 tập trung phân tích toàn diện về kiến trúc đơn tác tử và cơ chế tương tác trong hệ đa tác tử.

Kiến trúc và cơ chế ra quyết định của đơn tác tử

Tác tử mang các đặc tính nền tảng: phản xạ (reactive), chủ động/hướng mục đích (proactive), cộng đồng (social ability), tự học (learning), thích nghi (adaptability) và di động (mobility).

Loại kiến trúc tác tử Đặc điểm vận hành Cơ chế ra quyết định
Tác tử phản xạ (Reflex Agent) Xử lý trực tiếp cảm nhận hiện thời không lưu lịch sử Ánh xạ tập tri giác sang hành động ($P \rightarrow A$) theo tập luật Nếu <Cảm nhận> Thì <Hành động>. Phù hợp môi trường Markov.
Tác tử có trạng thái (State-based Agent) Duy trì cấu trúc trạng thái bên trong ($I$) để bù đắp cảm nhận không đầy đủ Chu kỳ 3 bước: tiếp nhận cảm nhận $P$, cập nhật trạng thái ($\text{Cập_nhật}: I \times P \rightarrow I$), ánh xạ trạng thái sang hành động ($\text{Hành_động}: I \rightarrow A$).
Tác tử hành động có mục đích (Goal-based Agent) Kết hợp thông tin trạng thái với trạng thái đích cần đạt hoặc duy trì Dự đoán kết quả tương lai của hành động; mềm dẻo hơn phản xạ nhưng đòi hỏi tính toán lập kế hoạch phức tạp.
Tác tử suy diễn logic (Symbolic Logic Agent) Biểu diễn môi trường bằng logic vị từ bậc một trong cơ sở tri thức (KB) Sử dụng thuật toán chứng minh định lý tự động: duyệt tìm hành động $a$ thỏa mãn $KB \models \text{Thực_hiện}(a)$; nếu không có thì tìm hành động không mâu thuẫn $\neg \text{Thực_hiện}(a)$.

Phối hợp trong hệ đa tác tử (Multi-Agent Systems)

Hệ đa tác tử giải quyết các bài toán phân tán mà đơn tác tử không đủ tài nguyên hoặc thông tin xử lý. Quá trình phối hợp giải quyết các quan hệ hành động tiêu cực (mâu thuẫn tài nguyên, xung đột mục tiêu) và quan hệ tích cực (bình đẳng, gộp, giúp đỡ) thông qua các chiến lược:

  • Chia sẻ công việc (Task Sharing): Phân rã công việc $\rightarrow$ Phân phối $\rightarrow$ Thực hiện $\rightarrow$ Tổng hợp kết quả.
  • Chia sẻ kết quả (Result Sharing): Trao đổi thông tin nhằm tăng độ tin cậy, tăng tính trọn vẹn, nâng cao độ chính xác và rút ngắn thời gian tính toán.
  • Phối hợp nhờ cấu trúc tổ chức: Bốn mô hình tổ chức gồm phân cấp (Hierarchy), cộng đồng chuyên gia (Community of Experts), cộng đồng khoa học (Scientific Community) và cơ chế thị trường/đấu giá (Market/Auctions).
  • Phối hợp bằng quy tắc, cam kết và lập kế hoạch: Xây dựng quy tắc dựng sẵn hoặc quy tắc thích nghi động (thông qua hàm số đông). Vận dụng mô hình Cohen - Levesque về ý định chung, cam kết (commitment) và quy ước xã hội (social convention) để đảm bảo tính mềm dẻo khi tác tử rút lui hoặc thay đổi mục tiêu.

Ứng dụng thực tế và phạm vi thích hợp

  • Ứng dụng tiêu biểu: Quản lý xưởng sản xuất mềm YAMS; quản lý luồng công việc viễn thông ADEPT (British Telecom); trợ lý lọc/phân loại thư điện tử tự học MAXIMS; tác tử thương mại điện tử (so sánh giá, chợ điện tử, đấu giá tự động).
  • Ưu - nhược điểm và chống chỉ định:
    • Nên dùng: Hệ thống mở, phân tán dữ liệu, cấu trúc phức tạp, tích hợp kế thừa phần mềm cũ.
    • Không nên dùng: Hệ thống thời gian thực ngặt nghèo (hard real-time do thời gian đáp ứng khó xác định trước), hệ thống đòi hỏi kiểm soát tập trung/tối ưu toàn cục tuyệt đối, hoặc hệ thống pháp lý đòi hỏi trách nhiệm giải trình ủy thác nghiêm ngặt.

Chương 3: Công nghệ phần mềm hướng tác tử

Chương 3 phân tích sự chuyển dịch mô hình phát triển phần mềm sang hướng tác tử (AOSE) nhằm kiểm soát độ phức tạp của các hệ thống công nghiệp:

  • Quản lý độ phức tạp: Thông qua 3 trụ cột kỹ thuật: Phân rã (chia nhỏ bài toán thành các tác tử tự trị), Trừu tượng hóa (mô hình hóa hệ thống bằng các khái niệm tác tử, vai trò, mục tiêu) và Tổ chức (định nghĩa các quan hệ xã hội phân cấp, ngang hàng, nhóm cộng tác).
  • Đặc trưng tương tác hướng tác tử: Giao tiếp diễn ra ở mức tri thức thông qua ngôn ngữ giao tiếp tác tử bậc cao dựa trên lý thuyết hành vi ngôn ngữ, cho phép thương thuyết linh hoạt tại thời gian chạy (run-time) thay vì cố định từ lúc thiết kế.
  • Vòng đời và đặc tả tác tử: Các hướng tiếp cận thực thi trực tiếp đặc tả, biên dịch đặc tả, tiếp cận tiên đề (axiomatic) và kiểm tra mô hình ngữ nghĩa (model checking).
  • Phương pháp luận AOSE: Tổng thuật 3 phương pháp luận nổi bật:
    1. Prometheus: Quy trình chi tiết từ phân tích yêu cầu, thiết kế kiến trúc đến thiết kế chi tiết các tác tử.
    2. Tropos: Phương pháp luận dựa trên mô hình mục tiêu xuyên suốt toàn bộ vòng đời phát triển.
    3. Gaia: Phương pháp luận chuyển từ phân tích vai trò, tương tác sang thiết kế dịch vụ và cấu trúc tác tử.

Kết quả và đóng góp

  • Hệ thống hóa lý thuyết công nghệ tác tử: Làm rõ mô hình toán học và hình thức của tác tử (ánh xạ tri giác - hành động, cập nhật trạng thái nội tại, giải thuật chứng minh định lý tự động trong tác tử logic).
  • Phân loại toàn diện các mô hình phối hợp MAS: Tổng hợp và so sánh chi tiết các chiến lược chia sẻ công việc, chia sẻ kết quả, cấu trúc tổ chức (phân cấp, chuyên gia, khoa học, thị trường) và cơ chế cam kết xã hội Cohen - Levesque.
  • Đánh giá ranh giới áp dụng AOSE: Chỉ rõ các miền bài toán phù hợp (hệ thống mở, phân tán, tích hợp linh hoạt) và các trường hợp chống chỉ định (hệ thống thời gian thực, điều khiển tập trung ngặt nghèo).
  • Tổng thuật các phương pháp luận phát triển phần mềm: Giới thiệu cấu trúc của các phương pháp luận AOSE tiêu biểu (Prometheus, Tropos, Gaia) và so sánh ưu thế của tư duy hướng tác tử so với phương pháp hướng đối tượng và component-ware.

Hạn chế và hướng nghiên cứu tiếp

  • Hạn chế: Báo cáo tốt nghiệp dừng lại ở mức độ khảo sát lý thuyết tổng quan và phân tích tài liệu, chưa đi sâu vào cài đặt thử nghiệm một hệ đa tác tử cụ thể bằng mã nguồn hoặc framework chuyên biệt (như JADE, Jack hay Jason).
  • Hướng nghiên cứu tiếp:
    • Cài đặt thực nghiệm các giao thức tương tác tác tử trên nền tảng mạng phân tán.
    • Ứng dụng phương pháp luận Prometheus hoặc Gaia để thiết kế và hiện thực hóa một hệ thống tác tử cụ thể phục vụ các dịch vụ thông tin hoặc thương mại điện tử.

Giá trị tham khảo

Báo cáo là tài liệu tham khảo hữu ích cho:

  • Sinh viên ngành Công nghệ Thông tin, Kỹ thuật Phần mềm và Khoa học Máy tính: Cung cấp tài liệu tổng quan bằng tiếng Việt về lý thuyết tác tử, trí tuệ nhân tạo phân tán và công nghệ phần mềm hướng tác tử.
  • Người nghiên cứu hệ thống phân tán và AI: Tham khảo chi tiết phần phân tích cơ chế ra quyết định (Chương 2.3), các mô hình tổ chức - phối hợp MAS (Chương 2.4) và quy ước xã hội Cohen - Levesque.
  • Kỹ sư phần mềm: Tham khảo các góc nhìn so sánh giữa AOSE với hướng đối tượng (OOP) nhằm lựa chọn kiến trúc phù hợp cho các hệ thống mở có độ phức tạp cao.

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

1. Tác tử (Agent) khác biệt cơ bản như thế nào so với một đối tượng (Object) trong lập trình hướng đối tượng?
Tác tử có tính tự chủ cao hơn đối tượng: tác tử tự kiểm soát trạng thái bên trong và quyết định hành vi của mình (chủ động - proactive và phản xạ - reactive), tương tác ở mức tri thức thông qua ngôn ngữ giao tiếp tác tử bậc cao, trong khi đối tượng chỉ thực thi phương thức khi có lời gọi tường minh từ bên ngoài.

2. Cơ chế ra quyết định của tác tử suy diễn logic được thực hiện như thế nào?
Tác tử sử dụng logic vị từ bậc một để lưu trữ cơ sở tri thức ($KB$) gồm các sự kiện (niềm tin) và quy tắc suy diễn. Khi quyết định, tác tử chạy thủ tục chứng minh định lý tự động để tìm hành động $a$ sao cho $KB \models \text{Thực_hiện}(a)$. Nếu không tìm được, tác tử chọn hành động không mâu thuẫn $\neg \text{Thực_hiện}(a)$ để tiếp tục chu kỳ hoạt động.

3. Mô hình cam kết và quy ước Cohen - Levesque đóng vai trò gì trong hệ đa tác tử?
Mô hình quy định quy ước xã hội giúp các tác tử duy trì sự phối hợp ổn định. Cam kết là lời hứa bền vững thực hiện mục tiêu chung; quy ước xã hội xác định rõ khi nào tác tử được phép từ bỏ cam kết (khi mục tiêu đã đạt, không thể đạt hoặc động cơ không còn) và buộc tác tử phải thông báo cho các thành viên khác khi có thay đổi.

4. Trong những trường hợp nào không nên áp dụng công nghệ tác tử?
Không nên sử dụng công nghệ tác tử trong: (1) Các hệ thống thời gian thực ngặt nghèo (hard real-time) đòi hỏi thời gian đáp ứng xác định chính xác; (2) Các bài toán yêu cầu điều khiển tập trung tuyệt đối và giải pháp tối ưu toàn cục; (3) Các quy trình đòi hỏi trách nhiệm pháp lý cá nhân rõ ràng mà con người chưa đủ độ tin tưởng để ủy thác tự chủ cho phần mềm.

5. Khóa luận giới thiệu những phương pháp luận kỹ nghệ phần mềm hướng tác tử nào?
Khóa luận trình bày 3 phương pháp luận chính: phương pháp Prometheus (quy trình phân tích, thiết kế kiến trúc và chi tiết tác tử), phương pháp Tropos (hướng mục tiêu cho toàn bộ vòng đời phần mềm) và phương pháp Gaia (phân tích vai trò và tương tác tổ chức).

Kết luận

Khóa luận "Tìm hiểu về công nghệ Agent" của tác giả Nguyễn Phương Lan là công trình tổng quan toàn diện về lý thuyết tác tử, hệ đa tác tử và công nghệ phần mềm hướng tác tử (AOSE). Báo cáo đã làm rõ các kiến trúc ra quyết định của đơn tác tử, các cơ chế phối hợp - cam kết xã hội phức tạp trong môi trường phân tán, đồng thời phân tích ranh giới ứng dụng thực tiễn của công nghệ này. Đây là tài liệu tổng thuật có giá trị tham khảo học thuật tốt cho sinh viên và người nghiên cứu trong lĩnh vực trí tuệ nhân tạo phân tán và kỹ thuật phần mềm.