LOGICA DE PREDICADOS

La principal debilidad de la lógica proposicional es su limitada habilidad para expresar

conocimiento. Existen varias sentencias complejas que pierden mucho de su significado cuando se
las representa en lógica proposicional.

Por esto se desarrolló una forma lógica más general, capaz de representar todos los detalles
expresados en las sentencias, esta es la lógica de predicados.

Con la lógica de predicados intentamos conseguir sistemas de demostración automática de

teoremas. Partimos de elementos básicos como las frases declarativas simples o proposiciones
que son aquellos elementos de una frase que constituyen por sí solos una unidad de comunicación
de conocimientos y pueden ser considerados Verdaderos y Falsos.

La lógica de predicados estudia las frases declarativas con mayor grado de detalle, considerando la
estructura interna de las proposiciones. Se tomarán como elemento básico los objetos y las
relaciones entre dichos objetos.

La lógica de predicados está desarrollada con el fin de analizar casos más generales que la lógica
proposicional.

Se relaciona con palabras especiales (cuantificadores) como 'todo', 'algo' y 'no'.

Se basa en que las proposiciones son conjuntos de elementos que tienen una propiedad o
característica en común. En este contexto, una proposición puede ser verdadera para un grupo de
elementos de un conjunto, pero falsa para otro.

 
 PROGRAMACIÓN LÓGICA
 

La programación lógica se basa en fragmentos de la lógica de predicados, como las cláusulas de

Horn, que puede emplearse como base para un lenguaje de programación al poseer una
semántica operacional susceptible de una implementación eficiente, como la resolución SLD.

Algunos lenguajes de programación han sido diseñados para razonar haciendo uso de las reglas de
la lógica de predicados. Prolog es un ejemplo de este importante tipo de lenguajes.

Algunos lenguajes de programación han sido diseñados para razonar haciendo uso de las reglas de
la lógica de predicados. Prolog (que proviene de Programación en lógica), desarrollado en los años
setenta por informáticos que trabajaban en el área de inteligencia artificial, es un ejemplo de este
importante tipo de lenguajes. Los programas en Prolog incluyen un conjunto de declaraciones
basadas en dos tipos de sentencias, hechos y reglas. Los hechos en Prolog definen predicados
especificando los elementos que satisfacen esos predicados. Las reglas en Prolog se emplean para
definir nuevos predicados utilizando aquellos ya definidos por hechos.

Considerando un programa en Prolog que parte de unos hechos que especifica el profesor de cada
asignatura y en que asignaturas están matriculados los alumnos. El programa hace uso de estos
hechos para responder preguntas relacionadas con los profesores de un alumno en particular.
Este programa podría utilizar los predicados profesor (p, a) y matriculado (e, a) para representar
que el profesor p es el profesor de la asignatura a y que el estudiante este matriculado en la
asignatura a, respectivamente. Por ejemplo, los hechos en Prolog de tal programa podrían incluir:

profesor (chan, mate273)

profesor (patel, ec222)

profesor (Grossman, cc301)

matriculado (kevin, mate273)

matriculado (juana, ec222)

matriculado (juana, cc301)

matriculado (kiko, mate273)

matriculado (kiko, cc301)

Un nuevo predicado enseña (P, E), que presenta que el profesor P da clase al estudiante E, se
puede definir haciendo uso de la regla en prolog:

Enseña (P, E) :- profesor (P, A), matriculado (E, A)

que significa que enseña (P, E) es verdadero si existe una asignatura a tal que el profesor P es el
profesor de la asignatura A y el estudiante E está matriculado en la asignatura A.

Carlos Alberto Lopez Aguirre

Código 100268601