Logic nhận thức động
term_id: dynamic_epistemic_logic
Category: engineering_practice
Definition
Logic nhận thức động (DEL) mở rộng logic modal để mô hình hóa cách thức kiến thức tiến hóa khi các tác nhân nhận được thông tin mới. Nó cung cấp các công cụ để phân tích các hệ thống đa tác nhân nơi niềm tin thay đổi do các thông báo công khai.
Summary
Một khung hình thức để lập luận về những thay đổi trong trạng thái kiến thức của các tác nhân kết quả từ việc cập nhật thông tin hoặc sự kiện.
Key Concepts
- Cập nhật kiến thức
- Luồng thông tin
- Hệ thống đa tác nhân
- Sửa đổi niềm tin
Use Cases
- Kiểm tra các giao thức bảo mật
- Mô hình hóa giao tiếp trong đàn robot
- Phân tích các kịch thuyết trò chơi