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