Inteligencia Articial II (primera parte, ejercicio 1)

(16Diciembre2003)

Apellidos: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Nombre: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ejercicio 1 [2 puntos] Considrese la siguiente descripcin informal de la estructura sintctica de las oraciones e o a de un lenguaje: una oracin se compone de un sintagma nominal (un sujeto), seguido de un o verbo y opcionalmente un complemento. Este complemento, cuando aparece, es un sintagma nominal. A su vez un sintagma nominal puede ser un nombre, opcionalmente precedido de un determinante. Adems, entre el determinante y el nombre debe existir concordancia de a gnero y nmero y entre el sujeto y el verbo concordancia de nmero. e u u El siguiente conjunto de hechos Prolog especica las palabras (s mbolos terminales) de las que disponemos para construir las oraciones de nuestro lenguaje: es_nombre(hombre,masculino,singular,man). es_nombre(hombres,masculino,plural,men). es_nombre(mujer,femenino,singular,woman). es_nombre(mujeres,femenino,plural,women). es_nombre(carta,femenino,singular,letter). es_nombre(cartas,femenino,plural,letters). es_nombre(libro,masculino,singular,book). es_nombre(libros,masculino,plural,books). es_determinante(el,masculino,singular,the). es_determinante(la,femenino,singular,the). es_determinante(los,masculino,plural,the). es_determinante(las,femenino,plural,the). es_determinante(un,masculino,singular,a). es_determinante(una,femenino,singular,a). es_determinante(unos,masculino,plural,some). es_determinante(unas,femenino,plural,some). es_verbo(lee,singular,reads). es_verbo(leen,plural,read). es_verbo(escribe,singular,writes). es_verbo(escriben,plural,write). Cada palabra viene acompaada de su gnero (excepto los verbos), nmero y de su n e u traduccin al idioma ingls. o e Se pide denir una gramtica de clusulas denidas que sirva para obtener un reconocedor a a sintctico de las oraciones del lenguaje. Adems, incluir un parmetro adicional para obtener a a a la traduccin al ingls de la oracin. Ejemplos: o e o ?- phrase(oracion(T),[el,hombre,lee,una,carta]). T = [the, man, reads, a, letter] 3 ?- phrase(oracion(T),[el,mujer,lee,unos,carta]). No 4 ?- phrase(oracion(T),[unas,mujeres,leen]). T = [some, women, read]

5 ?- phrase(oracion(T),[una,mujer,escribe,un,libro]). T = [a, woman, writes, a, book] 6 ?- phrase(oracion([the,man,reads,the,letter]),O). O = [el, hombre, lee, la, carta]

Inteligencia Articial II (primera parte, ejercicio 2)

(16Diciembre2003)

Apellidos: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Nombre: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ejercicio 2 [2 puntos] Un grupo de bilogos que exploraban la selva del Amazonas han descubierto una nueva o especie de insectos, que bautizaron con el nombre de lepistos. Desgraciadamente, han desaparecido y la unica informacin que disponemos del nuevo insecto viene dada por el siguiente o conjunto de ejemplos encontrados en un cuaderno de notas, en los que se clasican una serie de muestras de individuos en funcin de ciertos parmetros como su color, el tener alas, su o a tamao y su rapidez: n

Ej. E1 E2 E3 E4 E5 E6 E7 E8 E9 E10

Color negro amarillo amarillo blanco negro rojo rojo negro negro amarillo

Alas si no no si no si si no si si

Tamao n pequeo n grande grande medio medio pequeo n pequeo n medio pequeo n grande

Rapidez Lepisto alta Si media No baja No alta Si alta No alta Si baja No media No media No media No

Contestar a las siguientes cuestiones: 1. Cul es la entrop del conjunto de ejemplos, respecto a la clasicacin de los mismos a a o que realiza el atributo Lepisto? 2. Qu atributo proporcionar mayor ganancia de informacin? e a o 3. Aplicar (detallando cada uno de los pasos realizados) el algoritmo ID3 para encontrar, a partir de este conjunto de entrenamiento, un rbol que nos permita decidir sobre si a un determinado individuo es un lepisto o no. 4. Obtener un conjunto de reglas a partir del rbol obtenido en el apartado anterior. a 5. Segn el concepto aprendido,hay algn atributo que sea irrelevante para decidir si un u u individuo es un lepisto?

Inteligencia Articial II (primera parte, ejercicio 3)

(16Diciembre2003)

Apellidos: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Nombre: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Ejercicio 3 [2 puntos] Contestar a las siguientes cuestiones: 1. Segn la terminolog habitual en Programacin Lgica Inductiva qu entendemos u a o o e por ejemplos positivos y negativos? qu es una regla? cundo una regla cubre a un e a ejemplo? cundo lo cubre correctamente? Ilustrar cada una de las respuestas con un a ejemplo. 2. Describir, en pseudocdigo, el algoritmo FOIL, explicando con detalle los argumentos o de entrada al algoritmo. 3. Qu propiedad fundamental tiene el conjunto de reglas que devuelve el algoritmo? e