Is this not approaching how production rules/forward chaining works, or fluents in action logic? I think it is a nice system, but I am not sure if state machines are the right theoretical framework for it.