Chúng ta học câch thức mô hình công việc bao gồm câc hănh động (actions) vă câc công thức (recipes).
Câc hănh động có thể lă câc hănh động nguyín tố mă có thể thực hiện được trực tiếp hay câc hănh động không nguyín tố mă có thể thu được một câch trực tiếp thông qua việc thực hiện câc hănh động khâc. Mỗi hănh động có một kiểu vă mỗi kiểu được kết hợp với một tập câc tham số nhưng chúng ta không tính tới câc thông tin liín quan tới nguyín nhđn vă kết quả của hănh động ví dụ câc tiền điều kiện vă câc tâc động.
Câc công thức lă câc phương phâp cho việc phđn tích câc hănh động không nguyín tố thănh câc chức năng mục đích con. Có thể có một số công thức khâc nhau cho việc thu được một hănh động đơn. Mỗi công thức định nghĩa một tập câc bước vă có thể được thực hiện để thu được một hănh động không nguyín tố vă câc răng buộc mă âp đặt một trình tự bộ phận trín câc bước cũng như câc mối liín hệ logic khâc giữa câc tham số. Trong tăi liệu năy chúng ta chỉ quan tđm đến mối quan hệ logic lă quan hệ bằng. Câc bước cũng được giả sử cần thiết trừ khi chúng được gân cho nhên lă tuỳ chọn.
Ta sẽ nghiín cứu cụ thể thông qua một ví dụ sau:
S/v thực hiện: Đỗ Thanh Vũ Lớp Công nghệ phần mềm – K44 – CNTT
Bâo câo đồ ân tốt nghiệp đại học Thầy giâo hướng dẫn: TS. Huỳnh Quyết Thắng
Ví dụ 1: Một mô hình công việc của quâ trình chuẩn bị Mì
Thông thường đầu văo của giải thuật học lă một dêy câc chứng minh mă mỗi trong số chúng chỉ ra rõ răng được một câch chính xâc để thực hiện một công việc, nhiệm vụ thông qua câc diễn giải. Ví dụ như nếu trình tự [a, b, c] lă đúng vă b được diễn giải như một tuỳ chọn thì chúng ta có thể phât biểu lă [a, c] cũng lă một mẫu đúng. Từ đó chúng ta cũng có thể tổng quât hoâ từ câc mẫu đê được diễn giải dựa trín giả thiết về mô hình mục đích được học. Ví dụ như nếu người học nói cả [a, b, c][c, b, a] đều đúng vă mô hình mục đích đại diện cho câc rằng buộc thứ tự bộ phận trín từng cặp hănh động thì tất cả câc thứ tự của a, b, c đều phải đúng.
Một câch chính xâc hơn, mỗi đầu văo cũng giải thuật mây học lă một mẫu có chú giải e với e lă bộ của (í, S, optional, unordered, unequal)
í lă một dêy câc hănh động nguyín tố [p1, p2,…,pk] cấu thănh một mẫu không chú giải.
S lă câc segment, một segment lă một cặp (segmentType, [s1, s2,…, sn]. Trong đó si được gọi lă câc segment element. Nó cũng có thể lă một hănh động nguyín tố hoặc lă một segment.
optional (tuỳ chọn) : lă một ânh xạ bộ phận từ tập câc thănh phần (element) tới miền giâ trị boolean. Nếu optional (si) = true thì một mẫu từ xuất phât e bằng câch xoâ đi si cũng được chấp nhận.
unordered (Không thứ tự) : lă một ânh xạ bộ phận một cặp câc thănh phần trong cùng một segment miền giâ trị boolean. Nếu unordered (si, sj) lă đúng thì mẫu xuất phât từ e bằng câch đổi chỗ thứ tự xuất hiện của si vă sj cũng được chấp nhận
unequal (không bằng): lă ânh xạ bộ phận từ một cặp 2 tham số hănh động văo miền giâ trị boolean. Nếu unequal (p1, p2) lă đúng thì sẽ tồn tại một mẫu có thể chấp nhận được khâc tương tự e ngoại trừ giâ trị câc tham số mă p1 ≠ p2.
Ví dụ 2 định nghĩa một segment mức đỉnh của loại MakeMeal mă bao gồm có 2 đoạn con (PreparePasta, PrepareSauce) vă một hănh động nguyín tố (ServeDinner). Ânh xạ bộ phận ở câc phần dưới cho biết GetPasta lă tuỳ chọn (optional)vă
S/v thực hiện: Đỗ Thanh Vũ Lớp Công nghệ phần mềm – K44 – CNTT
Bâo câo đồ ân tốt nghiệp đại học Thầy giâo hướng dẫn: TS. Huỳnh Quyết Thắng
ServeDinner lă bắt buộc. Cũng tương tự như vậy, câc bước của loại PreparePasta vă Prepare-Sauce có thể xuất hiện theo một số thứ tự trong khi bước Boil của PreparePasta thì luôn thực hiện trước bước Cook-Pasta. Cuối cùng lă diễn giải trín cũng cho thấy rằng tham số water của Boil1 vă Boil4 lă luôn trùng khớp.
Trong một giao diện đồ hoạ, một phần của môi trường phât triển cho phĩp câc chuyín gia chú giải câc thông tin theo câch trực giâc hơn như đânh dấu một số node trín cđy
Ví dụ 2: Một mẫu có chú giải đơn giản trong khâi niệm hình thức.
Một giải thuật học mô hình công việc được đề xuất bao giờ cũng phải thoả mên một số yíu cầu để đảm bảo được tính chính xâc vă đầy đủ của giải thuật đó.
Tính chính xâc vă đầy đủ
Bđy giờ chúng ta sẽ mô tả câc đặc điểm đầy đủ vă chính xâc cho giải thuật học mô hình công việc. Nói một câch đơn giản, tính chính xâc vă đầy đủ lă điểm giao nhau của tập câc mô hình công việc mă thích hợp với câc mẫu đầu văo. Một giải thuật học mô hình công việc lă chính xâc vă đầy đủ nếu nó luôn tạo ra một mô hình chính xâc vă đầy đủ. Một mô hình công việc chính xâc vă đầy đủ có thể được mô tả một câch rõ răng hơn, mặc dù vẫn còn phi hình thức, dưới dạng một tập của câc dêy hănh động mă một mô hình (model) sẽ chấp nhận (hay một câch tương tự lă tạo ra).
Một mô hình công việc lă đúng đắn chỉ chấp nhận câc mẫu mă đê được chấp nhận bởi mọi mô hình công việc khâc mă phù hợp với câc đầu văo.
S/v thực hiện: Đỗ Thanh Vũ Lớp Công nghệ phần mềm – K44 – CNTT
Bâo câo đồ ân tốt nghiệp đại học Thầy giâo hướng dẫn: TS. Huỳnh Quyết Thắng
Một mô hình công việc đầy đủ lă chấp nhận tất cả câc mẫu mă đê được chấp nhận bởi mọi mô hình công việc mă thích hợp với đầu văo.
Ý tưởng năy yíu cầu có một số khâi niệm: P: lă tập câc hănh động nguyín tố.
ε: lă tập câc mẫu có thể được chứng minh.
M: lă tập câc mô hình công việc có thể. M có thể lă được sắp xếp một câch bộ phận để hoăn thănh công việc.
Đặt P* lă tập tất cả câc dêy xâc định của câc hănh động nguyín tố trong P. Với một số mẫu đê được chứng minh e, gọi í ∈P* lă một dêy câc hănh động chưa được
chú giải.
Với mọi sự kết hợp của mô hình công việc vă ngôn ngữ diễn giải, chúng ta giả thiết rằng tồn tại hăm accept (m, p*) mă trả về true nếu vă chỉ nếu p* lă một dêy hănh động mă m có thể tạo ra.
Một câch tương tự, hăm accept (m, e) trả lại true nếu vă chỉ nếu đê được chúng minh mẫu e có thể được tạo ra bởi m.
Một giải thuật học mô hình công việc A giữ một tập câc mẫu đê được minh chứng ε ⊂ε vă trả về một model m∈M. A lă đầy đủ vă đúng đắn nếu với mọi ε , Mô hình m = A (ε) lă đúng đắn vă đầy đủ như định nghĩa sau:
m lă thích hợp với ε nếu vă chỉ nếu ∀e∈ε, accept (m, e)
m lă một model thích hợp trước cho ε nếu m lă phù hợp ε vă ∀m’∈ M mă
m’ thích hợp với ε , m’ không xếp trước m. Gọi PCM (ε ) lă tập tất cả câc model thích hợp trước cho ε.
m lă đúng đắn trín ε nếu vă chỉ nếu với tất cả câc p*∈P, accept (m, p*)⇒ (∀m’∈ PCM (ε)), accept (m’, p*) m lă đầy đủ trín ε nếu vă chỉ nếu với tất cả câc p*∈P, accept (m, p*)⇐ (∀m’∈ PCM (ε )), accept (m’, p*)
S/v thực hiện: Đỗ Thanh Vũ Lớp Công nghệ phần mềm – K44 – CNTT
Bâo câo đồ ân tốt nghiệp đại học Thầy giâo hướng dẫn: TS. Huỳnh Quyết Thắng
Ví dụ 3 chỉ ra một mẫu của học mô hình công việc. Mô hình được học chỉ ra một lợi ích của model phđn cấp: nó chấp nhận nhiều trình tự hănh động mă không được nhìn thấy như [a (1); e (2); g (3); h (3); d (1; 2)]. Mô hình năy lă đầy đủ, đúng đắn khi câc mô hình được sắp xếp theo thứ tự.
Ví dụ 4: Ví dụ về học mô hình công việc.
Nghiín cứu mô hình học mô hình công việc cho ta một câch tiếp cụ thể về hình thức thu nhận vă khắng định mô hình học lă chính xâc. Việc mô hình hoâ mô hình học được thực hiện trín cơ sở hình thức biểu diễn toân học của mô hình công việc, từ đó định nghĩa câc quan hệ, câc khâi niệm trín mô hình hình thức năy.
Tuy nhiín câc nội dung đê nghiín cứu chỉ cho ta một mô hình xđy dựng giải thuật học mă chưa níu cụ thể về một mô hình học năo. Việc thu nhận vă học lă một quâ trình phức tạp đặc biệt lă khi đânh giâ tính chính xâc của giải thuật học đó. Thông qua nội dung năy chương sau sẽ xđy dựng cụ thể một mô hình cho câc đặc tả công việc vă trình băy về câch thức lưu trữ câc tri thức đó trong một ví dụ cụ thể được xđy dựng mô phỏng.
S/v thực hiện: Đỗ Thanh Vũ Lớp Công nghệ phần mềm – K44 – CNTT
Bâo câo đồ ân tốt nghiệp đại học Thầy giâo hướng dẫn: TS. Huỳnh Quyết Thắng