LOGICA
Computacional
Elaborado por:
Ing. Tania Pineda
PROGRAMACIÓ
N LÓGICA
Introducción a la Programación con
PSeInt
¿Qué es la
programación lógica?
• La programación lógica se entiende como
el mecanismo donde el usuario debe
hacerse cargo de programar el ordenador
para que sea capaz de tomar decisiones
propias basándose en los postulados y
parámetros de la lógica matemática.
• Cabe destacar que, para que este tipo de
programación pueda cumplir con su
objetivo, el programador debe realizar la
escritura de un código libre de
ambigüedades, lo que quiere decir que las
sentencias escritas deben tener sentido y
ser verdaderas. Esto implica que sean
lógicas.
Características de la programación lógica
• Como característica o propiedad fundamental de la programación lógica
se encuentra que es una variedad de lo que se conoce como
programación declarativa.
• Se enfoca en establecer la resolución de un problema determinado a
partir del qué, es decir, funciona de manera descriptiva, indicando
relaciones entre entidades, lo que lleva a que los lenguajes sean de alto
nivel de abstracción.
• Además, este tipo de programación se basa en la fórmula de la
reconocida ecuación informal de Kowalski, que dice que algoritmos =
lógica + control.
Principales Características
• Reglas y Hechos: El núcleo de cualquier programa
lógico consiste en hechos y reglas.
• Resolución y Búsqueda: Utiliza un motor de
inferencia que aplica métodos de resolución para
deducir conclusiones a partir de las reglas
definidas.
Aplicaciones de la Programación Lógica
• Sistemas Expertos: Utilizan la programación lógica para emular el
razonamiento humano y proporcionar decisiones basadas en un
conjunto complejo de reglas.
• Procesamiento del Lenguaje Natural: Para manipular y entender el
lenguaje humano, construyendo gramáticas y analizando el significado
de las oraciones.
• Bases de Datos y Recuperación de Información: La capacidad de
formular consultas complejas y realizar búsquedas lógicas sobre
grandes conjuntos de datos.
Ventajas de la Programación Lógica
• Claridad y Concisión: Los programas escritos en un lenguaje
lógico tienden a ser más cortos y más fáciles de entender.
• Facilidad de Modificación: Añadir nuevo conocimiento no
requiere cambiar el programa existente.
• Potente Abstracción: La capacidad de abstraer y razonar sobre
relaciones y hechos permite construir soluciones generales
robustas y extensibles.
Desafíos y Consideraciones
• Eficiencia: Puede enfrentar desafíos de rendimiento debido a la
necesidad de buscar en espacios de soluciones potencialmente
grandes.
• Curva de Aprendizaje: El salto a pensar en términos lógicos
puede ser desafiante para quienes están acostumbrados a
paradigmas de programación más tradicionales.
Lógica de programación
La lógica de programación es el método para resolver problemas y llegar a una solución
mediante las instrucciones codificadas de una manera específica y ordenada.
Tipos de Lógica en Programación:
Lógica Booleana: Funciona con variables que pueden tener dos valores, verdadero o falso.
Lógica de Primer Orden: Involucra cuantificadores, variables y permite hablar sobre objetos en
un dominio.
Lógica de Alto Orden: Permite a las funciones tomar otras funciones como parámetros y
devolverlas como resultado.
Programación Lógica Vs.
Lógica de Programación
• Programación Lógica: Un
paradigma de programación
específico que usa la lógica de
primer orden como principal
mecanismo para llegar a las
soluciones.
• Lógica de Programación: Los
fundamentos generales que
permiten estructurar un programa
de manera lógica y coherente.
Lógica de programación y su
papel en la inteligencia
artificial
• Razonamiento Lógico: Los sistemas de
IA utilizan la lógica de programación
para formular inferencias y
deducciones basadas en los datos con
los que interactúan.
• Solución de Problemas: La IA requiere
una estructuración lógica para navegar
por los datos, identificar problemas y
crear soluciones viables.