GoConqr hat ein neues Design! Sag uns, wie es dir gefällt.

Quiz

Ohne Titel

Alejandro Loureiro Garrido 47 Fragen

Quiz starten

Fragen in diesem Quiz (47)

  1. 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.
    1. ANo se introduce ninguna función, los cuantores existenciales se pueden elimina
    2. BSe introduce una función de Skolem.
  2. 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)))?
    1. A(C) y (C) respectivamente.
    2. BC y NIL respectivament
    3. CA y NIL respectivamente.
    4. DNinguna de las anteriores.
  3. 3Una claúsula es una fbf con disyunción de literales.
    1. ARichtig
    2. BFalsch
  4. 4En un sistema de producción de IA las reglas pueden ser aplicadas sólo si las precondiciones de las reglas son satisfechas.
    1. ARichtig
    2. BFalsch
  5. 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.
    1. AEstrategia de filtrado de antepasados
    2. BEstrategia del conjunto soporte
    3. CEstrategia de entrada lineal
    4. DEstrategia a lo ancho
  6. 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.
    1. AEstrategia de filtrado de antepasados
    2. BEstrategia a lo ancho
    3. CEstrategia de entrada lineal
    4. DEstrategia del conjunto soporte
  7. 7En el conocido problema del 8-puzzle el espacio de estados es relativamente pequeño. Señala la cantidad correcta.
    1. A8!
    2. B362880
    3. CNinguno es correcto
    4. D181440
  8. 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)?
    1. A((D E A B C))
    2. B(D E A B C)
    3. CNinguna de las anteriores.
    4. D((D E) A B C)
  9. 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.
    1. ANo
    2. BSí
  10. 10Dada la siguiente fbf, indica si está en forma prenexa.
    para todo P(x) implica para todo y P*y v P(x)
    1. ASí, está en forma prenexa.
    2. BNo está en forma prenexa porque los cuantores universales no están al principio
      de la fbf.

Informationen

Beschreibung
Preparatoria Abierta Ingeniería del Conocimiento Quiz am Ohne Titel, erstellt von Alejandro Loureiro Garrido am 23/06/2016.
Sprache
Español
Aufrufe
1
Bewertung
Noch keine Bewertungen
Bewerte dieses Quiz
Bewerte dieses Quiz

Feedback

Worum geht es?

Wie gefällt dir das neue Design?

Dein Eindruck