Cuestionarios de Clips

CLIPS ejecuta las reglas: Hacia atrás (partiendo desde el objetivo hacia tras hasta llegar a algún hecho inicial). Hacia delante (partiendo desde los hechos iniciales). Lateralmente (hace una mezcla de los dos anteriores). Escogiendo siempre aquella que minimiza el camino desde los hechos iniciales hasta los hechos finales.

¿Qué significado tiene la restricción (default ?NONE) en la definición de una casilla?. NO hay valor por defecto, por lo que es como si no se pusiera ninguna restricción. Es obligatorio asignar algún valor a esa casilla. Por defecto, esa casilla estará vacia. El valor por defecto es el simbolo ?NONE.

¿Cuál de las siguientes restricciones puede aplicarse solo a casillas multicampo?. Type. Allowed-values. Range. Cardinality.

¿Cuál de las siguientes afirmaciones es correcta?. Para insertar más de un hecho a la vez hay que utilizar deffacts porque assert solo inserta un hecho. Deffacts no inserta hechos en la base de hechos. Nunca se puede insertar más de un hecho, ni9 con deffacts, ni con assert. Reset incluye en la base de hechos aquellos que han sido creados con assert.

La propiedad de refracción establece que: Las reglas se ejecutan en el orden en que han sido definidas. NO puede haber dos hechos iguales en la base de hechos. Una regla no puede activarse dos veces para el mismo conjunto de hechos. Toda plantilla debe tener al menos una casilla.

¿Cuál de los siguientes hechos no empareja el patrón (colores $? Azul|verde $?)?. (colores azul). (colorea AZUL verde). (colores verde amarillo perro). (colores AZUL).

La siguiente regla:(defrule regla 1 (datos ?X) => (assert (?datos))). lnserta un nuevo hecho con el orden de los campos cambiados, siempre que el primero sea datos. Modifica todos los hechos con dos campos que empiecen con datos, sincerar nuevos hechos. Tiene algún error que CLIPS notifica. Solo se dispararía con el hecho (datos 0).

La siguiente regla: (defrule regla1(datos ?X)(datos ?y)(>= ?x ?y)=> ). Es conecta y se disp'aua siempre que haya el menos dos hechos datos. ES correcta y se dispara aunque solo haya un hecho de tipo datos. NO es correcta porque (>= ?x ?y) debiera estar dentro de un EC test. Solo se dispara si hay al menos dos hechos datos y uno >:.

¿Qué afirmación es correcta?. (set-current-module A) hace que A sea el modulo actual y el modulo enfocado. Modulo enfocado es lo mismo que modulo actual. (focus A) hace que el módulo A sea el actual y el enfocado. Todas las respuestas son falsas.

¿Qué diferencia hay entre las funciones convencionales y las genéricas?. Las genéricas pueden sobrecargarse y la convencionales no. Las genéricas aceptan un número variable de argumentos y las convencionales no. Las convencionales permiten especificar un índice y las genéricas no. Las convencionales pueden ser llamadas en el consecuente de una regla y las genéricas no.

