We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: Do What You Know: Coupling Knowledge with Action in Discrete-Event Systems

Authors: Richard Ean (1), Karen Rudie (1) ((1) Queen's University, Kingston, Canada)
Abstract: 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.
Subjects: Artificial Intelligence (cs.AI); Systems and Control (eess.SY)
Cite as: arXiv:2108.02000 [cs.AI]
  (or arXiv:2108.02000v2 [cs.AI] for this version)

Submission history

From: Richard Ean [view email]
[v1] Sun, 25 Jul 2021 20:19:30 GMT (134kb,D)
[v2] Fri, 10 Dec 2021 02:51:09 GMT (138kb,D)

Link back to: arXiv, form interface, contact.