¡Bienvenidos al futuro, Bienvenidos a la Inteligencia Artificial! Blog del curso en castellano sobre desarrollo de aplicaciones de Inteligencia Artificial. Con una serie de vídeos aprenderás tanto las bases de la I.A. como los detalles de cada uno de los algoritmos de los que se compone, clasificados por áreas y aplicaciones. Todo explicado de forma sencilla y amena por José Luis Iglesias Feria, Ingeniero Informático de la UNED, apasionado de la Inteligencia Artificial.
viernes, 11 de noviembre de 2016
Vídeo Nº 119: IA Lógica - Inferencia 01 (Deducción y Resolución)
Resumen de dos métodos de inferencia de primer orden: deducción y sus reglas de inferencia, que no se suele usar mucho en IA; y resolución (forma normal prenexa, skolemización, forma clausulada, unificación), que es el método más usado en IA y que es la base de los encadenamientos hacia delante y hacia atrás. El problema es que tiene un rendimiento muy pobre y un alto costo computacional, por lo que también se nombrarán algunos métodos para mejorar su eficiencia.
No hay comentarios:
Publicar un comentario