Organization profile
Organization profile
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.