Curso: Lneas de profundizacin III Inteligencia Artificial Solucin Informe 1 Preguntas Valor 6% 1.

. Cules son las caractersticas de los diferentes paradigmas de programacin? Enumere y explique cada uno de los paradigmas. En dnde se sita la creacin e implementacin de los Sistemas Expertos? R/: Existen 3 tipos de paradigmas de programacin, el objetival est orientado a objetos, el Declarativo se enfoca en lo simblico y el Procedimental a los algoritmos. Paradigma Objetival: Es un paradigma de programacin que usa los objetos en sus interacciones, para disear aplicaciones y programas informticos Paradigma Declarativo: Es un paradigma de programacin que est basado en el desarrollo de programas especificando o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema y detallan su solucin. Paradigma Procedimental: Son un conjunto de instrucciones que le indican al computador como realizar una tarea. La creacin de sistemas expertos se sita en la dcada de los 70s. Valor 10 % + 2. Explique brevemente la definicin y funcin de un Sistema Experto. Ilustre en un grfico la arquitectura de los componentes del Sistema experto y explique las caractersticas del mismo. R/: Un Sistema Experto es un programa de computacin inteligente que usa conocimiento y procesos de inteligencia para resolver problemas que son lo suficientemente difciles como para requerir significativa experiencia humana para su solucin en una situacin particular que se le indica al programa. Cada vez el sistema se mejora con adiciones a la base de conocimientos o al conjunto de reglas.

Los sistemas expertos se conforman por tres componentes principales:

1. La Base de Conocimientos (Knowledge Database) almacena la totalidad de la informacin especfica relativa al campo del saber deseado. Est escrita en un lenguaje especfico de representacin de los conocimientos que contiene, y en el cual el experto humano puede definir su propio vocabulario tcnico. La informacin se representa mediante reglas de produccin o de redes semnticas, en donde la semntica se la puede representar mediante Grafos. 2. La Base de Hechos (Fact Database) almacena los datos propios correspondientes a los problemas que se desean tratar con la ayuda del sistema. Cumple con la misin de memorizar todos los resultados intermedios, permitiendo conservar el rastro de los razonamientos llevados a cabo. 3. El Motor de Inferencias es un programa que, mediante el empleo de los conocimiento, puede resolver el problema que est especificado. Lo resuelve gracias a los datos que contiene la base de hechos del sistema experto. Su principal funcin es la de seleccionar, validar y activar algunas reglas que permiten obtener finalmente la solucin correspondiente al problema planteado. Valor 12 % 3. En una tabla comparativa indique claramente 6 diferencias entre un sistema construido bajo el paradigma declarativo (SBC) y un lenguaje procedimental (Tradicional). R/:

Valor 5% 4. Qu son las estrategias de encadenamiento? A qu se refiere el encadenamiento hacia delante y el encadenamiento hacia atrs? Ilustre grficamente su respuesta. R/: Las estrategias son utilizadas por el motor de inferencia para obtener conclusiones simples y compuestas. El encadenamiento puede guiado por los datos (encadenamiento hacia adelante) o guiado por las metas (encadenamiento hacia atrs)

Encadenamiento hacia delante: Es una cadena que realiza una bsqueda o camino desde el problema a la solucin.

Encadenamiento hacia atrs: Es una cadena que transita hacia atrs desde una hiptesis hasta los hechos.

Valor 5% 5. Cmo se relaciona cada una de las estrategias de encadenamiento con las inferencias Modus Ponens y Modus Tollens? R/: Modus Ponens: En ella, se examina la premisa de la regla, y si es cierta, la conclusin pasa a formar parte del conocimiento. Modus Tollens: Se utiliza tambin para obtener conclusiones simples. En este caso se examina la conclusin y si es falsa, se concluye que la premisa tambin es falsa. Las estrategias de encadenamiento y los Modus Ponens y Modus Tollens se relacionan en la medida de en qu para yo hacer encadenamiento hacia delante o hacia atrs debo estar seguro que la regla (premisa o conclusin)sean verdaderas para poder encontrar la solucin o tener cierto grado de libertad para hallar la mejor respuesta.

Valor 5% 6. a) Qu es un grafo? R/: Grafo: Es una estructura topolgica que representa una amplia gama de problemas.

b) Qu elementos tiene un grafo? R/: En los grafos podemos distinguir dos tipos de elementos: Nodos: Representa una determinada situacin o estado. N