¿Cuales de los siguientes métodos se ejecutarla para la llamada (ml 25)?. (defmethod m1 (?a)). (defmethod m1 ((?a INTEGER))(. (defmethod m1 ((?a INTEGER SYMBOL))). (defmethod m1 ((?a INTEGER (evenp ?a)))).

En caso de que solo exista la siguiente regla, en cada ciclo de ejecucion) CLIPS la dispararia con: (defrule regal1 (datos $?) =>). Todos los hechos ordenados cuyo primer valor sea datos. EI primer hecho no utilizado aun, empezando por arriba de la base de hechos, que encaje con el antecedente. EI primero no utilizado aun, empezando por debajo de la base de hechos, que encaje con el antecedente. todas las respuestas anteriores son falsas.

¿Cual de los siguiente no es un tipo de dato en CLIPS?. Simbolo. Entero. Hecho. lDirección de hecho.

¿Cual de las siguientes definiciones de casilla es más restrictiva?. (slot dato (allowed-values uno dos tres cuatro cinco seis siete ocho)). (slot dato (allowed-integers 1 2 3)). (slot dato (allowed-number 1 2 3)). (slot dato (allowed-symbols rojo azul verde amarillo rosa)).

¿Cuántos elementos condicionales deben incluirse como minimo dentro de un elemento condicional forall?. 0. 1. 2. 3.

En cada ciclo de ejecución de CLIPS el motor de inferencia hace: Además de otras cosas, evalúa todas las reglas frente a todos los hechos de la base de afirmaciones. Además de otras cosas, dispara todas las reglas activas en la agenda. Evalua las reglas solamente frente a los hechos que se hayan añadido a la base de hechos en el ciclo anterior. Todas las anteriores son ciertas.

¿Cuántas agendas puede haber durante la ejecución de un programa?. Una. Tantas como módulos tenga el programa. Tantas como reglas tenga el programa. Tantas como indique el programador con al función agenda.

¿Cuál de los siguientes constructor no puede exportarse?. Plantillas. Reglas. Variables globales. Funciones.

¿Qué afirmación de las siguientes es FALSA?. (persona (nombre Pepe) (edad 13)) es el MISMO hecho que (persona (edad 13) (nombre Pepe)). (arroz leche huevos) es un hecho DIFERENTE a (arroz huevos leche). (alumno (nombre Juana) (notas 4 3)) es el MISMO hecho que (alumno (notas 3 4) (nombre Juana)). El EC patron (datos $?) es cierto tato con e, hecho (datos 3 4) como con (datos).

El comando reset: Elimina los hechos pero no las reglas. Elimina las reglas pero no los hechos. Elimina ambos, reglas y hechos. Solo elimina la agenda.

La orden (clear) borra completamente la memoria del trabajo de clips ¿tanto dela base de hechos como la base de conocimiento. Verdadero. Falso.

Para que una regla se active y pase a la agenda se deben de satisfacer todos los elementos condicionales del antecedente dela regla. Verdadero. Falso.

La siguiente figura muestra un entorno de clips. El programa escrito permite al sistema inferir que Socrates es mortal. (deffacts h1 (hombre Socrates) ) (defrule r1 (hombre ?x) => (assert (mortal ?x)) ). Verdadero En lafigura se muestra la estructura general de un programa básico en CLIPS. La regla rl está activa porque elpatrón (hombre ?x) empareja o encaja con el hecho (hombre Socrates). Falso.

Se dice que clips es un programa dirigido por datos. La justificación es: Sin datos no es posible la ejecución de un programa. La afirmación es falsa. Los datos estimulan a las reglas. Si los datos o hechos emparejan con los elementos condicionales del antecedente de la regla, la regla se activa y se ubica en la agenda.

En las siguientes frases: 1) Todos los hombres son mortales 2) Sócrates es un hombre La primera corresponde a conocimiento y en un formalismo de representación de sistema basado en reglas (SER) se representará a través de una regla. La segunda frase corresponde a una afirmación o a un hecho y en un SBR podemos representarlo a través de un hecho. A través de la programación orientada a objetos, estas dos frases podrían trasladarse a un programa que permitiera inferir automáticamente que Sócrates es mortal. El mecanismo de inferencia que se utilizaría sería el de la herencia. Verdadero Esto demuestra que la información y el conocimiento pueden representarse usando diferentesformalismos de representación simbólica. Falso.

En un ciclo de ejecución del motor de inferencia todas las reglas que estén activadas en la agenda se disparan y sus acciones son ejecutadas. Verdadero. Falso En cada ciclo de ejecución sólo se dispara una regla, la que este'primero en la agenda. En el siguiente ciclo las reglas son de nuevo evaluadas y posicionadas en la agenda.

En el siguiente programa de clips: (deffacts h1 (hombre Socrates) ) (defruLe r1 (mortaL ?X) => (printout t ?X “es mortaL” crlf) ) (defruLe r2 (hombre ?X) => (assert (mortaL ?X)) ) El motor de inferencia ej ecutaría primero la regla rl y después la regla r2. Verdadero. Falso El orden en que están escritas las reglas no influye en el orden de ejecución. Primero se activaría la regla r2 porque es la única que tiene hechos que encajen con sus elementos condicionales patrón.

En la siguiente regla (defruLe r1 (hombre Socrates) => (assert (mortaL ?X)) ) (hombre Socrates) representa un hecho ordenado. Verdadero. Falso (hombre Socrates) representa un elemento condicional ya que forma parte del antecedente de la regla.

