Formal specification of agent behaviour through environment scenarios

Formal Specification of Agent Behaviour through Environment Scenarios

Tác giả: Hong Zhu

Lĩnh vực: Khoa học Máy tính và Toán học Ứng dụng

Nội dung tài liệu:

Bài báo này giới thiệu một phương pháp hình thức để đặc tả các kịch bản trong hệ thống dựa trên tác tử. Các tác tử tự hành và hợp tác có thể được đặc tả hình thức bằng một tập hợp các quy tắc mô tả hoạt động của chúng trong các kịch bản khác nhau. Phương pháp này được minh họa bằng việc đặc tả hình thức tác tử trợ lý cá nhân Maxims của Maes. Bài báo cũng chỉ ra rằng hành vi xã hội của tác tử, chẳng hạn như hành động lời nói, cũng có thể được đặc tả hình thức dưới dạng các quy tắc phản ứng kịch bản. Ngôn ngữ đặc tả hình thức SLAB đang được thiết kế để tạo điều kiện thuận lợi cho các đặc tả hình thức và phân tích hệ thống đa tác tử, tập trung vào các tiện ích ngôn ngữ và lý do đằng sau các quyết định thiết kế. Các ví dụ minh họa việc sử dụng các tiện ích này trong đặc tả hành vi tự hành và hợp tác của các hệ thống đa tác tử.

Mục lục chi tiết:

• Abstract
• 1 Introduction
• 2 SLAB – A Formal Specification Language of Agent Behaviour
• 2.1 Agents as Encapsulations of Behaviour
• 2.2 Classes of Agents as Birds of a Feather
• 2.3 Scenarios as Patterns of Behaviours
• 2.4 Specification of Agent Behaviour
• 3 Examples
• 3.1 The Maxims System
• 3.2 Speech Act and Collaborative Behaviour
• 4 Discussion
• References