Condiciones del servicio

Condiciones del Servicio de AALIE

Estas condiciones explican cómo puede utilizarse AALIE, qué alcance tienen sus resultados y cuáles son las responsabilidades asociadas al uso de la Plataforma.

AALIE es un proyecto educativo para aprender, enseñar y practicar análisis y diseño de algoritmos. El Servicio puede incluir un analizador formal, contenido pedagógico, quizzes, exportaciones y funciones opcionales apoyadas por proveedores externos. Al acceder o utilizar AALIE, aceptas estas condiciones en la medida permitida por la legislación aplicable.

Última actualización: 19 de agosto de 2026 · Versión 1.0

Resumen rápido

  1. 1

    AALIE es una herramienta educativa

    Sus resultados ayudan a estudiar y explorar algoritmos, pero no sustituyen la revisión matemática, académica o profesional que corresponda.

  2. 2

    La cobertura del análisis tiene límites

    El sistema puede abstenerse de concluir, mostrar advertencias o producir resultados parciales cuando el caso excede la gramática, los métodos o la evidencia disponible.

  3. 3

    La IA es un apoyo opcional

    Las respuestas generadas por modelos de lenguaje pueden ser imprecisas y deben verificarse. El asistente no reemplaza el motor determinista de AALIE.

  4. 4

    Debes controlar el contenido que compartes

    Solo debes introducir contenido que tengas derecho a procesar y nunca incluir secretos, credenciales, información confidencial o datos personales innecesarios.

  5. 5

    El uso debe ser lícito y responsable

    No está permitido comprometer la seguridad, evadir límites, acceder a datos ajenos ni utilizar la Plataforma para perjudicar a otras personas o sistemas.

1. Naturaleza y finalidad de AALIE

AALIE, sigla de Algorithm Analysis Learning Interactive Environment, es una plataforma de software de naturaleza principalmente educativa y académica. Su finalidad es apoyar el aprendizaje, la enseñanza, la exploración y el análisis de conceptos relacionados con algoritmos y complejidad computacional.

Según la versión disponible, el Servicio puede incluir edición y procesamiento de pseudocódigo, análisis iterativo y recursivo, recurrencias dentro de la cobertura del sistema, trazas, árboles de recursión, cálculos de costos, ejemplos, cursos, quizzes, exportaciones, funciones auxiliares de IA y carga de archivos compatibles.

2. Carácter educativo de los resultados

Los resultados producidos por AALIE tienen una finalidad educativa y de apoyo. Aunque el motor utiliza reglas diseñadas para producir resultados reproducibles dentro de su cobertura, ningún resultado debe considerarse infalible.

El análisis puede ser incorrecto, incompleto, parcial o no aplicable cuando el pseudocódigo, las relaciones entre variables, la recurrencia, las condiciones de terminación, el modelo probabilístico o la complejidad simbólica excedan lo que el sistema puede interpretar con seguridad. Debes revisar cada resultado antes de utilizarlo en actividades académicas, evaluaciones, publicaciones, investigaciones, trabajos profesionales o decisiones de cualquier otra naturaleza.

3. Heurísticas y análisis no concluyentes

Algunas funciones utilizan heurísticas conservadoras. Cuando AALIE no dispone de evidencia suficiente para alcanzar una conclusión segura, puede producir un resultado parcial, indicar que una construcción no está soportada, mostrar una advertencia o abstenerse de inferir una complejidad concreta.

La ausencia de una conclusión no significa que el algoritmo carezca de una complejidad determinable. Puede significar que el caso excede la cobertura, los supuestos o los límites técnicos de AALIE.

4. Trazas de ejecución

Las trazas, los árboles, los recorridos, los diagramas y las demás representaciones de ejecución tienen una finalidad pedagógica.

Una ejecución sobre valores concretos no constituye una demostración matemática general ni garantiza el comportamiento para todos los tamaños de entrada. Puede estar limitada por profundidad, pasos, recursos u otras medidas de seguridad. Las estimaciones de tiempo y costos relativos no equivalen necesariamente a benchmarks de hardware.

