AxiomEngine
Generación de planes de estudio con prerrequisitos derivados de un grafo y orden de salida determinista.
- Interfaz
- API HTTP
- Lenguaje
- Go
- Llamadas tipadas al modelo
- BAML
- Proveedor de modelos
- AWS Bedrock
Simulación ilustrativa con datos de ejemplo fijos. No se llama a ningún modelo ni servicio en vivo.
Problema
Un plan de estudio necesita un orden de prerrequisitos, no solo una lista de temas. AxiomEngine combina dificultades declaradas en una evaluación con un grafo curricular: conceptos unidos por relaciones tipadas. La preferencia VARK declarada —visual, auditiva, lectura/escritura o kinestésica— es un dato de entrada, no una prueba de eficacia educativa.
Cómo funciona
El servicio valida la solicitud, extrae contexto del grafo y planifica por cada tema con dificultades en paralelo. Después combina los resultados y vuelve a usar el grafo para reemplazar prerrequisitos y asignar prioridades.
Devuelve elementos ordenados; los recursos y las explicaciones no se validan.
Todos los componentes
- Validar solicitud
Valida identificadores, preferencia y temas conocidos antes de llamar al modelo.
- Extraer subgrafo
Lee un entorno de profundidad 2 y el orden de prerrequisitos del grafo.
- Grafo de conceptos
El grafo en memoria aporta relaciones depends_on e is_a a la extracción y la validación.
- Tema 1
Genera un plan por tema con tiempo límite y circuito compartido.
- Tema n
Las llamadas se ejecutan en paralelo y escriben en posiciones asignadas.
- Combinar
Deduplica en el orden solicitado; si falla un tema, falla la solicitud.
- Validar con el grafo
Descarta desconocidos, reemplaza prerrequisitos y asigna prioridades consecutivas.
- Plan de estudio
Devuelve elementos ordenados; los recursos y las explicaciones no se validan.
Validar la solicitud
El servicio comprueba identificadores, preferencia VARK y temas con dificultades. Limpia y elimina temas duplicados, y rechaza conceptos desconocidos antes de llamar al modelo.
Validar antes de planificar
- Solicitud
- Comprobado
- Aceptado
Más detalle
- VARK: visual, auditiva, lectura/escritura, práctica
- Identificadores seguros: letras, dígitos, punto, guion bajo, dos puntos o guion; hasta 128 caracteres
- Recortar espacios y eliminar temas duplicados
- De 1 a 10 temas únicos con el límite predeterminado
- Todos los temas existen en el grafo
Se comprueban la preferencia de aprendizaje, los identificadores y los temas; los errores 400/422 detienen la solicitud antes de llamar al modelo.
Extraer el contexto cercano del grafo
Un recorrido en anchura sigue las relaciones en ambas direcciones. La generación del plan usa profundidad dos y elimina las tuplas duplicadas.
Dos saltos de contexto
- Profundidad 0
- Profundidad 1
- Profundidad 2
Más detalle
Polimorfismo
Herencia / Genéricos / Patrones de diseño
Clases / Interfaces
La búsqueda en anchura recorre ambas direcciones hasta dos saltos y reúne las relaciones del contexto de planificación.
Construir cadenas de prerrequisitos
Un recorrido en profundidad ordena las dependencias antes del concepto objetivo. Cada llamada por tema recibe esta cadena derivada del grafo junto con el contexto local.
Primero, las bases más profundas
- Variables
- Objetos
- Clases
- Herencia
Más detalle
DFS en postorden
Después, el tema objetivo: Polimorfismo
El recorrido en profundidad en postorden sitúa cuatro prerrequisitos antes de Polimorfismo y excluye el tema de su propia cadena.
Planificar temas en paralelo
Cada tema con dificultades recibe una llamada al modelo con tiempo límite y un interruptor de circuito compartido. Los resultados se guardan en posiciones asignadas, no por orden de llegada.
Trabajo paralelo, protección compartida
- Solicitud
- Patrones de diseño
- Ordenamiento por mezcla
- Disyuntor compartido
- Detenido
Más detalle
Cada tema pendiente tiene una llamada paralela con límite de tiempo y disyuntor compartido; cualquier fallo detiene toda la solicitud.
Combinar en el orden de la solicitud
El servicio lee las posiciones en el orden solicitado y conserva el primer elemento de cada tema. Terminar antes no adelanta los elementos de una llamada.
Conservar el orden, quitar repeticiones
- Orden de llegada: 2
- Orden de llegada: 1
- Orden de combinación
Más detalle
Orden de llegada: 2 → 1
Orden de combinación: 1 → 2
- 1Clases
- 2Objetos
- 3Funciones
Cada resultado conserva su posición de solicitud y se combina en ese orden, manteniendo la primera aparición de cada tema.
Validar el plan contra el grafo
Se descartan los temas de salida desconocidos. Las cadenas del grafo reemplazan a las del modelo y un ordenamiento estable asigna prioridades consecutivas.
Validar el borrador con el grafo
- Borrador del modelo
- Grafo
- Plan
Más detalle
Borrador del modelo
MonadsTema desconocido
Plan
- 1Variables
- 2Objetos
- 3Clases
- 4Herencia
- 5Polimorfismo
Cadena sustituida: Variables → Objetos → Clases → Herencia
Se descartan temas desconocidos, se sustituyen las cadenas recibidas y se asignan prioridades consecutivas según la primera aparición.
Detalles
Grafo de conceptos
El grafo conecta conceptos mediante relaciones de dependencia y categoría. Las cadenas de prerrequisitos usan un recorrido en profundidad; el contexto local se obtiene con un recorrido en amplitud en ambas direcciones.
Simulación ilustrativa con datos de ejemplo fijos. No se llama a ningún modelo ni servicio en vivo.
Planificación en paralelo
Cada llamada guarda sus resultados en una posición asignada. La combinación sigue el orden solicitado: una respuesta más rápida no obtiene precedencia solo por terminar antes. Si falla una llamada, falla toda la solicitud.
Simulación ilustrativa con datos de ejemplo fijos. No se llama a ningún modelo ni servicio en vivo.
Validación con el grafo
Se descartan los temas desconocidos de la salida. El grafo reemplaza los prerrequisitos del borrador, establece el orden de los temas y asigna prioridades consecutivas.
Simulación ilustrativa con datos de ejemplo fijos. No se llama a ningún modelo ni servicio en vivo.
Decisiones y compromisos
Dejar los prerrequisitos en manos del grafo
Las cadenas del modelo se reemplazan, no solo se comprueban. Las prioridades siguen los rangos derivados del grafo tras un ordenamiento estable.
El grafo decide la estructura
- Borrador del modelo
- Grafo
- Plan
Más detalle
El grafo corrige los temas, las cadenas y las prioridades del borrador; los textos y recursos del modelo quedan sin validar.
Separar concurrencia y orden
Las posiciones indexadas conservan el orden de la solicitud aunque las llamadas terminen en momentos distintos. La combinación conserva el primer elemento de cada tema.
La llegada no determina la salida
- Orden de llegada
- Posición
- Mismo orden de combinación
Más detalle
Llegada A
Llegada B
Mismo orden de combinación
Las posiciones de cada tema conservan el orden de combinación de la solicitud, sin importar qué llamada termine primero.
Acotar los fallos del proveedor
Las llamadas comparten un interruptor que se abre tras tres fallos consecutivos. Permanece abierto con un tiempo límite de 15 segundos; cada tema también tiene un límite de llamada.
Rechazar rápido si el servicio falla
- Cerrado
- Abierto
- Semiabierto
Más detalle
Costo: algunas solicitudes se rechazan rápidamente
Tres fallos consecutivos abren el disyuntor y las pruebas de recuperación intercambian disponibilidad inmediata por rechazo rápido.
Rechazar datos de grafo mal formados
El cargador rechaza campos JSON desconocidos, valores vacíos, relaciones no admitidas y bucles de un nodo. Limpia los campos y elimina tuplas duplicadas antes de construir el grafo.
Solo entran relaciones válidas
- Grafo de entrada
- Comprobado
- Relación admitida
Más detalle
- Campos desconocidos
- Campos vacíos
- Relación no admitida
- Bucle sobre sí mismo
Los campos desconocidos o vacíos, las relaciones no admitidas y los bucles sobre sí mismos rechazan el grafo; los duplicados exactos se eliminan.
Fallar en lugar de devolver un plan parcial
Un fallo en cualquier tema hace fallar toda la solicitud. Los fragmentos correctos de otras llamadas no se devuelven como un plan parcial.
El plan se devuelve completo o no se devuelve
- Falla otro tema
- Detenido
- Sin plan parcial
Más detalle
Un error del servicio externo, un circuito abierto o un tiempo agotado hacen fallar la solicitud en lugar de devolver un plan parcial.
Limitaciones
Los recursos y las explicaciones no se validan
Go no valida las URL, los títulos o tipos de recursos ni el texto de las explicaciones. La validación del grafo corrige la estructura, no la calidad de ese contenido generado.
Ordenar no es validar el contenido
- Borrador del modelo
- Comprobado
- Sin comprobar
Más detalle
Temas, cadenas y orden
- Título del recurso
- Enlace del recurso
- Tipo de recurso
- Explicación
El grafo no valida títulos, enlaces, tipos de recursos ni explicaciones; por eso, un orden correcto no garantiza la calidad.
El cargador no comprueba ciclos
Se rechazan tuplas mal formadas y bucles de un nodo, pero no se detectan ciclos entre varios nodos. Un conjunto de visitados evita que el recorrido se repita indefinidamente.
Terminar no implica validar los ciclos
- Tema A
- Tema B
- Tema C
Más detalle
Ciclo hipotético: no es el grafo incluido
- 1Tema A
- 2Tema B
- 3Tema C
El orden de prerrequisitos no está garantizado
El conjunto de visitados permite terminar incluso con un currículo cíclico, pero no establece un orden válido de prerrequisitos.
El grafo inicial es pequeño
El conjunto inicial contiene 20 relaciones de un currículo de informática. Es un ejemplo acotado, no un currículo completo.
Un ejemplo pequeño de currículo
- Currículo incluido
- Grafo proporcionado por el operador
Más detalle
Currículo incluido
El ejemplo incluido contiene 20 relaciones de informática y puede sustituirse por un grafo del operador para otro currículo.
No se afirman resultados de aprendizaje
No se comprueba la integridad ni la calidad educativa de los planes. VARK es una preferencia declarada y la etiqueta predeterminada «mastered» del grafo cognitivo no demuestra dominio.
Un orden válido no mide el aprendizaje
- Orden de estudio
- Resultados de aprendizaje
Más detalle
- Presencia en el grafo
- Cadenas de prerrequisitos
- Orden de los temas
- Mejora del aprendizaje
- Eficacia de la enseñanza
- Calidad del plan
Validar temas y ordenar prerrequisitos no mide si el estudiante mejora ni si el plan enseña de manera eficaz.