Los Chatbots son agentes inteligentes con los que los usuarios pueden mantener conversaciones, ya sea por texto o por voz. Desde hace unos años, los chatbots se han vuelto populares en el sector comercial, sobre todo en empresas enfocadas en el servicio al cliente. A pesar del creciente interés por su uso en la educación, información clara sobre cómo diseñar chatbots para fungir como tutores inteligentes ha sido escasa. Este trabajo presenta una metodología formal para desarrollar e implementar un chatbot como tutor inteligente en cursos de nivel universitario. La metodología está basada en predicados de lógica proposicional de primer orden que pueden ser usados en diferentes herramientas comerciales, y se enfoca en dos fases: abstracción y modelado del conocimiento, y diseño del flujo de la conversación. Como resultado principal de esta investigación, proponemos definiciones matemáticas para modelar elementos de la conversación, procesos de razonamiento y resolución de conflictos, con el fin de formalizar la metodología y volverla apta para su implementación en cualquier servicio de conversación en la nube.