5. Exportaciones y documentos generados

AALIE puede generar reportes y documentos derivados de un análisis. Estos pueden incluir pseudocódigo, resultados, métodos utilizados, recurrencias, trazas, tablas, advertencias, diagramas e identificadores técnicos.

Una exportación representa el estado del análisis en el momento en que se genera. No constituye certificación, validación académica, revisión por pares ni aprobación institucional. Las advertencias forman parte integral del reporte y no deben eliminarse para presentar el resultado como una conclusión más sólida.

6. PDF, LaTeX y dependencias técnicas

Algunos formatos dependen de componentes técnicos adicionales. La generación de PDF puede requerir herramientas LaTeX disponibles en la infraestructura donde se ejecuta AALIE.

Una exportación puede fallar temporalmente, un formato puede estar disponible mientras otro no lo está, la apariencia puede variar o ciertos elementos pueden requerir una transformación adicional. AALIE no garantiza la disponibilidad permanente de todos los formatos.

7. Asistencia mediante modelos de lenguaje

AALIE puede ofrecer funciones opcionales basadas en modelos de lenguaje o proveedores externos. Estas funciones son auxiliares y no constituyen la fuente de verdad del análisis determinista.

Las respuestas pueden contener errores, omisiones, explicaciones incompletas, afirmaciones imprecisas, código inválido o pseudocódigo incompatible. Debes verificarlas antes de utilizarlas. Su disponibilidad puede depender del proveedor, la conexión, el modelo, las cuotas, los límites, la latencia, las políticas, los cambios en las APIs y las credenciales válidas.

8. Servicios de terceros

AALIE puede interactuar con servicios de terceros para autenticación, modelos de lenguaje, infraestructura, alojamiento, distribución de software u otras funciones específicas.

El uso de esos servicios puede estar sujeto a sus propios términos, políticas y limitaciones. AALIE no controla su disponibilidad, continuidad, cambios técnicos ni funcionamiento interno. Una interrupción o modificación de un tercero puede afectar una función temporal o permanentemente.

9. Inicio de sesión con Google

AALIE permite iniciar sesión con Google para establecer una identidad dentro de la Plataforma y habilitar las funciones asociadas a una cuenta.

AALIE solicitará únicamente los datos y permisos necesarios para ese propósito, de acuerdo con la Política de Privacidad y la interfaz de autorización. Google no es responsable de AALIE, de sus resultados educativos ni del funcionamiento de la Plataforma. El usuario también debe cumplir las condiciones aplicables a su Cuenta de Google.

10. Acceso sin cuenta

Cuando la Plataforma lo permita, algunas funciones podrán utilizarse sin crear una cuenta ni iniciar sesión. El acceso anónimo puede estar sujeto a límites diferentes de los aplicables a usuarios autenticados.

AALIE puede aplicar controles para prevenir abusos, reducir automatizaciones maliciosas, proteger la disponibilidad, controlar recursos y mantener un uso equitativo. El acceso sin autenticación no crea un derecho permanente a utilizar una función sin límites.

11. Límites de uso

AALIE puede establecer límites para operaciones determinadas. Estos pueden depender del usuario, la autenticación, la operación, el consumo computacional, los recursos disponibles, los servicios externos o el comportamiento observado.

Las operaciones con distinto costo pueden tener límites diferentes. AALIE puede ajustarlos cuando sea necesario para mantener la estabilidad, la seguridad o la sostenibilidad del Servicio.

12. Cuentas de usuario

Cuando utilices una cuenta de AALIE, debes utilizar únicamente mecanismos de autenticación sobre los que tengas derecho legítimo de acceso.

No puedes utilizar cuentas ajenas, suplantar a otra persona, manipular sesiones, alterar tokens, obtener privilegios superiores, eludir controles de autorización ni acceder a datos de otros usuarios. AALIE puede invalidar sesiones o restringir el acceso por razones técnicas o de seguridad.

