APRENDICES
Pilar Serrano Almanza
Ginna P. Medina Rodríguez
Freddy Trujillo Ceron
Gerardo Carvajal Vargas
LOGICA
La lógica es una ciencia formal que estudia las formas válidas de inferencia. Es el estudio de métodos y principios utilizados para distinguir el razonamiento correcto del incorrecto.
PROGRAMACION LOGICA
La programación lógica consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación
La programación lógica comprende tres
paradigmas de programación:
•Programación declarativa
•Programación Imperativa
•Programación Funcional
La Programación Declarativa
Es un paradigma de programación que está basado en el desarrollo de programas especificando o "declarando" un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema y detallan su solución. La solución es obtenida mediante mecanismos internos de control, sin especificar exactamente cómo encontrarla.
La Programación funcional
Es un paradigma de programación declarativa basado en la utilización de funciones matemáticas.
Existen dos grandes categorías de lenguajes funcionales:
Los funcionales puros E los híbridos.
FUNCIONALES PUROS E HIBRIDOS
La diferencia entre ambos esta en que los lenguajes funcionales híbridos son menos dogmáticos que los puros, al admitir conceptos tomados de los lenguajes imperativos, como las secuencias de instrucciones o la asignación de variables. En contraste, los lenguajes funcionales puros tienen una mayor potencia expresiva, conservando a la vez su transparencia referencial, algo que no se cumple siempre con un lenguaje funcional híbrido.
CAMPOS DE APLICACION
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.
•Reconocimiento de lenguaje natural, donde un programa es capaz de comprender (con limitaciones) la información contenida en una expresión lingüística humana.
•Demostración automática de teoremas, donde un programa genera nuevos teoremas sobre una teoría existente.
GRACIAS…
No hay comentarios:
Publicar un comentario