做你所知道的：在离散事件系统中将知识与行动相结合
Do What You Know: Coupling Knowledge with Action in Discrete-Event Systems
摘要：
提出了一种具有非二进制控制的分散离散事件系统的认知模型。这个框架结合了现有的工作条件控制决策与现有的工作正式推理知识的离散事件系统。在模型中提出的新颖之处是，问题的可解决性的必要和充分条件封装主管必须采取的行动。知识和行动之间的这种直接耦合--以模仿自然语言的形式--使得在问题条件失败时更容易确定应如何修改问题需求。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
