Terapia génica de la enfermedad de Stargardt

El gen humano ABCA4 (=ABCR) se caracterizó en 1997 como el principal causante de la enfermedad de Stargardt, una distrofia macular hereditaria generalmente autosómica recesiva. Poco tiempo después se encontraron otras enfermedades asociadas a mutaciones en este gen, como son distrofia de conos y bastones, determinados casos de retinosis pigmentaria y un aumento de la susceptibilidad a la degeneración macular asociada a la edad. No existen tratamientos curativos para ninguna de estas distrofias. No obstante, dado que están causadas por un solo gen, cuya función es bien conocida, su curación se hace abordable mediante estrategias de terapia génica. En este artículo se resume el estado actual de las opciones de tratamientos basados en terapia génica de las enfermedades asociadas al gen ABCA4, las cuales implican el desarrollo de nuevos vectores derivados de virus adeno-asociados (AAV), lentivirus, y nanopartículas de ADN compactadas. Aunque este gen ha demostrado ser una diana de investigación difícil, los notables progresos realizados en los estudios genéticos, funcionales y traslacionales han permitido importantes avances en las aplicaciones terapéuticas de estas patologías, las cuales se espera que estén disponibles para los afectados en un futuro próximo. Resulta esperanzador, en este sentido, que ya están en marcha dos ensayos clínicos en fase I/II para tratar pacientes con la enfermedad de Stargardt.

Deducción: natural y automática

La Lógica de Predicados pone a nuestra disposición un lenguaje que nos permitirá formalizar expresiones del conocimiento humano haciendo explícitos los objetos y las relaciones, así como sus restricciones. Además nos proporciona un método, la deducción matemática, para obtener nuevo conocimiento a partir del antiguo. Es por ello que la lógica se convierte en una asignatura presente en los primeros cursos de distintas titulaciones, especialmente de informática, ya que proporciona una base formal de trabajo. En la actualidad existe un variado número de herramientas que pueden servir de ayuda en el aprendizaje de la lógica. El razonamiento es el proceso cognitivo por medio del cual utilizamos y aplicamos nuestro conocimiento, permitiéndonos pasar de una información a otra relacionada con esta. Sin la posibilidad de hacer inferencias, el sistema de procesamiento de información se vería obligado a tener que definir todas las situaciones puntuales y específicas con las que se tenga que enfrentar. A las sentencias de las cuales partimos en el proceso de razonamiento se les llama premisas y a la sentencia a la cual llegamos se le denomina conclusión. Las premisas junto a la conclusión forman el argumento. El concepto lógico de deducción correcta dice que de premisas verdaderas debemos obtener conclusión verdadera, es decir, no podemos aceptar que las premisas sean verdaderas y la conclusión falsa. La lógica nos proporciona métodos de cálculo que nos permiten inferir, por simple manipulación sintáctica, nuevas fórmulas a partir de las conocidas. Uno de estos métodos es la Deducción Natural , cuyo mecanismo está muy cercano al razonamiento intuitivo del ser humano. Así, de forma sencilla, a partir de las fórmulas dadas como premisas y con el único apoyo de unas reglas básicas, obtenemos determinadas conclusiones. Podemos utilizar una herramienta didáctica diseñada específicamente para enseñar a los estudiantes a realizar deducciones naturales, el Asistente para Deducción Natural (ADN). Además podemos intentar abordar el tema de la automatización de la deducción. Para ello debemos realizar pequeñas modificaciones a esta técnica (de notación, de reglas a aplicar y de estrategia a utilizar) que nos lo permita. Todos estos desarrollos teóricos dieron lugar a la aparición de la programación lógica, como paradigma de resolución de problemas basado en la lógica. Prolog es el lenguaje de programación lógica más utilizado.