Arcos: Representa un enlace entre dos nodos, o sea, la transicin entre dos estados. Valor 10% 7. a) Qu es un rbol de bsqueda? R/: Es una representacin que contienen todos los nodos y los caminos que se han generado b) Qu elementos los conforman? R/: Nodo raz o padre, nodo descendente o sucesor (hijo, interior), nodo ascendente o antecesor (hijo, interior), nodo terminal u hoja. c) Qu tcnicas se aplican para implementar bsquedas en los rboles? R/: Bsqueda sin informacin o bsqueda ciega que busca la solucin a los problemas mediante generacin sistemtica de nuevos estados y comprobando si alguno de stos es un objetivo. Tcnicas Bsqueda en profundidad Bsqueda a lo ancho Bsqueda de profundidad limitada Bsqueda de profundidad iterativa

 Bsqueda de costos uniformes Bsqueda bidireccional. Bsqueda con informacin que emplea conocimiento especfico sobre el problema para encontrar de forma ms eficiente la solucin. d) En su concepto, por qu son tiles los rboles de bsqueda? R/: Desde mi punto de vista, los rboles son tiles porque con su implementacin podemos conocer todas las opciones que se pueden tener y escoger el mejor camino para dar solucin a un problema determinado. Valor 13% 8. a) Qu son las tcnicas de bsqueda heurstica? Se consideran las bsquedas heursticas como un problema con o sin informacin, y por qu? R/: Las tcnicas de bsqueda heurstica no pueden garantizar encontrar una solucin ptima, ni siquiera garantizan que se alcance una solucin, pero se puede decir que una heurstica es til para ofrecer soluciones inteligentes que son suficientemente buenas la mayora de las veces. b) Indique y explique claramente al menos tres tcnicas de bsqueda heurstica R/: Generacin y Pruebas Su objetivo es generar una posible solucin, mediante la comparacin de una hiptesis elegida al azar y comparando con el objetivo final. Se realizan iteraciones hasta encontrar una solucin. Anlisis de medios y fines explica las operaciones de memoria y los procesos de control para explicar el conocimiento humano. Verificacin de restricciones Tiene el objetivo de descubrir algn estado de un problema para que se cumplan las restricciones ordenadas. Bsqueda escalada Muy apropiada para encontrar rutas de soluciones ptimas en espacios de solucin locales. Esta tcnica centrar nuestra atencin para el desarrollo de los mtodos de razonamiento en los motores de inferencia de los Sistemas Basados en Conocimientos (SBC) Valor 15% 9. Se tiene un balde x con capacidad de 6 litros. Se tiene tambin un balde y con capacidad de 8 litros.

a) Indique claramente, mediante un esquema de reglas la posibilidad de llenar el balde y, hasta 4 de litros de agua. Tenga presente que los baldes no estn marcados y que es posible trasvasar agua de un balde a otro. b) En la solucin de este problema, indique claramente los antecedentes que conformaran cada una de las reglas, as como el consecuente de las mismas. c) Finalmente, mediante un razonamiento hacia delante (o hacia atrs), dibuje en un grfico la conexin de las reglas, para probar la hiptesis que s se puede llenar el balde y, hasta 4 litros.

R1 R2 R3 R4 R5 R6 R7 R8

y<8 X<6 0<y 0<x (8-y)>x; x>0 (6-x)>y; y>0 (8-y)<x (6-x)<y

y=8 x=6 y=0 x=0 y=y+x; x=0 x=x+y; y=0 y=8; x=x-(8-y) x=6; y=y-(6-x)

Llenar el segundo balde Llenar el primer balde Vaciar el segundo balde Vaciar el primer balde Descarga el primero en el segundo Descarga el segundo en el primero Llenar el segundo con el primero Llenar el primero con el segundo

Valor 20% 10. Dibuje un rbol de bsqueda o un grafo orientado, para el siguiente conjunto de reglas. Tenga en cuenta la mayor cantidad de nodos y de enlaces, para cubrir la mayor cantidad de Bases de Hechos posibles. Cmo se representa un razonamiento de reglas, en caso que se tenga el nodo objetivo de bsqueda sea Pago Autorizado? R/: Un razonamiento de reglas con el nodo objetivo, se puede representar de 2 formas desde el Modus Ponens o el Modus Trollens, es decir, encadenamiento hacia adelante o encadenamiento hacia atrs. En este caso yo utilic el encadenamiento hacia atrs analizando la conclusin descartando las negativas hasta encontrar el camino correcto. (Ver hoja Anexa) Conjunto de Reglas Punto 5

Autorizado

Pago

No Excedido

Excedido

No Autorizado

No Autorizado

No Autorizado

No Autorizado

No Autorizado

No Autorizado