20

21-abr-2014

Objetivo Habilidades Características Actividades Ejercicios Conceptos Referencias Simulador Videos	Objetivo Conocer las técnicas de demostración.
	Habilidades Realizar demostraciones basadas en argumentos de tipo lógico con el propósito de modelar sistemas de inteligencia artificial.
	Características Las demostraciones se basan en las reglas básicas de la lógica de predicados. Actividades Elaborar ejercicios de demostración por medio de inferencia lógica. Ejercicios reglas de inferencia
	Conceptos ·         demostración, regla, premisa. Referencias ·         reglas de inferencia ·         logical-formula-evaluator Simulador la siguiente referencia contiene un programa escrito en javascript en el que se puede observar el código de programación, se puede jugar o bien se puede observar la manera en que la computadora rastrea la solución a partir de un punto de partida y un rastreo con la técnica de bactracking, una de las más empleadas en IA: The 8 Queens Problem Videos