PROLOG es un lenguaje de programación lógica orientado a la resolución de problemas mediante predicados y la búsqueda de relaciones entre objetos, LISP es un lenguaje funcional que trata los elementos de forma no destructiva devolviendo listas, y CLIPS es una herramienta para la construcción de sistemas expertos que soporta tres paradigmas de programación y puede integrarse con otros lenguajes.
2.5 Razonamiento Monótono
Concepto
Que es la lógica?
Lógica Proposicional
Lógica Proposicional ejemplo
Deducción Lógica
Deducción Lógica ejemplo
Lógica de Primer Orden
Deducción Lógica ejemplo
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regularesHumano Terricola
Materia de lenguajes y autómatas 1 del Tecnológico de Tepic, maestra Sonia. Si llevas la materia de autómatas con Sonia, copienselo y rólenlo a sus amigos.
2.5 Razonamiento Monótono
Concepto
Que es la lógica?
Lógica Proposicional
Lógica Proposicional ejemplo
Deducción Lógica
Deducción Lógica ejemplo
Lógica de Primer Orden
Deducción Lógica ejemplo
Portafolio unidad 2 [Lenguajes y autómatas]- Expresiones y lenguajes regularesHumano Terricola
Materia de lenguajes y autómatas 1 del Tecnológico de Tepic, maestra Sonia. Si llevas la materia de autómatas con Sonia, copienselo y rólenlo a sus amigos.
Diccionario de datos en los sistemas de informaciónYaskelly Yedra
Un diccionario de datos es un catálogo, un depósito, de los elementos de un sistema. Es un listado organizado de todos los datos pertinentes al sistema con definiciones precisas y rigurosas para que tanto el usuario como el analista tengan un entendimiento en común de todas las entradas, salidas, componentes y cálculos.
Cuadro sinóptico estructuras de datos y su clasificaciónAlex Uhu Colli
Una estructura de datos es una clase de datos que se puede caracterizar por su organización y operaciones definidas sobre ella. Algunas veces a estas estructuras se les llama tipos de datos.
en ellas encontramos las siguientes:
ESTRUCTURAS LÓGICAS DE DATOS:
ESTRUCTURAS PRIMITIVAS Y SIMPLES: ESTRUCTURAS LINEALES Y NO LINEALES:
Diccionario de datos en los sistemas de informaciónYaskelly Yedra
Un diccionario de datos es un catálogo, un depósito, de los elementos de un sistema. Es un listado organizado de todos los datos pertinentes al sistema con definiciones precisas y rigurosas para que tanto el usuario como el analista tengan un entendimiento en común de todas las entradas, salidas, componentes y cálculos.
Cuadro sinóptico estructuras de datos y su clasificaciónAlex Uhu Colli
Una estructura de datos es una clase de datos que se puede caracterizar por su organización y operaciones definidas sobre ella. Algunas veces a estas estructuras se les llama tipos de datos.
en ellas encontramos las siguientes:
ESTRUCTURAS LÓGICAS DE DATOS:
ESTRUCTURAS PRIMITIVAS Y SIMPLES: ESTRUCTURAS LINEALES Y NO LINEALES:
2. PROLOG
PROLOG está orientado a la resolución de problemas mediante el cálculo de
predicados, basado en:
Preguntas a la base de datos.
Pruebas matemáticas.
El programa PROLOG especifica cómo debe ser la solución, en vez de dar el algoritmo
para su resolución. La solución se obtiene mediante búsqueda aplicando la lógica de
predicados.
El programa PROLOG se compone de unos hechos (datos) y un conjunto de reglas, es
decir, relaciones entre objetos de la base de datos.
La ejecución del programa cargado en memoria consiste en realizar una pregunta de
forma interactiva: el interprete generará por inferencia los resultados que se deducen
a partir del contenido de la base de datos.
PROLOG tiene una sintaxis y semántica simples. Sólo busca relaciones entre los
objetos creados, las variables y las listas, que son sus estructuras básicas.
3. LISP
Es un lenguaje de programación aplicativo o funcional, de propósito general,
se basa en la aplicación de funciones a los datos y se apoya en la utilización
de funciones matemáticas para el control de los mismos. El elemento
fundamental en el LISP es la lista, más ampliamente el término. Cada función
del LISP y cada programa que generemos con él vienen dado en forma de
lista. . El nombre proviene del término “List Processing ”.LISP es muy
utilizado en la Inteligencia Artificial.
El LISP trata a los elementos o paramentos que le introducimos de manera no
destructiva, de forma que la mayoría de las funciones nos devuelven una lista
que es el resultado de alguna transformación de otra que recibió, pero sin
cambiar a esta (la que recibió).
Una de las razones por las que el LISP esta especialmente dotado para la
programación en inteligencia artificial (IA), es precisamente, porque su
código y todos los datos tienen la misma estructura, en forma de lista.
4. CLIPS
Representación del Conocimiento: CLIPS permite manejar una amplia variedad de
conocimiento, soportando tres paradigmas de programación: el declarativo, el imperativo, y
el orientado a objetos. Portabilidad: CLIPS fue escrito en C con el fin de hacerlo más portable
y rápido, y ha sido instalado en diversos sistemas operativos (Windows 95/98/NT, MacOS X,
Unix) sin ser necesario modificar su código fuente. CLIPS puede ser ejecutado en cualquier
sistema con un compilador ANSI de C, o un compilador de C++. El código fuente de CLIPS
puede ser modificado en caso que el usuario lo considere necesario, con el fin de agregar o
quitar funcionalidades.
Integralidad: CLIPS puede ser embebido en código imperativo, invocado como una sub-rutina,
e integrado con lenguajes como C, Java, FORTRAN y otros.
Desarrollo Interactivo: La versión estándar de CLIPS provee un ambiente de desarrollo
interactivo y basado en texto; este incluye herramientas para la depuración, ayuda en línea,
y un editor integrado.
Verificación/Validación: CLIPS contiene funcionalidades que permiten verificar las reglas
incluidas en el sistema experto que está siendo desarrollado, incluyendo diseño modular y
particionamiento de la base de conocimientos del sistema, chequeo de restricciones estático
y dinámico para funciones y algunos tipos de datos, y análisis semántico de reglas para
prevenir posibles inconsistencias.
5. CUADROCOMPARATIVO
PROLOG LISP CLIPS
Lenguaje de programación diseñado para
representar y utilizar el conocimiento que se
tiene sobre un determinado dominio.
Es un lenguaje que muestra la información
estructurada en listas en las que se pueden
gestionar la información que estas contienen.
Herramienta proporciona un entorno completo
para la construcción de sistemas expertos
basados en reglas y/o en objetos.
Basado en lógica y programación declarativa.
LISP posee un manejo de memoria automático
que libera el espacio utilizado por los objetos
que dejan de ser necesitados.
Posee tres paradigmas: conocimiento basado en
reglas, orientado a los objetos y conocimiento
procedimental.
No se especifica cómo debe hacerse, sino qué
debe lograrse.
Incluye un mecanismo bastante simple para
utilizar evaluación perezosa de expresiones.
CLIPS puede combinarse con código escrito en
lenguajes como C, FORTRAN o ADA.
Una característica importante en PROLOG y
que lo diferencia de otros lenguajes de
programación, es que una variable sólo puede
tener un valor mientras se cumple el objetivo.
LISP no posee un sistema de tipos estáticos
como puede ocurrir en C/C++.
La versión estándar de CLIPS proporciona un
entorno interactivo, en forma de intérprete de
comandos.
El programador se concentra más en el
conocimiento que en los algoritmos. En
PROLOG, se llega a una solución infiriéndola
desde algo ya conocido.
Las implementaciones en LISP suelen
programarse de manera que cálculos iterativos
puedan realizarse en un espacio constante (en
memoria) aunque hayan sido descritos
mediante el uso de la recursividad.
CLIPS incluye cierto número de características
para realizar la verificación y validación de
sistemas expertos