Lógica para la inteligencia artificial
Grado en Ingeniería en Inteligencia Artificial
Dpto. de Ciencia de la Computación e Inteligencia Artificial
Mantras de LógIA
Siguiendo con mi manía de redactar los objetivos y competencias en un lenguaje sencillo y claro, que llamo mantras, tras tres cursos impartiendo “Lógica para la inteligencia artificial” tengo redactados los mantras de LógIA:
0. De lo que te digan, no te creas nada. Y de lo que veas, tampoco. Que no te engañen: ¡aprende lógica!
1. Elegir una representación del conocimiento adecuada puede ayudarte en la resolución del problema.
2. Equilibrio: más expresividad conlleva mayor complejidad en su manipulación; menos expresividad puede impedirte resolver el problema.
3. El implicador lógico no habla de causas, sino de compromisos. Solo falla cuando se promete algo y no se cumple.
4. Tan fiable es quien siempre dice la verdad (tautología) como quien siempre miente (contradicción); el problema está en quien unas veces miente y otras no (indeterminación).
5. Basta una sola mentira para poner en duda todas las verdades anteriores.
6. Una cadena es tan fuerte como su eslabón más débil.
7. Un programa de ordenador es una deducción lógica.
8. A partir de las reglas básicas, podremos obtener nuevas reglas (reglas derivadas), que actúan como “atajos” en nuestras deducciones.
9. Automatizar la deducción natural exige decisiones de diseño que limitan la potencia de la lógica.
10. Demostración automática. Una única estrategia: refutación (reducción al absurdo). Una notación única: forma clausal (forma normal conjuntiva). Una única regla: regla de resolución.
11. En la programación lógica se especifica qué debe hacerse (programación declarativa), no cómo hacerlo (programación imperativa).
12. Prolog busca el equilibrio entre mantener las propiedades del modelo abstracto de Programación Lógica y ofrecer una implementación eficiente.
13. La aplicación de la lógica clásica al razonamiento diario está muy limitada: incertidumbre, información incompleta, cambiante en el tiempo …
Bonus. Aprende mucha tecnología para la IA, pero lee ensayos sobre filosofía y la inteligencia humana.
Me conformo con que al acabar de cursar la asignatura tengan interiorizados estos mensajes y los apliquen en su forma de actuar. Creo que les servirán tanto en su vida profesional como personal.
Enlace al documento: http://hdl.handle.net/10045/160493