Xây dựng giao diện thông minh dựa tác tử giao diện

Bộ giáo dục đào tạo Trường Đại học Bách Khoa Hà Nội - LUẬN VĂN THẠC SĨ KHOA HỌC XÂY DỰNG GIAO DIỆN THÔNG MINH DA TC T GIAO DIN Lấ HI QUN Luận Văn Th¹c SÜ Khoa Häc CHUN NGÀNH: CƠNG NGHỆ THƠNG TIN Hà Nội - 2005 Bộ giáo dục đào tạo Trường Đại học Bách Khoa Hà Nội LUẬN VĂN THẠC SĨ KHOA HỌC XÂY DỰNG GIAO DIỆN THÔNG MINH DỰA TÁC TỬ GIAO DIỆN LÊ HẢI QUÂN Luận Văn Thạc Sĩ Khoa Học CHUYấN NGNH: CễNG NGH THƠNG TIN NGƯỜI HƯỚNG DẪN PGS – TS Hµ Néi - 2005 Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Mục lục Mục lục .1 Danh mục hình vẽ luận văn Danh mục bảng luận văn .5 Danh mục từ viết tắt thuật ngữ Lời nói đầu Chương I: Cơ sở lý thuyết giao diện người dùng thông minh .12 1.1 Giao diện người dùng thông minh 12 1.1.1 Tại cần sử dụng giao diện người dùng thông minh ? 12 1.1.2 Giao diện người dùng thông minh ? 14 1.1.2.1 Định nghĩa 14 1.1.2.2 Các thuộc tính giao diện người dùng thơng minh 16 1.1.3 Giao diện người dùng thông minh khác với hệ thống thông minh 17 1.2 Các thành phần giao diện thông minh 18 1.2.1 Mơ hình người dùng 18 1.2.2 Đa mô hình giao tiếp 19 1.2.3 Khả nhận biết kế hoạch 19 1.2.4 Khả trình diễn động 20 1.2.5 Ngôn ngữ tự nhiên .20 1.2.6 Khả trợ giúp thông minh 20 1.2.7 Khả thích nghi giao diện 21 1.3 Thiết kế giao diện người dùng 21 1.3.1 Quy trình thiết kế chung 21 1.3.2 Phân tích 23 1.3.3 Phát triển triển khai .24 1.3.4 Đánh giá 25 1.3.5 Sự điều chỉnh tích hợp với công cụ .25 1.3.6 Một số phương pháp thiết kế khác 25 1.3.6.1 Thiết kế sử dụng tập tình 26 1.3.6.2 Một số nguyên tắc định hướng thiết kế 27 1.3.6.3 Kiến trúc chung 28 1.4 Các ngôn ngữ mô tả giao diện .29 1.4.1 UIML 30 1.4.2 XIML 33 1.4.3 AUIML 33 1.4.4 USIXML 34 1.4.5 AUIT 34 1.4.6 AAIML 35 1.4.7 XUL 36 1.4.8 GITK / GIML 36 1.4.9 XAML 37 1.4.10 Một số loại ngôn ngữ mô tả giao diện khác 37 1.4.11 So sánh ngôn ngữ mô tả giao diện người dùng 38 1.5 Kết chương 39 Chương II: Tác tử giao diện thông minh ứng dụng xây dựng giao diện thông minh .41 2.1 Tác tử giao diện thông minh 41 Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện 2.1.1 Giới thiệu tác tử 41 2.1.2 Tác tử giao diện thông minh 42 2.1.3 Sự cần thiết tác tử giao diện 43 2.2 Đặc điểm tác tử giao diện thông minh .45 2.2.1 Tính chủ động 46 2.2.2 Tác tử với tư cách trợ lý tư vấn cho người dùng .47 2.2.2.1 Làm trợ lý 47 2.2.2.2 Làm tư vấn 47 2.2.3 Thay đổi cho phù hợp với người dùng (cá nhân hóa) 48 2.2.4 Mơ hình miền (lĩnh vực) 49 2.2.5 Mơ hình người dùng 49 2.2.6 Được tin cậy .52 2.2.7 Có khả phản hồi thông tin 52 2.2.8 Có khả hướng dẫn .53 2.2.9 Được nhân hóa 53 2.2.10 Một số quan điểm phản đối sử dụng tác tử 55 2.2.11 Làm hài lòng người sử dụng 56 2.3 Tích hợp tác tử giao diện thông minh xây dựng giao diện 56 2.4 Mơ hình kiến trúc xây dựng giao diện dựa tác tử giao diện thông minh 58 2.4.1 Đặc tả miền 58 2.4.2 Khả thích nghi 58 2.4.3 Tác tử điều phối 60 2.4.4 Tác tử quan sát 61 2.4.5 Tác tử dự đoán 61 2.4.6 Tác tử hướng dẫn .61 2.4.7 Tác tử quản lý mơ hình người dùng 61 2.4.7.1 Cập nhật lịch sử tương tác 63 2.4.7.2 Cập nhật mô hình tương tác 63 2.4.7.3 Sử dụng tiểu sử người dùng 63 2.4.8 Tác tử quản lý mô hình miền .63 2.4.9 Tác tử đáp ứng 63 2.5 Kết chương 64 Chương III: Xây dựng mơ hình nhiệm vụ giao diện thơng minh dựa tác tử .66 3.1 Các nhiệm vụ hành động 66 3.1.1 Hành động 66 3.1.2 Nhiệm vụ 66 3.2 Mơ hình nhiệm vụ dựa tác tử giao diện .68 3.3 Các thành phần mơ hình nhiệm vụ 69 3.3.1 Nhiệm vụ 69 3.3.2 Hành động 69 3.3.3 Mục tiêu .69 3.3.4 Người dùng 69 3.3.5 Tác tử 70 3.3.6 Nhiệm vụ 70 3.3.7 Nhiệm vụ điều kiện trước 70 3.3.8 Nhiệm vụ điều kiện sau .70 3.4 Phân tích nhiệm vụ .70 3.4.1 Phân tích nhiệm vụ 70 Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện 3.4.2 Các phương pháp phân tích nhiệm vụ .73 3.4.2.1 Phân tích nhiệm vụ sử dụng HTA (Hierarchical Task Analysis) 73 3.4.2.2 Phân tích nhiệm vụ sử dụng GOMS (Goals, Operators, Methods, Selectors) 73 3.4.2.3 Phân tích nhiệm vụ sử dụng GTA (Groupware Task Analysis) 74 3.4.2.4 Phương pháp phân tích dựa HTA 75 3.5 Xây dựng mơ hình nhiệm vụ .76 3.6 Kết chương 80 Chương IV: Xây dựng mơ hình tương tác 82 4.1 Mơ hình tương tác 82 4.2 Các giải thuật xây dựng mơ hình tương tác .85 4.2.1 Thuật toán phân đoạn hành động .85 4.2.2 Thuật toán lựa chọn cặp hành động 87 4.2.3 Thuật toán lựa chọn cặp hành động cuối 91 4.2.4 Thuật toán xây dựng đồ thị tương tác 93 4.2.5 Thuật tốn tính tốn xác xuất 98 4.3 Đánh giá hoàn thiện giải thuật xây dựng mơ hình tương tác .101 4.3.1 Thuật toán phân đoạn hành động 101 4.3.2 Thuật toán lựa chọn cặp hành động 102 4.3.3 Thuật toán lựa chọn cặp hành động cuối 104 4.3.4 Thuật toán xây dựng đồ thị tương tác 106 4.3.5 Thuật tốn tính tốn xác suất 110 4.3.6 Tổng kết 110 4.4 Bài toán thử nghiệm 112 4.4.1 Hệ thống chuyển khoản cá nhân 112 4.4.2 Xây dựng giao diện người dùng 112 4.4.2.1 Đăng nhập 112 4.4.2.2 Chuyển khoản 113 4.4.3 Xây dựng mơ hình nhiệm vụ 114 4.4.4 Xác định hành động nguyên tố 118 4.4.4.1 Các hành động nguyên tố 118 4.4.4.2 Ánh xạ chúng với nhiệm vụ 120 4.4.5 Mô tả giao diện nhiệm vụ XML .121 4.4.5.1 Ngôn ngữ đặc tả XML 121 4.4.5.2 Mô tả nhiệm vụ sử dụng XML 122 4.4.5.3 Mô tả giao diện XML 123 4.4.5.4 Ánh xạ giao diện nhiệm vụ XML 123 4.4.6 Tác tử trợ giúp 124 4.4.6.1 Kiến trúc tác tử 124 4.4.6.2 Lịch sử tương tác 124 4.4.6.3 Sinh trợ giúp người dùng 124 4.5 Thử nghiệm đánh giá 125 4.6 Kết chương 126 Đánh giá kết nghiên cứu hướng phát triển 128 Tài liệu tham khảo 130 Phụ lục Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Danh mục hình vẽ luận văn Hình 1.1: Lĩnh vực nghiên cứu giao diện người dùng thông minh số chủ đề liên quan 16 Hình 1.2: Một hệ thống thông minh khác với giao diện thông minh 18 Hình 1.3: Kiến trúc chung giao diện người dùng thơng minh 28 Hình 1.4: Bộ công cụ xây dựng giao diện người dùng nhiều tảng sử dụng UIML .32 Hình 2.1: Sự tăng trưởng số lượng công cụ ứng dụng 44 Hình 2.2: Mơ hình kiến trúc dựa tác tử giao diện thơng minh 59 Hình 3.1: Phương pháp xây dựng mơ hình nhiệm vụ .69 Hình 3.2: Đồ thị AND/OR mơ hình nhiệm vụ 79 Hình 4.1: Phương pháp xây dựng mơ hình tương tác .85 Hình 4.2: Một ví dụ mơ hình nhiệm vụ 87 Hình 4.3: Quy trình thực giải thuật cho chuỗi hành động 90 Hình 4.4: Đếm số lần xuất cặp hành động chuỗi hành động 90 Hình 4.5: Mơ hình tương tác cho ví dụ 93 Hình 4.6: Bước giải thuật ứng với ví dụ .96 Hình 4.7: Bước giải thuật ứng với ví dụ .96 Hình 4.8: Bước giải thuật ứng với ví dụ .97 Hình 4.9: Bước giải thuật ứng với ví dụ .97 Hình 4.10: Bước giải thuật ứng với ví dụ 97 Hình 4.11: Ví dụ mơ hình đồ thị tương tác 100 Hình 4.12: Thuật tốn loại bỏ thứ 107 Hình 4.13: Thuật tốn loại bỏ thứ hai .108 Hình 4.14: Giao diện Đăng nhập 113 Hình 4.15: Giao diện Chuyển khoản .113 Hình 4.16: Mơ hình cơng việc chương trình 117 Hình 4.17: Kiến trúc tác tử trợ giúp 124 Hình 4.18: Giao diện Đăng nhập với trợ giúp tác tử 126 Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Danh mục bảng luận văn Bảng 1.1: So sánh ngôn ngữ mô tả giao diện .39 Bảng 3.1: Định nghĩa nhiệm vụ hình 3.2 79 Bảng 4.1: Giải thuật phân đoạn hành động .86 Bảng 4.2: Thuật toán lựa chọn cặp hành động 89 Bảng 4.3: Giải thuật lựa chọn cặp hành động cuối 92 Bảng 4.4: Giải thuật xây dựng mơ hình đồ thị tương tác 94 Bảng 4.5: Giải thuật loại bỏ thứ 95 Bảng 4.6: Thuật toán loại bỏ thứ hai .96 Bảng 4.7: Thuật tốn tính tốn xác suất 99 Bảng 4.8: Tính tốn xác suất ứng với α = 0.5 100 Bảng 4.9: Thuật toán lựa chọn cặp hành động sau chỉnh sửa .103 Bảng 4.10: Giải thuật lựa chọn cặp hành động cuối chỉnh sửa 106 Bảng 4.11: Bổ sung thuật toán cập nhật cho đồ thị tương tác 109 Bảng 4.12: Bảng mơ tả mơ hình nhiệm vụ .116 Bảng 4.13: Bảng mô tả hành động nguyên tố 119 Bảng 4.14: Bảng ánh xạ nhiệm vụ với hành động nguyên tố 121 Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Danh mục từ viết tắt thuật ngữ Từ viết tắt Diễn giải AAIML Alternate Abstract Interface Markup Language ASP Active Server Page AUIML AUIT CAD Abstract User Interface Markup Language Adaptive User Interface Technology Computer Aided Design CAMELEON cHTML compact HTML C-HTML Compact HTML Ý nghĩa Ngôn ngữ đánh dấu cho giao diện khái quát thay đổi Công nghệ tạo web động Microsoft Ngôn ngữ đánh dấu cho giao diện người dùng khái qt Cơng nghệ giao diện người dùng thích nghi Cơng cụ hỗ trợ thiết kế máy tính Bộ công cụ phát triển đặc tả với giao diện đồ họa HTML rút gọn DHTML HTML rút gọn Bộ công cụ phát triển để xây C Language Integrated dựng tập luật cho hệ Production System chuyên gia Computer Supported Cooperative Cơng cụ hỗ trợ làm việc nhóm Work máy tính Chuẩn định dạng giao diện cho Cascading Style Sheets HTML Concurrent Task Tree Cây công việc Định dạng XML cho trao đổi Commerce XML liệu thương mại điện tử Dynamic HTML HTML động DTD Document Type Definitions Định nghĩa khối XML F-MML Full MML Generalized Interface Markup Language MML đầy đủ Ngôn ngữ đánh dấu cho giao diện tổng quát Bộ công cụ cho giao diện tổng quát Mục tiêu, hoạt động, phương thức, chọn lọc Các phần mềm hỗ trợ làm việc theo nhóm qua mạng Phân tích nhiệm vụ sử dụng Groupware CLIPS CSCW CSS CTT CXML GIML GITK Generalized Interface Toolkit GOMS Goals, Operators, Methods, Selectors Groupware Collaborative software GTA Groupware Task Analysis Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học HCI Xây dựng giao diện thông minh dựa tác tử giao diện MML Model based intelligent interface agent Mobile Markup Language Tương tác người máy Ngôn ngữ đánh dấu cho thiết bị cầm tay Phân tích nhiệm vụ sử dụng phân cấp Ngôn ngữ đánh dấu siêu văn Lịch sử tương tác Ngôn ngữ đánh dấu cho tương tác nhiều dạng đầu vào Thư viện Java hỗ trợ xây dựng giao diện Ngôn ngữ kịch sử dụng cú pháp Java Phần mềm hỗ trợ mạng sử dụng ngôn ngữ Java Sun Công nghệ tạo web động sử dụng Java Một công nghệ Microsoft Một kiểu giao diện Java, nhìn cảm nhận Một dạng cơng cụ hay chức Mơ hình dựa tác tử giao diện thông minh Ngôn ngữ đánh dấu cho di động M-MML Medium MML MML mức trung bình Personal Device Assitant Trình duyệt mã nguồn mở Mơ hình phủ, bao trùm bên Thiết bị trợ giúp cá nhân HDML Human Computer Interaction Handheld Device Markup Language HTA Hierarchical Task Analysis HTML Hyper Text Markup Language IH Interaction History Interaction Multimodal Markup Language IM2L Java Swing JavaScript Jini/Java JSP Java Server Page longhorn look-and-feel Metaphor MI2A Mozilla Overlay PDA script S-MML TIDE Ngôn ngữ kịch Small MML Transformation-based Interaction Development Environment UIML User Interface Markup Language Upnp Universal Plug and Play useML Useware Markup Language MML mức nhỏ Chuyển đổi dựa môi trường phát triển tương tác Ngôn ngữ đánh dấu cho giao diện người dùng Chuẩn kết nối thiết bị nhiều nhà cung cấp khác Ngôn ngữ mô tả giao diện người máy Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện W3C USer Interface eXtensible Markup Language User Interface Description Language for Virtual Environments World Wide Web Consortium Ngôn ngữ đánh dấu cho giao diện người dùng Ngôn ngữ đánh dấu mở rộng cho giao diện người dùng Ngôn ngữ mô tả giao diện người dùng cho môi trường ảo dựa XML Tổ chức mạng tồn cầu WebML Web Markup Language Ngơn ngữ đánh dấu cho Web widgets Controls Các phần tử giao diện Phương pháp tạo nhanh mẫu cho hệ thống cần chi phí cao, hay cơng nghệ Ngôn ngữ đánh dấu cho mạng không dây Ngôn ngữ đánh dấu ứng dụng mở rộng Ngôn ngữ đánh dấu để mô tả việc gắn kết với phần tử tài liệu khác Thế hệ HTML form Ngôn ngữ thành phần cho giao diện người dùng mở rộng Ngôn ngữ đánh dấu giao diện mở rộng Các thư viện ngôn ngữ C để giao diện với XWindows Ngôn ngữ đánh dấu mở rộng Ngôn ngữ mô tả giao diện người dùng dựa XML Giao diện đồ họa Linux USIML USIXML VRIXML USer Interface Markup Language Wizard of Oz WML Wireless Markup Language XAML Extensible Application Markup Language XBL Extensible Binding Language XForms XICL XIML eXtensible User Interface Component Language eXtensible Interface Markup Language Xlib C Language X Interface XML Extensible Markup Language XUL XML User Interface Language XWindows Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Phụ lục Phụ lục 1: Phân tích thuật tốn phân đoạn hành động Phụ lục 2: Phân tích thuật tốn lựa chọn cặp hành động Phụ lục 3: Phân tích thuật tốn lựa chọn cặp hành động cuối Phụ lục 4: Phân tích thuật toán xây dựng đồ thị tương tác Phụ lục 5: Phân tích giải thuật loại bỏ thứ Phụ lục 6: Phân tích giải thuật loại bỏ thứ hai Phụ lục 7: Phân tích thuật tốn cập nhật mơ hình đồ thị tương tác Phụ lục 8: Phân tích thuật tốn tính tốn xác suất Phụ lục 9: Đặc tả mơ hình nhiệm vụ XML 10 Phụ lục 10: Đặc tả giao diện XML 14 Phụ lục 11: Đặc tả ánh xạ giao diện nhiệm vụ XML 15 Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Phụ lục 1: Phân tích thuật tốn phân đoạn hành động Dịng D.1 Phân tích Stemp dùng để lưu trữ chuỗi hành động phân đoạn từ hành động thu thập được, Stemp kết thuật toán Ban đầu khởi gán cho Stemp rỗng D.2 aj hành động cuối đưa vào Stemp Ban đầu gán cho aj null D.3 Duyệt qua hành động danh sách hành động thu thập từ người dùng, sử dụng biến để duyệt D.5 Nếu nhiệm vụ liên kết với hành động nhiệm vụ điều kiện sau nhiệm vụ liên kết với hành động aj thực D.7, ngược lại thực D.12 D.7 Đưa hành động vào chuỗi Stemp D.8 Gán cho aj = Coi aj hành động cuối đưa vào Stemp D.9 Kết thúc khối lệnh kiểm tra điều kiện D.10 Trường hợp ngược lại với điều kiện kiểm tra D.5 thực D.12 D.12 Đưa chuỗi Stemp vào danh sách chuỗi hành động phân đoạn (lịch sử tương tác) D.13 Gán lại cho Stemp rỗng để chuẩn bị tạo chuỗi D.14 Đưa hành động vào chuỗi Stemp D.15 Gán cho aj = Coi aj hành động cuối đưa vào Stemp Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Phụ lục 2: Phân tích thuật tốn lựa chọn cặp hành động Dịng Phân tích D.1 Duyệt qua chuỗi hành động lịch sử tương tác, sử dụng biến As D.3 Kiểm tra số hành động chuỗi hành động xét (As) không lớn thực D.4 D.4 Bỏ qua lệnh quay đầu vòng lặp, chuyển sang chuỗi hành động D.5 Trong vòng lặp dòng D.1., duyệt qua hành động chuỗi hành động As cuối chuỗi hành động ngược lên, sử dụng biến aj để duyệt số j chạy từ n lùi (n số hành động chuỗi hành động As) D.7 Trong vòng lặp dòng D.3., duyệt qua hành động chuỗi hành động As hành động thứ j-1 ngược đến hành động đầu tiên, sử dụng biến ak để duyệt số k chạy từ j-1 lùi D.9 Nếu cặp hành động (ak, aj) nằm danh sách cặp hành động PAIRLIST thực D.11 D.11 Thực tăng biến đếm COUNT cặp hành động (ak, aj) lên D.12 Kết thúc khối lệnh kiểm tra điều kiện D.13 Trường hợp ngược lại với điều kiện kiểm tra D.9 thực D.15 D.15 Đưa cặp hành động (ak, aj) vào PAIRLIST D.16 Đặt cho biến đếm COUNT (ak, aj) Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Phụ lục 3: Phân tích thuật tốn lựa chọn cặp hành động cuối Dịng D.1 Phân tích Duyệt qua hành động danh sách cặp hành động PAIRLIST, sử dụng biến api để duyệt (api cặp hành động) D.3 Khởi tạo biến Pass có kiểu bool với giá trị TRUE D.4 Trong vòng lặp dòng D.1, duyệt qua hành động danh sách cặp hành động PAIRLIST, sử dụng biến apj để duyệt (apj cặp hành động) D.6 Nếu hai cặp hành động api apj hai cặp hành động có thứ tự ngược thực D.8 D.8 Kiểm tra ngưỡng thực D.9 D.9 Gán giá trị FALSE cho biến Pass D.10 Ngược lại với điều kiện kiểm tra D.8, APC cặp hành động api nhỏ ngưỡng THRESHOLD thực D.11 D.11 Gán giá trị FALSE cho biến Pass D.12 Thoát khỏi vòng lặp D.4 D.15 Kiểm tra biến Pass, Pass có giá trị TRUE thực D.16 D.16 Đưa cặp hành động api vào danh sách cặp hành động cuối FPAIRLIST Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Phụ lục 4: Phân tích thuật tốn xây dựng đồ thị tương tác Dịng D.1 Phân tích Duyệt qua cặp hành động danh sách cặp hành động cuối FPAIRLIST, sử dụng biến api để duyệt (api cặp hành động) D.3 Nếu hành động thứ cặp hành động xét api chưa phải hành động điều kiện trước hành động thứ hai cặp hành động xét api thực D.5 D.5 Đưa hành động thứ cặp hành động xét api vào danh sách hành động điều kiện trước hành động thứ hai cặp hành động xét api D.6 Đưa hành động thứ hai cặp hành động xét api vào danh sách hành động điều kiện sau hành động thứ cặp hành động xét api D.7 Kết thúc khối lệnh kiểm tra điều kiện D.8 Thực giải thuật loại bỏ thứ với tham số cặp hành động xét api D.9 Thực giải thuật loại bỏ thứ hai với tham số cặp hành động xét api Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Phụ lục 5: Phân tích giải thuật loại bỏ thứ Dịng D.3 Phân tích Duyệt qua hành động danh sách hành động điều kiện sau hành động thứ hai cặp hành động làm tham số, sử dụng biến ac1 để duyệt (ac1 hành động) D.5 Nếu hành động thứ cặp hành động làm tham số nằm danh sách hành động điều kiện trước hành động xét (ac1) thực D.7 D.7 Thực loại bỏ hành động thứ cặp hành động làm tham số khỏi danh sách hành động điều kiện trước hành động xét (ac1) D.8 Thực loại bỏ hành động xét (ac1) khỏi danh sách hành động điều kiện sau hành động thứ cặp hành động làm tham số D.9 Kết thúc khối lệnh kiểm tra điều kiện D.10 Trường hợp ngược lại với điều kiện kiểm tra thực D.11 D.11 Gọi lại giải thuật loại bỏ thứ với tham số hành động thứ cặp hành động làm tham số hành động xét (ac1) (đệ quy) Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Phụ lục 6: Phân tích giải thuật loại bỏ thứ hai Dịng D.3 Phân tích Duyệt qua hành động danh sách hành động điều kiện trước hành động thứ cặp hành động làm tham số, sử dụng biến ac1 để duyệt (ac1 hành động) D.5 Nếu hành động thứ hai cặp hành động làm tham số nằm danh sách hành động điều kiện sau hành động xét (ac1) thực D.7 D.7 Thực loại bỏ hành động thứ hai cặp hành động làm tham số khỏi danh sách hành động điều kiện sau hành động xét (ac1) D.8 Thực loại bỏ hành động xét (ac1) khỏi danh sách hành động điều kiện trước hành động thứ hai cặp hành động làm tham số D.9 Kết thúc khối lệnh kiểm tra điều kiện D.10 Trường hợp ngược lại với điều kiện kiểm tra thực D.11 D.11 Gọi lại giải thuật loại bỏ thứ hai với tham số hành động xét (ac1) hành động thứ hai cặp hành động làm tham số (đệ quy) Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Phụ lục 7: Phân tích thuật tốn cập nhật mơ hình đồ thị tương tác Dịng Phân tích D.3 Gán cho biến ISEXIST giá trị FALSE D.4 Duyệt qua đồ thị tương tác danh sách đồ thị tương tác IGLIST, sử dụng biến IGi để duyệt D.6 Nếu đồ thị tương tác xét (IGi) hay tương đương với đồ thị tương tác làm tham số (IG) thực D.8 D.8 Thực tăng biến đếm đồ thị tương tác xét (IGi) lên D.9 Gán cho biến ISEXIST giá trị TRUE D.10 Thốt khỏi vịng lặp D.4 D.11 Kết thúc khối lệnh kiểm tra điều kiện D.13 Kiểm tra giá trị biến ISEXIST FALSE thực D.15 D.15 Khởi gán cho biến đếm COUNT đồ thị tương tác làm tham số (IG) D.16 Đưa đồ thị tương tác làm tham số (IG) vào danh sách đồ thị tương tác IGLIST Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Phụ lục 8: Phân tích thuật tốn tính tốn xác suất Dịng D.3 Phân tích Duyệt qua cặp hành động liên tiếp chuỗi hành động làm tham số, sử dụng biến cặp biến (ai, aj) để duyệt (ai hành động thứ nhất, aj hành động thứ hai) D.5 Nếu hành động thứ nằm đồ thị tương tác xây dựng từ thuật tốn trước thực D.6 D.6 Gọi hàm cập nhật xác suất với hai tham số cặp hành động xét Phân tích hàm cập nhật xác suất Dịng D.3 Phân tích Nếu mảng xác suất hành động điều kiện sau hành động thứ cặp hành động làm tham số chưa khởi tạo (null) thực D.4 D.4 Khởi tạo xác suất cho hành động điều kiện sau hành động thứ cặp hành động làm tham số với giá trị 1/n (n số lượng hành động điều kiện sau hành động thứ cặp hành động làm tham số) D.5 Thực nhân xác suất hành động điều kiện sau hành động thứ cặp hành động làm tham số với giá trị α xác định trước D.6 Thực cộng thêm cho xác suất hành động thứ hai cặp hành động làm tham số lượng (1-α) Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Phụ lục 9: Đặc tả mơ hình nhiệm vụ XML Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin 11 Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin 12 Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin 13 Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Phụ lục 10: Đặc tả giao diện XML Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin 14 Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Phụ lục 11: Đặc tả ánh xạ giao diện nhiệm vụ XML Lê Hải Quân/Cao học 2003/Khoa Công nghệ thông tin 15 ... nghệ thông tin 40 Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện Chương II: Tác tử giao diện thông minh ứng dụng xây dựng giao diện thông minh 2.1 Tác tử giao diện thông minh. .. nghệ thông tin 41 Luận văn cao học Xây dựng giao diện thông minh dựa tác tử giao diện vào tác tử có đặc điểm thông minh chúng tương tác trực tiếp với người dùng 2.1.2 Tác tử giao diện thông minh. .. Chương trình bày vấn đề liên quan đến tác tử giao diện thông minh ứng dụng tác tử vào xây dựng giao diện người dùng thông minh Các vấn đề tác tử giao diện thông minh bao gồm khái niệm, đặc điểm nó,