Update GUI Reasoner