Recent research shows that including logical reasoning into dialogue management could be of enormous benefit for the capabilities of the system. However logical reasoning is to some extent limited in its possibilities to infer or to find a conclusion given certain premises. Furthermore reasoning systems heavily rely on backtracking algorithms which is a great shortcoming concerning performance aspects.

In order to improve the performance as well as the reasoning capabilities of the dialogue manager we propose an architecture that is based on logical reasoning but uses a constraint solving mechanism for enlarging the logical capabilities of the dialogue manager.