Mô hình tham chiếu nội dung

Một phần của tài liệu Phát triển phần mềm hướng Agent (Trang 91 - 92)

Để có thể thực hiện tốt việc kiểm tra ngữ nghĩa của biểu thức nội dung, JADE cần phân loại tất cả các thành phần liên quan đến miền theo các đặc điểm ngữ nghĩa chung của chúng. Việc phân loại này bắt nguồn từ ngôn ngữ ACL của FIPA. Ngôn ngữ này đòi hỏi nội dung của mỗi thông điệp ACLMessage phải có ngữ nghĩa tuân theo chức năng thực hiện (performative) của nó.

Vị từ (Predicate): là những biểu thức diễn đạt trạng thái của sự vật hiện tượng và thường trả về giá trị true hoặc false. Chúng chủ yếu được sử dụng trong nội dung của các thông điệp dạng INFORM hoặc QUERY-IF, và không có ý nghĩa nếu sử dụng trong thông điệp REQUEST. Ví dụ, vị từ Works-for diễn đạt trạng thái một người có tên là John đang làm việc cho công ty có tên là TILAB

(Works-for (Person :name John) (Company :name TILAB))

Thuật ngữ (Term): là những biểu thức xác định những thực thể tồn tại trong thế giới thực mà agent nói chuyện và suy luận về chúng. Thuật ngữ được phân thành hai loại:

Khái niệm (Concept): là những biểu thức xác định những thực thể có cấu trúc phức tạp được định nghĩa trong các thuộc tính (slot). Ví dụ, khái niệm Person xác định một thực thể có các đặc điểm là: tên của người đó là John và tuổi của người đó là 33.

Person :name John :age 33)

Chúng thường không có ý nghĩa nếu sử dụng trực tiếp làm nội dung của thông điệp ACL mà thường được kết hợp bên trong vị từ hoặc khái niệm khác.

Ví dụ, khái niệm Person: (Person :name “J.R.R. Tolkjien”) được kết hợp bên trong khái niệm Book trong biểu thức sau:

(Book :title “The Lord of the rings” :author (Person :name “J.R.R. Tolkjien”)

Hành động của agent (Agent action): là những khái niệm chỉ hành động có thể được thực hiện bởi một số agent. Chúng là nội dung của những thông điệp có kiểu REQUEST. • Primitive: là những biểu thức xác định các thực thể nguyên tử như string, integer… • Aggregate: là những biểu thức xác định các thực thể là nhóm các thực thể khác. Ví dụ,

đây là một thực thể được tạo thành từ việc nhóm hai thực thể Person khác:

(sequence (Person :name John) (Person :name Bill)

Identifying Referential Expressions (IRE): là những biểu thức xác định các thực thể làm cho vị từ của nó đúng. Ví dụ, IRE sau có ý nghĩa là tìm tất cả những người đang làm việc cho công ty có tên TILAB:

(all ?x (Works-for ?x (Company :name TILAB))

Variable: là những biểu thức xác định một phần tử generic mà không biết trước được. Ngôn ngữ nội dung biểu diễn và phân biệt giữa tất cả các kiểu phần tử trên, còn Ontology là một tập các lược đồ định nghĩa cấu trúc của predicate, agent action và concept.

Trong mô hình tham chiếu nội dung sau, hai kiểu phần tử nữa được giới thiệu.

ContentElementList là một danh sách các phần tử thuộc ba kiểu: predicate, agent acion và

IRE. ContentElement là một kiểu cha được kế thừa bởi các kiểu trên.

Một phần của tài liệu Phát triển phần mềm hướng Agent (Trang 91 - 92)