Thănh phần bín phải luật right-member

II. Hệ SảN XUấT OPS5

b. Thănh phần bín phải luật right-member

Phần bín trâi không trực tiếp lăm thay đổi giâ trị trong bộ nhớ lăm việc WM, mă chỉ khi câc thănh phần giâ trị của nó đê được so khớp phù hợp với câc sự kiện tồn tại trong WM, câc thănh phần của phần bín phải sẽ được thực hiện.

Phần bín phải luật có thể khởi tạo, xóa bỏ hay sửa đổi câc giâ trị dữ liệu trong WM. OPS5 có tất cả 15 hăm mô tả sự hoạt động của phần bín phải luật.

Người ta phđn biệt 5 kiểu hăm như sau :

1. Câc hăm liín quan đến bộ nhớ lăm việc WM, lăm thay đổi cơ sở sự kiệnfb:

make Khởi tạo câc giâ trị mới văo WM.

modify Sửa đổi câc giâ trị mă tồn tại trong WM.

remove Xóa bỏ câc giâ trị vă câc thănh phần trong WM.

2. Câc hăm thao tâc văo-ra vă truy cập tệp :

write Nhập dữ liệu lă một chuỗi ký tự vă/hoặc một biến.

accept Nhập văo một “từ” dữ liệu lă một số hoặc lă một ký hiệu.

default Tạo đường dẫn văo-ra

(hầu hết câc shell OPS5 tự động mặc định thiết bị văo-ra).

Openline Mở vă gân một tín cho tệp dữ liệu để tham chiếu sau đó.

Closefile Đóng một tệp đê mở.

3. Câc hăm tính toân số học, liín kết biến - giâ trị vă gọi hăm ngoại vi :

compute Thực hiện câc phĩp toân số học.

genatom Tạo một phần tử hay một ký hiệu mới.

litval Trả về giâ trị của một thuộc tính trong WM.

bind Gân giâ trị cho biến.

cbind Gân một giâ trị trong WM cho một biến.

substr Trả về một chuỗi (xđu) con.

call Gọi một chương trình con từ bín ngoăi văo shell OPS5.

4. Điều khiển mô tơ suy diễn :

halt Dừng mây suy diễn vă dừng chương trình.

5. Tạo câc luật mới :

build Tạo một luật mới trong chương trình.

II.2.4. Cơ sở sự kiện (fb)

Mỗi phần tử của fb lă một vec tơ gồm 127thănh phần, mỗi thănh phần chỉ có thể nhận một giâ trị nguyín tử (số hoặc ký hiệu). Thănh phần đầu tiín nhất thiết phải lă tín của một lớp đối tượng.

Trong giai đoạn khai bâo, OPS5 gân cho mỗi thuộc tính một giâ trị lă một số nguyín từ

2..127với vai trò lăchỉ số(index) để được tham chiếu đến (bởi lệnh vĩ mô$litbind) mă không thay đổi được. Giâ trị năy có tính toăn cục (global) vă không thuộc về một lớp năo. Khi một thuộc tính được khai bâo trong nhiều lớp sẽ tương ứng với một chỉ số duy nhất chung cho tất cả câc lớp năy. Thuật toân gân phải thõa mên câc điều kiện sau :

 Một thuộc tính vectơ có chỉ số lớn nhất trong tất cả câc lớp chứa nó : giả sửjlă giâ trị thuộc tính vectơ, thì câc thănh phầnj,j+1, ...,127sẽ tương ứng với câc giâ trị của thuộc tính vectơ.

 Cùng một lớp, câc thuộc tính được gân câc giâ trị phđn biệt.

Câc thănh phần của một sự kiện mặc nhiín bằng nil trừ thănh phần đầu tiín lă tín của lớp, lă những thuộc tính một câch tường minh được gân giâ trị khi tạo mới hay thay đổi một sự kiện. Giâ trị của một thuộc tính nhận được bằng câch đânh chỉ số (indexation) lín vectơ tương ứng với sự kiện. Ký tự  lă một ký hiệu đânh chỉ số. Sau lă một số nguyín trong khoảng từ 2 đến 127, hay lă một tín thuộc tính kết hợp với nó một câch trực tiếp. Nếuvắng mặt , OPS5 xem như chỉ số tương ứng năy được tăng lín một (increment) để truy cập đến thănh phần tiếp theo. Chẳng hạn ba điều kiện sau đđy :

