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á vacía. El valor por defecto es el símbolo ?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, ni 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). (colores AZUL verde). (colores verde amarillo perro). (colores AZUL).

La siguiente regla: (defrule regla 1 (datos ?x) => (assert (?datos))). Inserta 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 correcta y se dispara 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.

¿Cuáles de los siguientes métodos se ejecutaría para la llamada (m1 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 ejecución, CLIPS la dispararía con: (defrule regal1 (datos $?) =>). Todos los hechos ordenados cuyo primer valor sea datos. El primer hecho no utilizado aun, empezando por arriba de la base de hechos, que encaje con el antecedente. El primero no utilizado aun, empezando por debajo de la base de hechos, que encaje con el antecedente. Todas las respuestas anteriores son falsas.

¿Cuál de los siguiente no es un tipo de dato en CLIPS?. Símbolo. Entero. Hecho. Dirección de hecho.

¿Cuál 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 mínimo 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. Evalúa 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.

Con la siguiente plantilla: (deftemplate persona (slot nombre (type LEXEME)) (slot edad (type SYMBOL))) sería correcto la orden: (assert (persona (nombre Juan)(edad 20.5))). Verdadero. Falso.

Al definir los campos de una plantilla, CLIPS siempre obliga que se indique si va a tratar de un campo monovalor o de un campo multivalor. Verdadero. Falso.

(defrule r1 (hombre ?x) => (printout t ?x "es mortal" crlf) ) (defrule r2 (hombre ?x) => (assert (mortal ?x)) ) El motor de inferencia ejecutaria primero la regla r1 y despues la regla r2. 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 comparacion de partrones. El ingeniero debe de programar este mecanismo para cada programa de clips que desee ejecutar. Verdadero. Falso.

En la siguiente regla: (defrule encontrar-datos (datos 1 azul rojo) => ) el elemento condicional patron contiene solo restricciones literales. Verdadero. Falso.

La siguiente regla: (defrule encontrar-datos (datos 1 azul rojo) => ) con los siguientes hechos no se activaria: 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). Verdadero. Falso.

La siguiente regla muestra un elemento condicional patron con una restriccion predicado: (defrule r1 (datos ?x&:(numberp ?x)) => ). Verdadero. Falso.

La regla: (defrule parar (logical (semaforo rojo)) => (assert (parar))) indica: Que si existe el hecho (semaforo rojo) entonces se inserta el hecho (parar), sino se borra el hecho (parar). Que si no existe el hecho (semaforo rojo) entonces se inserta el hecho (parar), sino se inserta el hecho (not parar). Que si existe el hecho (semaforo rojo) entonces se inserta el hecho (parar), y si se borra el hecho (parar) entonces se borra automaticamente (semaforo rojo).

El elemento condicional: (test (= 2 2)) es: Correcto, comprobando el valor devuelto por una funcion. Incorrecto, ya que necesita utilizar una variable. Incorrecto, ya que necesita utilizar un patron.

La informacion en Clips se puede representar a traves de hechos ordenados, hechos definidos a partir de plantillas y hechos mixtos. Verdadero. Falso.

Con la siguiente plantilla: (deftemplate calificacion (slot alumno (type STRING)) (slot asignatura (type LEXEME)) (slot nota (type NUMBER)(range 0 10))) seria correcta la siguiente afirmacion de hechos: CLIPS>(assert (calificacion(alumno "Jose Lopez")(asignatura Lengua)(nota 11))). Verdadero. Falso.

En un ciclo de ejecucion del motor de inferencia todas las reglas que esten activadas en la agenda se disparan y sus acciones son ejecutadas. Verdadero. Falso.

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

En el antecedente de la regla Seleccione una o mas de una: Pueden incluirse acciones que afirmen hechos. Hay 8 tipos de EC que son: - EC patron - EC test - EC and - EC or - EC not - EC exists - EC forall - EC logical. Hay diferentes tipos de elementos condicionales patron.