Research Incubator: knowledge representation

1. Objetivos del semillero ● Estudiar las técnicas de representación semántica del lenguaje natural, como lo son la lógica proposicional, de primer orden y teoría de tipos, el cálculo lambda y las gramáticas lógicas. ● Estudiar las técnicas de razonamiento automático, como los encadenamientos hacia adelante y hacia atrás y los SAT-solvers. ● Estudiar las técnicas de semantic parsing, para tomar un texto y encontrar su representación semántica de manera automática. ● Elaborar una herramienta de consulta y solución de preguntas basada en representación semántica y razonamiento automático. 2. Descripción del semillero Somos un equipo conformado por estudiantes y profesores interesados en el estudio de diferentes técnicas de representación del conocimiento y la creación de herramientas para tareas de búsqueda y análisis de información en lenguaje natural. 3. Líneas de Investigación del Semillero ● Representaciones semánticas ● Procesamiento del lenguaje natural ● Razonamiento y respuesta de preguntas 4. Actividades propuestas para el próximo semestre (2022-I) Desarrollaremos las siguientes actividades:  Reuniones periódicas para estudiar algunas técnicas de representación del conocimiento.  Sesiones periódicas de programación colaborativa de herramientas de representación semántica del lenguaje y de resolución de preguntas. 5. Requisitos para participar en las actividades del próximo semestre (Si los hay) Lógica para ciencias de la computación 6. Tipo de semillero EICT Maker: el propósito del semillero es la implementación de una herramienta de software para responder preguntas en lenguaje natural.