Documente Academic
Documente Profesional
Documente Cultură
25 de Septiembre de 1998
Primera Parte (Sin Libros) Duracin: 45 minutos 1.- Cules son y qu significado tienen las conectivas de la lgica de proposiciones?. (1 punto) 2.- Indique los diferentes mtodos de representacin del conocimiento para Sistemas Basados en Conocimiento que conozca. Defina cada uno de ellos en un mximo de tres lneas.(1 punto) 3.- Indique los diferentes algoritmos de bsqueda para Sistemas Basados en Conocimiento que conozca. Defina cada uno de ellos en un mximo de tres lneas. (1 punto) 4.- Qu caractersticas deben cumplir los axiomas de un Sistema Axiomtico?. (1 punto) 5.- Indique cules son las principales diferencias entre el ciclo de vida de un Sistema Basado en Conocimiento y el de un programa convencional. (1 punto)
2.- Representar las siguientes sentencias mediante lgica de proposiciones (si es posible) y mediante lgica de predicados de primer orden: (a) Cada ser celeste que merece la pena ser discutido es una estrella, un planeta o un cometa. (b) .Un nmero es el mayor de un conjunto de nmeros si pertenece al conjunto y es igual o mayor que cualquiera de los nmeros que pertenecen al conjunto, (2 puntos)
2.- Representar las siguientes sentencias mediante lgica de proposiciones (si es posible) y mediante lgica de predicados de primer orden: (c) La bibliografa interesante para la asignatura est compuesta por libros, artculos y fotocopias de transparencias. (d) Una sentencia cuyo conector principal es un "" es equivalente a una sentencia cuyo principal conector es un "". (2 puntos)
2.- Representar las siguientes sentencias mediante lgica de proposiciones (si es posible) y mediante lgica de predicados de primer orden: (e) Algunas personas son capaces de resolver problemas que la mayora no saben resolver . (f) Un operador matemtico se dice que es conmutativo si se puede alterar el orden de sus operandos sin que se altere el resultado (2 puntos)
2.- Representar las siguientes sentencias mediante lgica de proposiciones (si es posible) y mediante lgica de predicados de primer orden: (g) No todos los nombres de capitales de provincia espaolas empiezan por la letra M. (h) Todas las cajas que estn encima de otras cajas que han sido movidas, tambin han sido movidas. (2 puntos)