CLIPS

Para que una regla se active y pase a la agenda se deben de satisfacer todos los elementos condicionales del antecedente de la regla. Verdadero. 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 (SBR) 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. Seleccione una: Verdadero. Falso.

La orden (clear) borra completamente la memoria del trabajo de clips tanto de la base de hechos como la base de conocimiento. Verdadero. 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 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 ejecutaría primero la regla r1 y después la regla r2. Seleccione uno: Verdadero. Falso.

En la siguiente regla (defrule r1 (hombre Socrates) => (assert (mortal ?x)) ) (hombre Socrates) representa un hecho ordenado. Seleccione una: Verdadero. Falso.

El código del siguiente programa es correcto: (deffacts 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 (. Verdadero. Falso.

En el siguiente programa de clips: (deffacts h1 (hombre Socrates) ) (defrule r1 (hombre ?x) => (assert (mortal ?x)) ) El mecanismo de inferencia se denomina comparación de patrones. El ingeniero debe de programar este mecanismo para cada programa de clips que desee ejecutar. Seleccione una: Verdadero. Falso.

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 (SBR) 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. Un programa en clips como el siguiente permitiría realizar inferencias: (deffacts h1 (hombre Socrates) ) (defrule r1 (hombre ?x) => (assert (mortal ?x)) ) Seleccione una: 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.

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)) Seleccione una: Verdadero. Falso.

Con la siguiente plantilla (deftemplate calificación (slor alumno (type STRING)) (slot asignatura (type STRING)) (slot nota (type NUMBER9 (range 0 10))) sería correcta la siguiente afirmación CLIPS> (assert (calificacion (alumno “José López”) (asignatura Lengua) (nota 11))). Verdadero. Falso.

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.

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.

La información de Clips se puede representar a través de hechos ordenados, hechos definidos a partir de plantillas y hechos mixtos. Verdadero. Falso.

Además de con hechos definidos a partir de plantillas y hechos ordenados, lai nformació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)) Seleccione una: Verdadero. Falso.

Con la siguiente plantilla (deftemplate calificacion (slot alumno (type STRING)) (slot asignatura (type LEXEME)) (slot nota (type NUMBER) (range 0 10))) Sería correcta la siguiente afirmación de hechos: CLIPS> (assert (calificacion (alumno “Juan Pérez”) (asignatura Lengua) (nota 7.5))) Seleccione una: Verdadero. Falso.

La ejecución de la orden (clear) elimina toda la información del entorno de CLIPS, concretamente: 1) 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))) sería correcta la siguiente orden de clips: CLIPS> (assert (persona (nombre “Juan”) (edad treinta))) Seleccione una: 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))) Seleccione una: Verdadero. Falso.

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

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

En los elementos condicionales patrón cuando se usan restricciones con variables: Seleccione una o más de una: 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 r1 (datos-A ~azul) => ) (defrule r2 (datos-B (valor ~rojo&~verde)) => ) (defrule r3 (datos- (valor verde|rojo)) => ). La regla r2 no se activaría. La regla r1 se activaría dos veces. La regla r3 se activaría 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 r1 no se activaría. La regla r1 se activaría dos veces.

Con los siguientes hechos, ¿cuántas veces se activaría la siguiente regla? Responda uno de los posibles valores (1, 2, 3, 4). 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 r1 (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?. ?x.

En el siguiente programa (deffacts hechos (comidas carne huevos pescado) ) (defrule r1 (comidas xxxa ?x xxxq) => (printout ?x crlf) ). $?.

Si tenemos una plantilla (deftemplate persona (multislot nombre) (slot edad)) El patrón (persona (nombreJuan)) emparejaría con el hecho (persona (nombreJuan)). Verdadero. Falso.

En la siguiente regla: (defrule encontrar-datos (datos 1 azul rojo) => ) el elemento condicional patrón contiene sólo restricciones literales. Seleccione una: Verdadero. Falso.

La siguiente regla (defrule encontrar-datos (datos 1 azul rojo) => ) con los siguientes hechos no se activaría f-0 (initial fact) 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 rojo azul) f-6 (datos 1 azul rojo 6.9) Seleccione una: Verdadero. Falso.

El siguiente ECP (dato $? VERDE $?) no emparejaría con todos los siguientes hechos: (dato VERDE) (dato VERDE rojo azul) (dato rojo VERDE azul) (dato rojo azul VERDE) (dato VERDE azul VERDE) Seleccione una: Verdadero. Falso.

La siguiente regla dará error en tiempo de ejecución (defrule prueba => (printout t ?x crlf)) Seleccione una: Verdadero. Falso.

La siguiente regla muestra un elemento condicional patrón con una restricción predicado: (defrule r1 (datos ?x&:(numberp ?x)) => ) Seleccione una: 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. Seleccione una: Verdadero. Falso.