动态认知逻辑
term_id: dynamic_epistemic_logic
Category: engineering_practice
Definition
动态认知逻辑（DEL）扩展了模态逻辑，用于建模智能体在接收新信息时知识如何演变。它提供了分析多智能体系统的工具，在这些系统中，信念因公开公告或其他事件而改变。
Summary
一种用于推理由信息更新或事件引起的智能体知识状态变化的形式框架。
Key Concepts
- 知识更新
- 信息流
- 多智能体系统
- 信念修正
Use Cases
- 验证安全协议
- 模拟机器人集群中的通信
- 分析博弈论场景