13. Roles y privilegios

AALIE puede distinguir entre usuarios normales y administrativos. Crear una cuenta no concede privilegios administrativos automáticamente.

Solo las personas autorizadas pueden ejercer funciones administrativas. Está prohibido alterar el propio rol, otorgarse privilegios, manipular solicitudes de permisos o acceder a endpoints administrativos sin autorización.

14. Uso permitido

Puedes utilizar AALIE para fines lícitos compatibles con su naturaleza educativa, como aprendizaje individual, enseñanza, demostraciones en clase, actividades académicas, experimentación, ejercicios, investigación y evaluación crítica de métodos de análisis.

También puedes generar materiales derivados de tus propios análisis, siempre que respetes estas condiciones, los derechos de terceros y las reglas académicas aplicables.

15. Usos prohibidos

No puedes utilizar AALIE para:

  • Comprometer la seguridad de la Plataforma o de otros sistemas.
  • Obtener acceso no autorizado a cuentas, datos, endpoints o componentes internos.
  • Realizar ataques, scraping abusivo o cargas automatizadas que degraden el Servicio.
  • Evadir límites, manipular sesiones o extraer secretos y credenciales.
  • Distribuir malware, explotar vulnerabilidades para perjudicar a terceros o interferir con la infraestructura.
  • Utilizar la Plataforma con fines contrarios a la ley.
  • Presentar deliberadamente un resultado como prueba matemática, certificación o conclusión institucional cuando AALIE no lo haya producido con ese alcance.

16. Contenido proporcionado por el usuario

Conservas los derechos que legalmente te correspondan sobre el pseudocódigo, los algoritmos, los textos, los archivos y cualquier otro contenido que introduzcas en AALIE.

Al utilizar una función que procese ese contenido, declaras que tienes los derechos o autorizaciones necesarios. No debes cargar material cuyo procesamiento infrinja derechos de autor, secretos empresariales, acuerdos de confidencialidad, derechos de terceros o la legislación aplicable.

Evita introducir contraseñas, API keys, tokens, secretos, información confidencial o datos personales innecesarios.

17. Procesamiento técnico del contenido

Para prestar el Servicio, AALIE puede procesar técnicamente el contenido que proporciones. Ese procesamiento puede incluir parseo, transformación, análisis, ejecución controlada, generación de trazas, construcción de snapshots y generación de reportes.

Cuando una función de IA requiera enviar información a un proveedor externo, ese tratamiento se describirá en la Política de Privacidad y en la interfaz correspondiente.

18. Propiedad intelectual de AALIE

Salvo que una licencia indique lo contrario, el software, la interfaz, la identidad visual, la documentación, los materiales originales, la organización del contenido y los demás elementos propios de AALIE están protegidos por las normas aplicables de propiedad intelectual.

El acceso público no implica una cesión de derechos. Los componentes publicados bajo licencias libres u open source se rigen por sus respectivas licencias, y las licencias de terceros continúan siendo aplicables.

19. Material institucional y signos distintivos

AALIE puede incluir nombres, logotipos, referencias académicas u otros elementos asociados con instituciones participantes o con el contexto del proyecto.

Su inclusión no concede derechos para reutilizar marcas, logotipos o signos institucionales fuera de los usos autorizados por sus titulares. Un reporte con elementos institucionales tampoco implica aprobación de su contenido por la institución correspondiente.

20. Quizzes y contenido educativo

Los quizzes, ejercicios, ejemplos y demás contenidos educativos tienen una finalidad de práctica y aprendizaje.

Salvo indicación expresa, no constituyen certificaciones, no representan calificaciones oficiales ni sustituyen evaluaciones institucionales. Pueden ser actualizados, corregidos, retirados o contener errores que se corrijan progresivamente. La selección adaptativa no constituye un diagnóstico pedagógico profesional.

21. Integridad académica

