An epistemic model for decentralized discrete-event systems with non-binary control is presented. This framework combines existing work on conditional control decisions with existing work on formal reasoning about knowledge in discrete-event systems. The novelty in the model presented is that the necessary and sufficient conditions for problem solvability encapsulate the actions that supervisors must take. This direct coupling between knowledge and action -- in a formalism that mimics natural language -- makes it easier, when the problem conditions fail, to determine how the problem requirements should be revised.

翻译：介绍了分散分散的、非二元控制的离散活动系统的缩写模型。这一框架将有条件控制决定的现有工作与关于离散活动系统知识的正式推理的现有工作结合起来。所介绍的模型的新颖之处是,问题溶解的必要和充分条件包含了主管必须采取的行动。知识和行动之间的这种直接结合 -- -- 以模仿自然语言的形式主义 -- -- 使得在问题出现失败时,更容易确定如何修订问题要求。