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.

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