PrologIA

Programación en Prolog para Inteligencia Artificial Presentado por: Egdares Futch H.

Qué dicen los expertos sobre IA ,[object Object],[object Object],[object Object],[object Object]

Qué dice el Web sobre la IA ,[object Object],[object Object],[object Object],Comportamiento inteligente Humanos Computadora

¿ Qué es la IA ? ,[object Object],Piensen racionalmente Piensen como humanos Actúen racionalmente Actúen como humanos

Actuar como humanos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

El caso del Ajedrez ,[object Object],[object Object],[object Object],[object Object],[object Object]

Pensar como humanos ,[object Object],[object Object],[object Object],Pero, ¿queremos duplicar las imperfecciones humanas?

Pensar y actuar racionalmente ,[object Object],[object Object],[object Object],[object Object],[object Object]

Pensar (meditación de Feynman) ,[object Object],[object Object],[object Object]

Algunas características ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Introducción a Prolog ,[object Object],[object Object]

… Más ,[object Object],[object Object],[object Object],[object Object]

… Más ,[object Object],[object Object],[object Object]

Nuestro primer programa ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Prolog es un lenguaje declarativo ,[object Object],[object Object],[object Object]

Ejemplo: concatenar listas A y B list procedure cat(list a, list b) { list t = list u = copylist(a); while (t.tail != nil) t = t.tail; t.tail = b; return u; } En un lenguaje imperativo En un lenguaje declarativo En un lenguaje funcional cat(a,b)  if b = nil then a else cons(head(a), cat(tail(a),b)) cat([], Z, Z). cat([H|T], L, [H|Z]) :- cat(T, L, Z).

Sintaxis completa de Prolog Término Constante Variable Término compuesto Atomo Número alpha17 pago juan_perez gripe + =/= ’ 12Q&A’ 0 1 57 1.618 2.04e-27 -13.6 gusta(juan, maria) libro(cervantes, quijote) f(x) [1, 3, g(a), 7, 9] -(+(15, 17), t) 15 + 17 - t X Quincena Enfermedad _257 _ Nombra un individuo Reemplaza un individuo que no puede ser nombrado cuando el programa se escribe Nombra un individuo que tiene partes

Términos compuestos padres(manchas, pongo, perdita) Functor (un átomo) de arity 3. componentes (términos) Se puede mostrar el término como un árbol padres perdita pongo manchas

Estructura de los programas ,[object Object],[object Object],[object Object],[object Object],Por ejemplo…

Ejemplo ,[object Object],[object Object],[object Object],Procedimiento para elefante Predicado Claúsulas Regla Hechos

Ejemplo ?- elefante(jumbo). yes ?- elefante(pongo). no Pregunta Respuesta

Interpretación de las claúsulas ,[object Object],H :- G 1 , G 2 , …, G n . “ Se puede demostrar H ssi G 1 , G 2 , …, G n también puedan demostrarse.” “ Para evaluar el procedimiento H, se ejecutan los procedimientos G 1 , G 2 , …, G n previamente.” Interpretación declarativa Interpretación procedimental

Unificación ,[object Object],[object Object],[object Object],[object Object],[object Object]

Ejemplos ,[object Object],Z c a d f b c a X f Los términos unifican si se sustituye d por X, y b se sustituye por Z. Esta sustitución también se denomina instanciación.

Ejemplos ,[object Object],Z c a Z f b c a X f Nótese que Z se comparte dentro del mismo término.

Ejemplos ,[object Object],Z c a Z f b c a c f Estos dos términos no pueden hacerse idénticos sustituyendo variables.

Listas ,[object Object],[object Object],[object Object]

Sintaxis de Prolog para listas ,[object Object],[object Object],[object Object],[object Object]

Trabajando con listas ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Reevaluación (backtracking) y no determinismo ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],Determinístico No determinístico

Controlando la reevaluación ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],?- color(banana, X). X = amarillo ?- color(sandia, X). X = desconocido ?- color(cereza, X). X = rojo ; X = desconocido ; no

Claúsulas y bases de datos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Claúsulas y bases de datos ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Casos de aplicación ,[object Object],[object Object]

Casos de aplicación ,[object Object],[object Object],[object Object]

Muchas gracias! [email_address] http://maestros.unitec.edu/~efutch

PrologIA

Recommandé

Recommandé

Contenu connexe

Tendances

Tendances (20)

Similaire à PrologIA

Similaire à PrologIA (20)

Plus de Egdares Futch H.

Plus de Egdares Futch H. (20)

Dernier

Dernier (19)

PrologIA