Resumen de Paradigmas de Programación




UNIDAD 2

Concepto de Programación Lógica
Tiene como característica diferenciadora el hecho de manejarse de manera declarativa y con la aplicación de las reglas de la lógica.
Su característica principal es la aplicación de las reglas de la lógica para establecer conclusiones a partir de datos.
Existe una base de conocimiento formado por hechos sobre la cual se hacen consultas. Loshechos representan la información del sistema expresada como relaciones entre datos y reglas lógicas.
Trabaja más con relaciones que con funciones. Se basa en la premisa de que programar con relaciones es más flexible que programar con funciones, debido a que las relaciones tratan de forma uniforme a los argumentos y a los resultados.

Áreas de Aplicación

INTELIGENCIA ARTIFICIAL

Sistemasexpertos
Procesamiento del lenguaje humano

Un sistema experto es un sistema que imita el comportamiento de un experto humano. Contiene una base de conocimiento y una herramienta para comprender preguntas y encontrar la respuesta examinando una base de datos – UN MOTOR DE INFERENCIA -

PROBLEMAS COMBINATORIOS

Resolución de problemas que requieran gran cantidad o amplitud de solucionesalternativas.

Lógica de Predicados. Formas proposicionales
LÓGICA PROPOSICIONAL

La lógica de primer orden o lógica proposicional es la que utiliza proposiciones y nexos entre éstas para expresar sus verdades.
Las proposiciones equivalen a frases u oraciones del lenguaje hablado, mientras que los nexos a través de los cuales se pueden relacionar estas proposiciones son la conjunción(y), la disyunción (o) y la implicación (si).
El lenguaje formal de la lógica proposicional es el Lenguaje de Primer Orden (LPO). (lenguaje de representación del conocimiento).

Lenguaje de primer orden:

ENUNCIADOS ATÓMICOS: Son los enunciados más básicos de Lenguaje de Primer Orden. Estos se corresponden a los enunciados más simples del español. Consisten en uno o mas nombres conectadospor algún predicado.
Por ejemplo: “Juan es grande”.

CONSTANTES INDIVIDUALES: Las constantes individuales son simplemente símbolos (nombres) que se usan para referir a algún objeto individual. Por ejemplo, podríamos usar “Juan” como una constante individual para denotar una persona particular.
Las constantes individuales hacen referencia a únicamente unobjeto en particular.


ARIDAD: Es un número que indica cuántas constantes individuales necesita el predicado para formar una oración.
El predicado unario (aridad 1), se usa para denotar alguna propiedad de un argumento.
Por ejemplo: grande(Juan) - “Juan es grande”.
En el caso de tener más argumentos, este predicado será utilizado pararepresentar una relación entre sus argumentos.
Por ejemplo: hermano(Juan, Pedro) -“Juan es hermano de Pedro”

CONSULTAS: Consiste en hacer una pregunta acerca de si se cumple o no una cierta relación entre objetos. Por ejemplo: ¿Juan es hermano de Pedro?
Esto significa encontrar este hecho como tal en la base de conocimientos. Si un hecho idéntico a la consulta es hallado,se responde true.
Por ejemplo:
Hermano(Juan, Pedro)

CONSULTAS EXISTENCIALES: Por ejemplo: hermano(Juan,X)
Aquí consultamos si existe un X para el que Juan sea hermano.


DECLARACIONES

Los programas se desarrollan declarando un conjunto de condiciones, proposiciones, afirmaciones, restricciones, ecuaciones o transformaciones que describen el problema ydetallan su solución. Esta, es obtenida mediante mecanismos internos de control, sin especificar exactamente cómo encontrarla (no responde a un algoritmo que indique los pasos para llegar a una solución). No existen asignaciones de celdas de memoria.
“Cada línea de un programa es una declaración, no una orden”.


Lenguaje Prolog – Estructura general de programas

PROLOG es un lenguaje de...