EXAMINING AUTOMATIC CONTROL SYSTEMS THROUGH PROGRAMMABLE REASONING DEVICES