AALIE es una herramienta de apoyo al aprendizaje, no un mecanismo para evadir responsabilidades académicas.

Cada institución, docente o actividad puede establecer reglas sobre herramientas digitales o asistencia automatizada. Eres responsable de conocer y cumplir las reglas aplicables a tu curso, evaluación o investigación. Que AALIE permita realizar un análisis no significa que su uso esté permitido en cualquier contexto.

22. Investigación y estudios académicos

AALIE puede utilizarse en investigación académica o evaluación educativa. La participación en un estudio debe distinguirse del uso ordinario de la Plataforma.

Visitar AALIE, crear una cuenta, iniciar sesión con Google o utilizar el analizador no constituye por sí mismo consentimiento para participar en una investigación. Todo estudio que requiera participación, datos adicionales o consentimiento específico deberá explicarlo mediante los mecanismos correspondientes.

23. Datos experimentales y pseudonimización

Cuando AALIE se utilice en un estudio autorizado, los datos experimentales se tratarán conforme a la información entregada a los participantes, la Política de Privacidad y las reglas aplicables.

La pseudonimización o agregación reduce la identificación directa, pero no convierte automáticamente cualquier información en anónima ni elimina las obligaciones legales correspondientes.

24. Disponibilidad y continuidad

AALIE se ofrece según la disponibilidad de su infraestructura, sus proveedores y los recursos técnicos del momento. Puede experimentar interrupciones por mantenimiento, errores, cambios de configuración, incidentes de seguridad o fallos de terceros.

No se garantiza que el Servicio sea continuo, oportuno, compatible con todos los dispositivos o libre de errores.

25. Cambios en las funcionalidades

El proyecto puede añadir, modificar, corregir, limitar o retirar funcionalidades, algoritmos, contenidos, proveedores técnicos y formatos de exportación.

Cuando un cambio afecte sustancialmente los derechos o las condiciones de acceso, se procurará comunicarlo de manera adecuada.

26. No garantía de conservación permanente

Salvo que una función indique expresamente lo contrario, no debes utilizar AALIE como único sistema de almacenamiento de información importante.

Conserva copias independientes de tus algoritmos, reportes, trabajos, archivos, resultados y cualquier información académica que necesites. Borrar los datos del navegador, cambiar de dispositivo o utilizar otro navegador puede afectar la información almacenada localmente.

27. Seguridad

AALIE aplica medidas técnicas razonables destinadas a proteger su infraestructura y los datos procesados. Sin embargo, ningún sistema conectado a Internet puede garantizar seguridad absoluta.

Si identificas una vulnerabilidad, comunícala responsablemente y abstente de explotarla para acceder a información, alterar datos, interrumpir servicios u obtener privilegios.

28. Privacidad y datos personales

El tratamiento de datos personales asociado con AALIE se regula principalmente mediante la Política de Privacidad, que forma parte de la documentación aplicable al Servicio.

Cuando exista una diferencia entre ambos documentos sobre un tratamiento concreto de datos personales, se aplicará la disposición que describa específicamente ese tratamiento, sin perjuicio de los derechos reconocidos por la legislación aplicable.

29. Eliminación y cierre de cuenta

Cuando AALIE habilite mecanismos de eliminación de cuenta, podrás solicitar la eliminación de la información asociada conforme a la Política de Privacidad y a las obligaciones legales o técnicas aplicables.

Algunos registros pueden conservarse durante periodos razonables cuando sean necesarios para seguridad, prevención de fraude o abuso, cumplimiento legal, resolución de controversias o copias de seguridad sujetas a sus ciclos normales de eliminación.

30. Suspensión o restricción

AALIE puede restringir temporal o permanentemente el acceso por razones relacionadas con seguridad, abuso, incumplimiento de estas condiciones, afectación de la infraestructura, fraude, acceso no autorizado, incumplimiento legal o automatización perjudicial.

Cuando sea razonablemente posible, se ofrecerán canales de contacto para revisar la situación.

31. Exclusión de garantías

