Sem clips

INTELIGENCIA ARTIFICIAL

Seminario de CLIPS (V6.3)
(C Language Integrated Production System)

Dpto. Sistemas Informáticos y Computación UNIVERSIDAD POLITECNICA DE VALENCIA

-1-

-2-

CLIPS V6.3 (C Language Integrated Production System)
Indice 1.- Introducción 2.- Hechos 3.- Reglas 3.1.- Estrategia de control 3.2.- Variables 3.3.- Hechos de control (Control Facts) 3.4.- Restriccionesen las reglas 3.5.- Prioridad en las reglas 4.- Funciones. 4.1.- Funciones predefinidas. 4.2.- Programación procedural. 4.3.- Funciones externas. 4.4.- Variables globales Algunos comandos CLIPS

-3-

-4-

1.- Introducción CLIPS es una herramienta de Sistemas Expertos desarrollada por Software Technology Branch de la NASA/Lyndon B. Johnson Space Center. CLIPS está diseñado para facilitarel desarrollo de software que requiere modelizar conocimiento de expertos en un determinado problema. Hay tres formas de representar conocimiento en CLIPS: - reglas: especialmente destinadas para representar conocimiento heurístico basado en la experiencia - funciones: para representar conocimiento procedural - programación orientada a objetos (POO): para representar principalmente conocimientoprocedural. CLIPS soporta las 6 características generlamente aceptadas de la POO: clases, paso de mensajes, abstración, encapsulamiento, herencia y polimorfismo. CLIPS soporta por tanto los 3 paradigmas de programación: - programación basada en reglas: reglas+ hechos (facts) - programación procedural: funciones - programación orientada a objetos: objetos+paso de mensajes Características de CLIPS: •CLIPS es una herramienta escrita en C • plena integración con otros lenguajes como C y ADA • desde un lenguaje procedural se puede llamar a un proceso CLIPS, éste realiza su función y luego le devuelve el control al programa. • se puede incorporar código procedural como funciones externas en CLIPS • Las reglas pueden hacer "pattern-matching" sobre objetos y hechos formando así un sistema integrado.• CLIPS tiene una sintaxis estilo LISP que utiliza paréntesis como delimitadores. CLIPS es un Sistema de Producción que se compone de los siguientes módulos: - Memoria Global o Base de Hechos (hechos + instancias de objetos) - Base de Conocimientos o Reglas (reglas) - Motor de Inferencia (control)

-5-

2.- HECHOS (Facts) HECHO • los hechos representan un conjunto de variables, propiedades yvalores que éstas pueden tomar. • número ilimitado de campos separados por blancos y encerrados entre paréntesis balanceados. Los campos pueden tener o no un nombre asignado. • todos los hechos tienen un identificador • CLIPS define por defecto un hecho inicial (initial-fact) cuando se carga la aplicación. • todos los hechos se insertan en la lista Facts Window (BASE DE HECHOS). TIPOS HECHOS •Hechos ordenados: • los campos no tienen nombre asignado • el orden de los campos es significativo • tipos de los campos: float, integer, symbol, string, externaladdress, fact-address, instance-name, instance-address • funciones sobre hechos: assert, retract • se suele utilizar el primer campo de un hecho para describir una relación entre campos. EJEMPLO 1: (jarra) (jarra nombre "X") (jarra nombre"X" contenido 0 capacidad 4) El comando assert se utiliza para insertar un hecho en la Base de Hechos (BH). La sintáxis es (assert *). En la ventana Facts Window se muestra la lisa de hechos que contiene la BH. CLIPS> (assert (jarra nombre "X" contenido 0 capacidad 4)) ;; identificador del hecho CLIPS> (assert (bloque A libre)) CLIPS> (assert (bloque B mesa))

-6-

Cuando se inserta unhecho en la BH, CLIPS devuelve el identificador de dicho hecho. Los nombres de los identificadores son de la forma donde 'n' es el índice del hecho (fact-index). El comando retract se utiliza para eliminar un hecho de la BH. La sintáxis de este comando es (retract *). CLIPS> (retract 1) CLIPS> (retract 0 2) CLIPS> ;; se elimina el hecho ;; La Base de Hechos está vacía ahora

Al eliminar el hecho...