Paradigma de la programación lógica

Vista previa del material en texto

Escuela
Instituto Politécnico Nacional
(IPN)
Unidad
Unidad Profesional Interdisciplinaria de Ingeniería Campus Coahuila
(UPIIC)
Carrera 
Ingeniería en Inteligencia Artificial
Asignatura
Paradigmas de programación
Carrera 
Ingeniería en Inteligencia Artificial
Profesor
Raúl Campos Posada
Alumno
Diego Omar Matias Cruz
Tercer Semestre 
Grupo Uno
Sistemas de procesamiento paralelo
Explica con tus propias palabras la filosofía del Paradigma de la programación lógica:
El paradigma de software lógico, denominado también como programación predicativa, se basa en la lógica matemática. En lugar de una sucesión de instrucciones, un software programado según este principio contiene un conjuntode principios que se pueden entender como una recopilación de hechos y suposiciones.
¿Qué es la programación lógica?
R= La programación lógica es un tipo de paradigma de programación dentro del paradigma de programación declarativa. La programación lógica es un tipo de paradigma de programación dentro del paradigma de programación declarativa.
¿Qué es lo que trata de resolver la programación lógica?
R= La programación lógica encuentra su hábitat natural en aplicaciones de inteligencia artificial o relacionadas:
· Sistemas expertos, donde un sistema de información imita las recomendaciones de un experto sobre algún dominio de conocimiento.
· Demostración automática de teoremas, donde un programa genera nuevos teoremas sobre una teoría existente.
· Reconocimiento de lenguaje natural, donde un programa es capaz de comprender (con limitaciones) la información contenida en una expresión lingüística humana.