En la medida permitida por la legislación aplicable, AALIE se ofrece tal como está y según disponibilidad.

No se garantiza de forma absoluta la exactitud matemática de todos los resultados, la adecuación para una finalidad particular, la disponibilidad permanente, la compatibilidad con todo pseudocódigo, la validez académica, la aceptación institucional de un reporte ni la precisión de respuestas generadas por terceros o modelos de lenguaje. Las advertencias del sistema forman parte de las condiciones del resultado.

32. Limitación de responsabilidad

En la medida permitida por la legislación aplicable, el equipo responsable de AALIE no responderá por daños derivados exclusivamente de un uso contrario a estas condiciones o de confiar, sin verificación razonable, en resultados presentados como apoyo educativo.

Esto puede incluir perjuicios derivados de un análisis incorrecto, una respuesta de IA, la pérdida de progreso local, una interrupción, errores de exportación, incompatibilidades técnicas o decisiones académicas tomadas sin revisión independiente. Nada de estas condiciones pretende excluir responsabilidades que legalmente no puedan excluirse.

33. Responsabilidad del usuario

Eres responsable de verificar la información que utilices, conservar copias de tus archivos, proteger tu cuenta, cumplir las reglas académicas, utilizar la Plataforma de forma lícita, evitar cargar datos que no debas compartir, revisar las advertencias y verificar los resultados antes de presentarlos o utilizarlos en un contexto formal.

35. Modificación de estas Condiciones

Estas condiciones pueden actualizarse para reflejar nuevas funcionalidades, cambios técnicos, sistemas de autenticación, prácticas operativas, requisitos legales, servicios de terceros o actividades de investigación.

La fecha de actualización aparecerá al inicio. Cuando una modificación sea material y resulte razonablemente necesario, AALIE podrá comunicarla mediante la Plataforma. El uso continuado después de su entrada en vigor podrá quedar sujeto a la versión actualizada.

36. Terminación del Servicio

El proyecto puede suspender, transformar o terminar total o parcialmente el Servicio.

Cuando sea razonablemente posible, se procurará informar previamente sobre cambios significativos. La terminación no obliga a mantener indefinidamente la infraestructura, los proveedores externos ni el almacenamiento disponible.

37. Legislación aplicable

Estas condiciones se interpretarán de conformidad con la legislación aplicable en la República de Colombia, sin perjuicio de las normas imperativas que correspondan según la situación concreta del usuario.

Antes de iniciar una controversia formal, las partes procurarán resolver razonablemente cualquier inconveniente mediante los canales de contacto disponibles.

38. Independencia de las cláusulas

Si una disposición es declarada inválida, inaplicable o contraria a una norma imperativa, esa decisión no afectará automáticamente la validez de las demás disposiciones.

La disposición afectada se interpretará, dentro de los límites legales, de la manera más cercana posible a su finalidad original.

39. No renuncia

La falta de ejercicio inmediato de un derecho contemplado en estas condiciones no se interpretará automáticamente como una renuncia definitiva a dicho derecho.

40. Acuerdo aplicable

Estas condiciones, junto con la Política de Privacidad y los avisos específicos de cada función, constituyen el marco general aplicable al uso de AALIE.

Cuando una función muestre condiciones o avisos adicionales, estos complementarán el presente documento respecto de esa función.

41. Contacto

Para consultas sobre estas condiciones, el funcionamiento del Servicio, privacidad, seguridad o ejercicio de derechos, puedes comunicarte con el equipo del proyecto mediante los contactos disponibles en esta página.

Contacto y revisión

AALIE es un proyecto académico desarrollado en el contexto de la Universidad de Caldas. Estos contactos corresponden al equipo identificado actualmente en la Plataforma.

Luz Enith Guerrero

Camilo Cruz

Jhon Hander Patiño

Este documento es un borrador operativo y debe someterse a revisión jurídica antes de utilizarse como versión contractual definitiva.

Consulta también la Política de Privacidad de AALIE.