( toolname <tool-name>size <tool-size> ) ( tool3 <tool-name>4 <tool-size> ) ( toolname <tool-name> <tool-size> )

lă tương đương, nếu câc thuộc tính namevăsizeđược gân câc giâ trị nguyín lă 3vă4tương ứng. Nếu thănh phần thứ hai không được gân (nil) , thì ta nhận được điều kiện tương đương khâc như sau :

110 Hệ chuyên gia

( tool nil <tool-name> <tool-size> )

Khi căi đặt một hệ chuyín gia, người ta thường gặp những bất lợi liín quan đến tính hiệu quả của một cơ sở sự kiệnfb, chẳng hạn :

 Câc sự kiện lă mộtdanh sâch phẳng(plate list) không có cấu trúc.

 Câc biến chỉ có thể được gân giâ trị lă nguyín tử (hay lă câc sự kiện đầy đủ nếu đó lă tín của một điều kiện). Người ta phải sử dụng nhiều biến để thu nhận nhiều giâ trị gân cho một thuộc tính vectơ.

 Tính toăn cục của câc thuộc tính : sự nhầm lẫn câc thuộc tính giữa câc lớp lă một sai sót nguy hiểm vì OPS5 không cảnh bâo gì. Để trânh sai sót, câc thuộc tính của câc lớp cần được đặt tín phđn biệt. Câc tín thuộc tính năy sẽ giúp tiếp cận đến câc thănh phần của câc sự kiện một câch tường minh. Chú ý nhớ sử dụng dấu  để tín thuộc tính (đứng ngay sau dấu năy) lấy giâ trị lă phần tử tiếp theo tín thuộc tính.

Cơ sở sự kiện được khởi động bởi một dêy câc lệnhmake, chẳng hạn:

( make toolname englishkeyposition rack-Asize 21 ) ( make toolname pipekeyposition cupboard hook- 45 )

( make toolname crowbarsposition settled localcoordinate 124 66 )

Chú ý rằng câc thuộc tính vă câc thănh phần thuộc tính vectơ của một lớp không phải đê được định nghĩa hết cho mỗi sự kiện.

Mỗi sự kiện của fbđược lưu giữ thời điểm tạo ra nhờ một bộ đếm khởi động bắt đầu từ giâ trị 1 vă tăng lín 1 mỗi lần một sự kiện mới được tạo ra, hay có sự thay đổi sự kiện. Như vậy, mỗi sự kiện được đặt tương ứng với một số thứ tự vă người sử dụng có thể chỉ định nó. Chẳng hạn, lệnh :

(remove 1 3)

loại bỏ câc sự kiện1vă3củafb. Lệnh(wm)cho phĩp xem nội dung củafb.

II.2.5. Bộ nhớ lăm việc

Bộ nhớ lăm việc WM lă nơi lưu trữ câc giâ trị sự kiện. Mỗi sự kiện trong WM được gọi lă một phần tử nhớ vận hănh (working memory element). Bộ nhớ lăm việc được truy cập vă hoạt động với những khả năng như sau :

 Người sử dụng có thể lưu trữ câc phần tử nhớ vận hănh trong suốt quâ trình soạn thảo chương trình OPS5.

 Người sử dụng có thể thím, xóa bỏ hoặc sửa đổi câc sự kiện của WM trong khi chương trình vẫn đang thực hiện.

 Mây suy diễn tiến hănh so khớp câc thănh phần bín trâi luật đang xĩt với câc phần tử nhớ vận hănh.

 Trong quâ trìnhgỡ rối(debugging), người sử dụng có thể xem nội dung của WM nhờ hệ thống tương tâc của OPS5 (interactive shell), lệnh(wm).