Clips

1
Clips

• Lenguaje para sistemas expertos

2
Características-básicas

• hechos
• Base de datos indexada
• El mantenimiento se hará mediante el índice que
  es secuencial e interno.
• Formato textos marcados por paréntesis
• Vectores separador espacio
• Ej(2) ( 2 3) (pepe) (pepe gotera y otilio)

3
Operaciones

• Añadir ( assert ( vicente pascual))
• Borrar el primero (retract 1) (initial-fact)
• Hojear (facts)
• (reset borra asserciones añade (initial-fact)

4
Registros/Plantillas

• (deftemplate nombre comentario
• (slot propiedad (type tipo)(range inf fin )
  (allowed-values lista )(default valor ) )
• (multislot nombre))
• Modificaciones
• (modify Idx (propiedad valor))
• Duplicados
• (duplicate idx (propiedad Valor))

5
Inferencia

• Si unificación entonces acción
• Unificación contrasta si el antecedente de la
  regla empareja con algún elemento de la base de
  hechos.
• Los antecedentes se suponen y-conjuntados
• Identidad (a) (a)
• Emparejamiento P(x) P(a)
• Accion
• Operación de salida
• Operación de mantenimiento de hechos

6
formato Reglas

• (defrule nombre commentario
• (declare (salience 2000))
• (antecedente1 valor)
• (antecedente2 ?variable)
• gt
• Acciones de consecuente, podrá usar la variable.
• Las variables tienen unificación única esto es
  que de ser utilizada varias veces en la expresión
  las siguientes se supondrán asignadas

7
Filtros

• Acotaciones a los valores de las variables
• (numero ?x( gt ?x 3)
• Existe otro filtro mediante test
• Predicado que se puede añadir al antecedente de
  las reglas
• (edad ?x )
• (test (gt( ?x 5) 12))gt

8
Restricción para todos

• Cuando todos los hechos que figuren en la base
  tienen que cumplir las restricciones del
  antecedente
• C1 (nombre ?x) C2 (nombre ?x)
• Ojo No significa el producto cartesiano

9
Existencia

• La regla se disparara una única vez cuando
  encuentre una unificación no mirará las demás.
• (exist (antecedente valor)) gt.
• Negación
• (no (antecedente valor)) gt..

10
Regla de disparo

• Una regla que se ha activado con unos datos no
  volverá a dispararse con los mismos datos.
• Solución/Problema
• Modificar los datos
• Reactivar la regla (refresh nombreregla)
• Los antecedentes pueden operarse mediante O pero
  es mejor dos reglas

11
Integridad

• Una regla puede modificar/añadir/borrar hechos a
  la base de hechos en alguno de los pasos
  podríamos
• Si los antecedentes los declaramos logical
• El vinculo es permanente de forma que si en el
  futuro alguno de los antecedentes desapareciese
  el consecuente también
• (logical (alarma) (fuegoviolento))

12
Datos iniciales

• (deffacts nombrebloque coment
• (hechos valores)
• )

13
Captura de el índice de un hecho

• En el antecedente añadir al predicado
• ?n lt- (persona (nombre ?x))

14
Entrada/Salida

• Entrada lectura de teclado
• (bind ?variable (read)
• (bind ?varaible readline)
• Salida
• (printout t items )
• Salida formateada
• (format nombrelógico Output cadenacontrol
  parámetros)

15
funciones

• (deffunction mover(?mi ?ca ?or)
• Admite programación imperativa
• (if (cond) then (acciones/salidas)
  else(acciones altern)
• (while (condicion) do (accciones)
• Uso (mover 2 3 3)

16
Módulos

• La programación puede realizarse en módulos que
  son independientes a todos los efectos . Tienen
  su propia base de datos y sus propias funciones y
  su propia agenda de reglas aunque la base de
  datos puede exportarse/importarse por otros
  módulos esta compartición se realiza en la
  definición del modulo.
• Una de las acciones posibles es cambiar de módulo.

17
El entrorno
18
comandos

• (clear)
• (exit)
• (reset)
• (run) (n)
• ( 2 3)