Abstract:
This thesis presents the problem in current chatbots and our approach to overcome parts of it. The problem is lack of reasoning. We investigated the method popularly used in current chatbot development and pointed out the problem therein. We proved our statement by testing with many award-winning chatbots. Then, we presented our approach for doing deductive reasoning and introduced constraint checking mechanism using logic programming and implemented using SWI-Prolog. We explained the structure of our prototype and limitations. Finally, we concluded by showing the results from our prototype which can be compared to other chatbots we had tested.