El código del siguiente programa es correcto: (deffácts h1 ;Constructor de hechos (n 0) ;Hecho ordenado ) (defruLe r1 ?f<-(n ?X) ;Elemento condicional patrón (ECP) ;A la variable ?X se le ligará valores de los ; hechos que emparejen ;A la variable ?f se le liga la dirección de ; hecho con el que empareje el ECP (test (< ?x 10)) ;E1emento condicional test :> (printout y "n= ” ?y crLf) ;Acción de imprimir (assert (n (+ ?x 1))) ;Afirmación de un hecho nuevo ;(n resultado-de-la-suma) (retract ?f) ;Elimina el hecho cuya dirección está ;en la variable ?f ). Verdadero. Falso La variable ?y no puede usarse ya que no se le ha asociado ningún valor.

En el siguiente programa de clips: (deffacts h1 (hambre Socrates) ) (defruLe r1 (hambre ?x) => (assert (mortaL ?x)) ) El mecanismo de inferencia se denomina comparación de patrones. El ingeniero debe de progmmar este mecanismo para cada programa de clips que desee ej ecutar. Verdadero. Falso Al mecanismo de inferencia se le denomina comparación depatrones. Este mecanismo viene programado en CLIPS por defecto y se usa automáticamente.

En las siguientes fmses: 1) Todos los hombres son mortales. 2) Sócrates es un hombre La primera corresponde a conocimiento y en un formalismo de representación de sistema basado en reglas (SER) se representará a tmve's de una regla. La segunda frase corresponde auna afirmación o a un hecho y en un SER podemos representarlo a tmve's de un hecho. Un programa en clips como el siguiente permitiría realizar inferencias: (deffacts h1 (hombre Socrates) ) (defruLe r1 (hombre ?X) => (assert (mortaL ?X)) ). Verdadero. Falso.

La orden (reset) carga los hechos de los constructores deffacts en la base de hechos y prepara al sistema para la ejecución. Verdadero. Falso.

En el antecedente de una regla. Hay diferentes tipos de elementos condicionales patrón. Hay 8 tipos de EC que son: EC patrón EC test EC and EC or EC not EC exists EC foral EC logical. Pueden incluirse acciones que afirmen hechos.

En los elementos condicionales patrón cuando se usan restricciones con variables: La ligadura de un valor a una variable se mantiene únicamente en el ámbito de la regla. Las variables son locales a la regla. La segunda vez que aparezca la variable en la regla vuelve a ligarse con un valor del siguiente hecho en la base de hechos que empareje.

