Inteligencia artificial y sistemas expertos

La introducción se adentra en la evolución histórica y la definición de la IA, haciendo hincapié en la emulación de los procesos cognitivos humanos y el equilibrio entre la búsqueda y el almacenamiento de conocimientos. La visión abstracta del modelado y el conocimiento elemental allana el camino para la exploración de la lógica computacional, incluido el análisis de enunciados compuestos mediante conectivos lógicos simples, la lógica de predicados y la organización y manipulación del conocimiento. Pasando a la programación y la lógica en la IA, el plan de estudios abarca LISP y otros lenguajes de programación, estableciendo distinciones entre LISP y PROLOG. Introduce la sintaxis, las funciones numéricas y explora la importancia de la entrada-salida, las variables locales, la interacción y la recursividad. La unidad también profundiza en la lógica simbólica formalizada, los sistemas de mantenimiento de la verdad, el razonamiento por defecto y el supuesto de mundo cerrado.