Es können auch Reasoner im Sinne von automatischer Beweisführung/Schlussfolgerung gemeint sein, entsprechend http://en.wikipedia.org/wiki/Reasoner.