En el siguiente programa (deftempLate datos-B (sLot vaLor) ) (deffacts h1 (datos-A verde (datos-A azul (datos-B valor rojo (datos-b valor azul ) (defruLe rol (datos-A azuL) => ) (defruLe r'2 (datos-B (vaLor rojo&verde)) => ) (defruLe r'3 (datos- (vaLor verde/rojo)) => ). La regla r2 no se activarla. La regla rl se activarla dos veces. La regla r3 se activarla una vez.

En el siguiente programa (deftempLate datos (sLot x) (sLot y) ) (deffacts hechos (datos (X 2) (y 4)) (datos (X 3) (y 9)) ) (defruLe r1 (datos (X ?X) (y =(*2 ?X))) => ). La regla r1 se activaría por el hecho (datos (X 2) (y 4)). En la regla r1 se muestra un elemento condicional patrón con una restricción en la que se invoca a una función que devuelve un valor. La regla rl no se activarla. La regla rl se activarla dos veces.

Con los siguientes hechos, ¿cuántas veces se activarla la siguiente regla? f—1 (datos 1. 0 azuL “rojo”) f—2 (datos 1 azuL) f—3 (datos 1 azuL rojo) f—4 (datos 1 azuL ROJO) f—5 (datos 1 azuL rojo 6.9) (defruLe encontrar—datos (datos ?azuL rojo $? => ). 1. 2. 3. 4.

En el siguiente programa (deffacts hechos (comidas carne huevos pescado)) (defruLe rol (comidas $?antes xxx $?despues) => (printout ?X CrLf) ) ¿Qué habría que escribir en lugar de xxx para que se mostraran por pantalla todas las comidas?. ?y. ?x.

En el siguiente programa (deffacts hechos (comidas carne huevos pescado) ) (defruLe r1 ( comidas xxxa ?X xxxq) => (printout ?X CrLf) ) ¿Qué habría que escribir en lugar de xxx para que se mostraran por pantalla todas las comidas?. ?x. $?.

Si tenemos una plantilla (deftempLate persona (muLtisLot nombre) (sLot edad)) El patrón (persona (nombre]uan) ) emparejaría con el hecho (persona (nombre]uan)). Verdadero. Falso.

En la siguiente regla: (defruLe encontrar—datos (datos 1 azuL rojo) > el elemento condicional patrón contiene sólo restricciones literales. Verdadero. Falso.

La siguiente regla (defruLe encontrar-datos (datos 1 azuL raja) :> ) con los siguientes hechos no se activan'a f—8 (initíaL fact) f—1 (datos 1.9 azuL "raja”) f—2 (datos 1 azuL) f—3 (datos 1 azuL raja) f—4 (datos 1 azuL ROJO) f—5 (datos 1 raja azuL) f—6 (datos 1 azuL raja 6.9). Verdadero. Falso.

El siguiente ECP (data $? VERDE $?) no emparejan'a con todos los siguientes hechos: (data VERDE) (data VERDE raja azuL) (data raja VERDE azuL) (data raja azuL VERDE) (data VERDE azuL VERDE). Verdadero. Falso.

La siguiente regla dam! e1ror en tiempo de ej ecución (defruLe prueba :> (príntaut t ?x crLf)). Verdadero. Falso.

Los elementos condicionales patrón utilizan los conectores lógicos & (and), /(ar), ...(nat) y el orden de precedencia entre ellos es N, &, 1. Verdadero. Falso.

La siguiente regla muestra un elemento condicional patrón con una restricción predicado: (defruLe rol (datos ?X&: (numberp ?X)) => ). Verdadero. Falso.

En la siguiente regla (defruLe encontrar—datos (datos 1 azuL rojo) > el elemento condicional patrón se comparará con hechos ordenados y su primer campo debe ser un símbolo. Verdadero. Falso.

Con la siguiente plantilla (deftempLate datos (sLot w (defauLt ?NONE)) (sLot X (defauLt ?DERIVE)) (sLot v (defauLt (gensym *))) (sLot z (defauLt-dynamic (gensym*)))) sería correcta la orden CLIPS> (assert(datos)). Verdadero. Falso No porque el slot w requiere de un valor ya que su propiedad default ?NONE obliga a ello.

Con la siguiente plantilla (deftempLate caLificación (sLor aLumno (type STRING)) (sLot asignatura (type STRING)) (sLot nota (type NUMBER9 (range 0 19))) sería correcta la siguiente afirmación CLIPS> (assert (caLtftcacion (aLumno “José López”) (asignatura Lengua) (nota 11))). Verdadero. Falso No porque el slot nota supera los límites de su rango.

Al definir los campos de una plantilla, CLIPS siempre obliga que se indique si se va a tratar de un campo monovalor o de un campo multivalor. Verdadero. Falso (deftempLate persona (sLot nombre) (sLot edad) (muLtisLot direccion)) En este ejemplo se muestra dos slots de campo simple y un slot de campo múltiple o multi-slot.

La ejecución de la orden (reset) lleva a cabo las siguientes acciones: 1) Borra la base de conocimiento y todas las activaciones de la agenda. 2) Borra todos los hechos de la lista de hechos. 3) Afirma el hecho (initial—fact). 4) Afirma todos los hechos definidos mediante constructores deffacts. Verdadero. Falso No borra la base de conocimiento. El resto de afirmaciones son ciertas.

La información de Clips se puede representar a tmve's de hechos ordenados, hechos definidos a partir de plantillas y hechos mixtos. Verdadero. Falso La información en Clips se puede representar, entre otros, a través de hechos ordenadosy hechos definidos apartir de plantillas. Los hechos mixtos no existen.

Además de con hechos definidos a partir de plantillas y hechos ordenados, la información en Clips se puede representar con variables globales y con objetos (instancias de clases). Verdadero. Falso.

El siguiente código corresponde a un hecho no ordenado o definido a través de una plantilla. (coche (marca Ford) (modeLo focus) (coLor gris)). Verdadero. Falso Además de establecer el hecho debe de existir una plantilla donde se especifiquen los atributos del hechoy sus restricciones.

Con la siguiente plantilla (deftempLate caLificacion (sLot aLumno (type STRING)) (sLot asignatura (type LEXEME)) (sLot nota (type NUMBER) (range 0 19))) Seria correcta la siguiente afirmación de hechos: CLIPS> (assert (calificacion (alumno “Juan Pérez”) (asignatura Lengua) (nota 7.5))). Verdadero. Falso.

La ejecución de la orden (clear) elimina toda la información del entorno de CLIPS, concretamente: l) Vacía la agenda. 2) Vacía la lista de hechos. 3) Vacía la base de conocimiento. 4) Borra todas las definiciones hechas con constructores. Verdadero. Falso.

Con la siguiente plantilla (deftempLate persona (sLot nombre (type LEXEME)) (sLot edad (type INTEGER SYMBOL») seria correcta la siguiente orden de clips: CLIPS> (assert (persona (nombre “Juan”) (edad treinta))). Verdadero. Falso.

Con la siguiente plantilla (deftempLate persona (sLot nombre (type LEXEME)) (sLot edad (type INTEGER SYMBOL)» sería correcta la siguiente orden de clips CLIPS> (assert (persona (nombre Juan) (edad 20.5))). Verdadero. Falso No porque el slot edad debe ser un número entero o un símbolo.

Los siguientes hechos son hechos ordenados. En el hecho f—O, el tipo de datos del segundo campo es cadena de caracteres y, en el hecho f—l, el segundo campo es de tipo símbolo: f—0 (Libro “EL Quijote”) f-1 (arboL encina). Verdadero. Falso.