This paper combines the classical model of labeled transition systems with the epistemic model for reasoning about knowledge. The result is a unifying framework for modeling and analyzing multi-agent, knowledge-based, dynamic systems. On the modeling side, we propose a process algebraic, agent-oriented specification language that makes such a framework easy to use for practical purposes. On the verification side, we define a modal logic encompassing temporal and epistemic operators.

翻译：本文结合了经典的标记转移系统模型与用于知识推理的认知模型，构建了一个统一框架，用于建模和分析基于知识的多智能体动态系统。在建模方面，我们提出了一种进程代数式、面向智能体的规约语言，使该框架易于实际应用。在验证方面，我们定义了一种包含时序与认知算子的模态逻辑。