2021/07/25 by Ritsuka, K., Karen Rudie, Rudie, Karen
Computer Science · #Artificial Intelligence (cs.AI) #Distributed systems and fault tolerance #FOS: Computer and information sciences #FOS: Electrical engineering #Logic, Reasoning, and Knowledge #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
paper · pdf · doi:10.48550/arxiv.2108.02000
openalex publication_date 2021/07/25 · openalex created_date 2022/07/25 · openalex updated_date 2026/07/28
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.