Quiz
Untitled
Create a free account to finish this quiz
Save your progress and see your final score.
Already have an account? Sign in
Questions in this quiz (47)
1En el proceso de conversión de una fbf a un conjunto de claúsulas en el paso séptimo se eliminan los cuantores universales. Indica qué modificación hay que hacer para eliminarlos.
- ANo se introduce ninguna función, los cuantores existenciales se pueden elimina
- BSe introduce una función de Skolem.
2LISP. Dada la lista formada por (A B C) y la sentencia siguiente:
(setf lista '(A B C))
a) ¿Qué resultado se obtendría con (car (cdr (cdr lista)))?
b) ¿Qué resultado se obtendría con (cdr (cdr (cdr lista)))?- A(C) y (C) respectivamente.
- BC y NIL respectivament
- CA y NIL respectivamente.
- DNinguna de las anteriores.
3Una claúsula es una fbf con disyunción de literales.
- ATrue
- BFalse
4En un sistema de producción de IA las reglas pueden ser aplicadas sólo si las precondiciones de las reglas son satisfechas.
- ATrue
- BFalse
5En la estrategia X se obtienen las resolventes de una cuyos padres sean la cláusula negación de la fbf objetivo o alguna de las resolventes descendientes de ella. Señala cuál es la estrategia de control X.
- AEstrategia de filtrado de antepasados
- BEstrategia del conjunto soporte
- CEstrategia de entrada lineal
- DEstrategia a lo ancho
6En la estrategia X cada resolvente tiene al menos uno de sus padres en el conjunto básico inicial. Señala cuál es la estrategia de control X.
- AEstrategia de filtrado de antepasados
- BEstrategia a lo ancho
- CEstrategia de entrada lineal
- DEstrategia del conjunto soporte
7En el conocido problema del 8-puzzle el espacio de estados es relativamente pequeño. Señala la cantidad correcta.
- A8!
- B362880
- CNinguno es correcto
- D181440
8LISP. Dada la lista formada por (A B C) y la sentencia siguiente:
(setf lista '(A B C))
¿Qué resultado se obtendría con (cons '(D E) lista)?- A((D E A B C))
- B(D E A B C)
- CNinguna de las anteriores.
- D((D E) A B C)
9Sean u1 y u2 las substituciones realizadas en un proceso de deducción. Siendo u1={A/x}, u2={C/x}, indicar si se puede encontrar una solución consistente.
- ANo
- BSí
10Dada la siguiente fbf, indica si está en forma prenexa.
para todo P(x) implica para todo y P*y v P(x)- ASí, está en forma prenexa.
- BNo está en forma prenexa porque los cuantores universales no están al principio
de la fbf.
11La estrategia del conjunto soporte es generalmente más eficiente que la que explora a lo ancho
sin restricciones.- ATrue
- BFalse
12En los sistemas de producción de IA, se encuentra una solución eficaz si además de
seleccionar una estrategia de control eficaz, también seleccionamos una buena representación
de los estados del problema.- ATrue
- BFalse
13Una estrategia de control para un sistema de refutación es completa si su uso conduce a
encontrar una contradicción, siempre que ésta exista.- ATrue
- BFalse
14LISP. Dada la lista formada por (A B C) y la sentencia siguiente:
(setf lista '(A B C))
¿Qué resultado se obtendría de evaluar en LISP (last (list 'F (reverse (cons '(D E) lista))))?- A(C B A (D E))
- BNinguna de las anteriores.
- C((C B A (D E)))
- D(F)
15LISP. Dada la lista formada por (A B C) y la sentencia siguiente:
(setf lista '(A B C))
¿Qué resultado se obtendría de evaluar en LISP (car (last (list 'F (reverse (cons '(D E) lista)))))?- A(F)
- B(C B A (D E))
- CNinguna de las anteriores.
- D((C B A (D E)))
16En un grafo Y/O una regla R, representada por L => W, es aplicable si el grafo Y/O no contiene
un nodo literal L' que unifique con L.- ATrue
- BFalse
17Los grafos Y/O se pueden utilizar para representar expresiones de hechos y en sistemas de
deducción.- ATrue
- BFalse
18En el ámbito de la lógica difusa, ¿Qué nombre reciben los conjuntos típicos de este tipo de
lógica?- Aconjuntos crisp
- BNinguna de las anteriores
- Cconjuntos difusos
- Dconjuntos clásicos
19Los problemas de robot son simples e intuitivos.
- ATrue
- BFalse
20STRIPS es un sistema de resolución de problemas de robot que permite representar las
acciones de un robot.- ATrue
- BFalse
21Teniendo en cuenta que hemos codificado una base de conocimiento como la que aparece en
la página 59 del libro. ¿Cómo preguntamos en Prolog dónde desemboca el río Duero?- A? Desemboca(
Duero, X). - B? Desemboca(
X, Y). - C? Desemboca(
X, Duero). - DNinguna de las anteriores
- A? Desemboca(
22En un sistema experto podemos distinguir tres componentes estructurales básicos. Señala
cuáles son.- ABase de conocimiento
- BFicheros
- CBase de hechos
- DMotor de inferencia
23La lógica difusa o fuzzy logic utiliza un intervalo para la gradación de valor de verdad de una
proposición. ¿Entre qué valores está este intervalo?- ANinguna de las anteriores
- B[0,1]
- C[1,0]
- D[1,1]
24PROLOG. Se quiere programar en Prolog la siguiente sentencia: "un río que desemboca en otro
es afluente de él". Indica cuál es la sentencia en Prolog correcta.- Aafluente(x,y) :desemboca(
x,y). - Bafluente(x,y) :desemboca(
y,x). - Cdesemboca(x,y) :afluente(
x,y). - DNinguna de las anteriores
- Aafluente(x,y) :desemboca(
25Se tiene un mundo de bloques conformado por la siguiente base de conocimiento:
libre(B)
sobre(B,A)
sobremesa(A)
manovacia
Acciones del robot:
coger(x)
Precondición:
libre(B), manovacia
Lista de supresión: libre(B), manovacia, sobre(B,A)
Fórmula de adición: cogido(x), libre(A)
Indica cuál será la situación que quede después de que el robot haya aplicado la acción
coger(B).- ANinguna de las anteriores
- Blibre(A)
sobremesa(A)
cogido(B) - Clibre(B)
sobre(B,A)
sobremesa(A)
manovacia - Dlibre(B)
sobre(B,A)
sobremesa(A)
cogido(B)
26MYCIN es un conocido sistema experto desarrollado por la Universidad de Stanford. Las
técnicas de respresentación del conocimiento desarrolladas en este sistema han servido de
guía para otros sistemas. El área de conocimiento de MYCIN es relativa al tratamiento de
enfermedades infecciosas. Indica qué tipo de razonamiento se utiliza en este sistema.- ARazonamiento con deducción hacia atrás.
- BRazonamiento con deducción hacia delante.
27Se sabe que la función de pertenencia de x a un conjunto difuso A es 0,11, es decir, μ (x) =
0,11. Indica cuál es su complemento.- A0,89
- B0
28Se sabe que la función de pertenenecia de x a un conjunto difuso A es 0.25, μ (x)=0.25. Indica
cuál es el valor de su complemento.- ANinguna de las anteriores
- B0.25
- C0.5
- D0.75
29Las Dreglas
en la forma STRIPS constan de tres componentes. Señala estos componentes.- ALista de supresión
- BFórmula de precondición
- CFórmula de adición
- DFórmula postcondición
30Si tenemos la proposición "la velocidad del motor es muy alta". ¿De qué tipo de lógica estamos
hablando?- ANinguna de las anteriores
- BLógica proposicional clásica
- CLógica difusa
31Teniendo en cuenta que hemos codificado una base de conocimiento como la que aparece en
la página 59 del libro. ¿Cómo preguntamos en Prolog qué ríos desembocan en el Atlántico?- A? Desemboca(
Atlántico, X). - B? Desemboca(
X, Atlántico). - C? Desemboca(
X, Y). - DNinguna de las anteriores
- A? Desemboca(
32PROLOG. Se quiere programar en Prolog la siguiente sentencia: "un río <x> es afluente de otro
río <y>, si <x> desemboca en <z> y <z> es afluente de <y>". Indica cuál es la sentencia en
Prolog correcta.- Aafluente(x,y), desemboca(x,z) :afluente(
z,y). - Bafluente(y,x) :desemboca(
x,z), afluente(z,y). - CNinguna de las anteriores
- Dafluente(x,y) :desemboca(
x,z), afluente(z,y).
- Aafluente(x,y), desemboca(x,z) :afluente(
33Se tiene un mundo de bloques conformado por la siguiente base de conocimiento:
libre(B)
sobre(B,A)
sobremesa(A)
manovacia
Acciones del robot:
coger(x)
Precondición:
libre(B), manovacia
Lista de supresión: ?
Fórmula de adición: cogido(x), libre(A)
Indica cuál será la lista de supresión para que el robot pueda coger el bloque B, teniendo en
cuenta que no es necesario que el bloque esté sobre la mesa.- Amanovacia
- BNinguna de las anteriores
- Clibre(B), manovacia, sobre(B,A)
- Dlibre(B)
34Según la British Computer Society se considera que un sistema es experto es la incorporación
en un ordenador de un componente basado en el conocimiento que se obtiene a partir de la
habilidad de un experto, de forma tal que el sistema tomar decisiones inteligentes y que
además sea capaz de justificar su línea de razonamiento.- ATrue
- BFalse
35Los sistemas expertos difusos suelen utilizar encadenamiento de reglas.
- ATrue
- BFalse
36Los elementos principales de un sistema de producción de IA son: una base de datos global,
un conjunto de reglas de producción y un sistema de control.- ATrue
- BFalse
37LISP. Se tiene el siguiente código en LISP:
(prog1
(setf a 2)
(setf b 3)
(* a b))
Si se evalúa esta sentencia en Emacs ¿Cuál será la salida?- A3
- B6
- C2
- DNinguna de las anteriores.
38Una estrategia de control para un sistema de refutación es completa si su uso no conduce a
encontrar una contradicción, siempre que ésta exista.- ATrue
- BFalse
39Sea la siguiente fbf:
tribuno(X) ^ familiasenatorial(X)
Identifica cuál es el juntor.- Atribuno y familiasenatorial
- BX
- C^
- DNinguno
40En los sistemas de producción de IA, se encuentra una solución eficaz sólo si seleccionamos
una estrategia de control eficaz.- ATrue
- BFalse
41La siguiente cláusula P(x) v ~P(x) es una tautología.
- ATrue
- BFalse
42LISP. Se tiene el siguiente código en LISP:
(progn
(setf a 2)
(setf b 3)
(* a b))
Si se evalúa esta sentencia en Emacs ¿Cuál será la salida?- A2
- B6
- C3
- DNinguna de las anteriores.
43En los sistemas de producción de IA la estrategia de control tentativa se divide en dos tipos.
Señala los correctos.- Aretroactivo
- Birrevocables
- Cactivo
- Dexploración de grafos
44Señala qué estrategias son completas.
- AEstrategia del filtrado de antepasados
- BEstrategia del conjunto soporte
- CEstrategia a lo ancho
- DEstrategia de entrada lineal
45La estrategia de control retroactiva es más eficiente que la irrevocable, ya que permite explorar
caminos alternativos.- ATrue
- BFalse
46Señala las características de la estrategia a lo ancho:
- Aeficiente
- Bmuy ineficiente
- Cno completa
- Dcompleta
47En una fbf si una variable está cuantificada se dice que ...
- ANinguna de las anteriores.
- Bes una variable ligada.
- Ces una variable libre.
Information
- Description
- Preparatoria Abierta Ingeniería del Conocimiento Quiz on Untitled, created by Alejandro Loureiro Garrido on 23/06/2016.
- Language
- Español
- Views
- 1
- Tags
- Rating
- No ratings yet Rate this quiz