Please enable JavaScript.
Coggle requires JavaScript to display documents.
Modelo de programación lógica., JENIFER SANCHEZ PLACIDO - Coggle Diagram
Modelo de programación lógica.
4.8. Manipulación de términos.
Implica trabajar con las entidades básicas de la lógica.
Evaluación
Deconstrucción
Unificación
Permite encontrar soluciones a consultas mediante la igualación de términos.
Los términos pueden ser constantes, variables o estructuras complejas.
4.9 Predicados mitológicos.
Son predicados que se utilizan para controlar el comportamiento del sistema de resolución
Se utilizan para controlar la forma en que el sistema de resolución resuelve las cláusulas
El predicado
fail
indica que la resolución ha fallado.
El predicado
backtrack
retrocede un paso en el proceso de resolución.
El predicado
cut
corta el proceso de resolución en un punto determinado.
4.2. Semántica de los programas lógicos.
En Prolog y otros lenguajes de programación lógica, las reglas y hechos representan afirmaciones lógicas que definen relaciones entre entidades.
La semántica establece cómo se interpretan estas declaraciones y cómo se derivan las respuestas a las consultas.
La semántica da significado a los programas y permite describir formalmente lo que calculan
Semántica operacional:
Esta semántica se basa en el comportamiento del programa cuando se ejecuta.
Semántica declarativa
: Esta semántica se basa en el significado de las cláusulas de Horn.
4.1 Introducción al modelo de programación lógica.
La programación lógica es un paradigma de programación que utiliza la lógica para representar el conocimiento y la resolución de problemas.
En este paradigma, un programa es un conjunto de cláusulas de Horn, que son un tipo especial de cláusulas lógicas en las que cada variable aparece en una sola disjunción.
Aplicaciones de la programación lógica
Robótica
Bases de datos
Inteligencia artificial
4.6. Programación lógica con números, listas y árboles.
Listas:
En programación lógica, las listas se representan como listas de cláusulas.
Arboles:
En programación lógica, los árboles se representan como árboles de cláusulas.
Números:
En programación lógica, los números se representan como átomos.
4.7. Control de búsqueda en programas lógicos
Proceso de controlar el orden en el que se exploran los nodos de un espacio de búsqueda.
Técnicas más comunes
Las estrategias de poda eliminan los nodos del espacio de búsqueda.
Las heurísticas proporcionan información adicional sobre los nodos del espacio de búsqueda.
La ordenación de los nodos garantiza que se exploren los nodos más prometedores primero.
Elementos importantes del control de búsqueda.
Corte (cut)
El backtracking, los puntos de elección (choice points)
4.4. Consulta de una base de cláusulas.
La consulta de una base de cláusulas implica hacer preguntas lógicas a la base de conocimientos definida por el programa
En Prolog, esto se logra mediante la formulación de consultas.
El motor de inferencia de Prolog resuelve estas consultas explorando la base de conocimientos
Consultas positivas
Preguntan si una determinada cláusula es verdadera.
Consultas negativas
Preguntan si una determinada cláusula es falsa.
4.5. Espacios de búsqueda.
Al conjunto de todas las posibles soluciones a un problema concreto se llama espacio de búsqueda
Búsqueda en espacios de búsqueda
Proceso de encontrar un estado en un espacio de búsqueda que satisfaga un conjunto de condiciones.
Los espacios de búsqueda se pueden representar utilizando cláusulas de Horn
Transiciones
Estados
Condiciones de finalización
4.3. Representación clausada del conocimiento.
Se basan en la noción de cláusulas de Horn
son un tipo especial de cláusulas lógicas en las que cada variable aparece en una sola disjunción
Representación de conocimiento
Reglas
Funciones
Hechos
Representación de datos
Listas
Árboles
Números
JENIFER SANCHEZ PLACIDO