Clausulas De Horn

Instituto tecnológico de Campeche

Carrera

Ingeniería en Sistemas Computacionales

Materia:

Programación Lógica y Funcional

Alumno(a):

Ana Lilia Pérez Sánchez

Trabajo:

Investigación Clausulas de Horn

¿Qué es una cláusula de Horn?

Una cláusula de Horn es una regla de inferencia lógica con una serie de premisas (cero, una o más), y un único consecuente. Las cláusulas de Horn son las instrucciones básicas del lenguaje de programación Prolog, de paradigma declarativo.

En lógica matemática, una cláusula de Horn es una cláusula (una disyunción de literales), con a lo sumo, uno positivo literal. Lleva ese nombre después que el lógico Alfred Horn, que fue el primero en señalar la importancia de estas cláusulas en 1951, en el artículo "On sentences which are true of direct unions of algebras".

Una cláusula de Horn con exactamente un literal positivo es una cláusula definitiva, una cláusula de Horn sin literales positivos a veces se denomina "cláusula de un objetivo", sobre todo en la lógica de programación. Una fórmula de Horn es una forma normal conjuntiva cuyas cláusulas son todos de Horns, en otras palabras, se trata de una conjunción de cláusulas de Horn. Un doble cláusula de Horn es una cláusula con a lo sumo, uno negativo literal. Las cláusulas de Horn vienen a desempeñar un papel fundamental en la lógica de programación.

El siguiente es un ejemplo de una cláusula de Horn definitiva:

Esta fórmula también puede ser escrita equivalentemente como una implicación:

Recuperado de: http://wiki.lal.labf.usb.ve/Lenguajes/Wiki.jsp?page=Clausula%20de%20Horn

Características

1) La cláusula vacía es una meta definitiva y, por lo tanto, una cláusula de Horn.

2) Las cláusulas de Horn implican restricciones expresivas. Por ejemplo, no podemos expresar p(a)_p(b)

3) Debido a su estructura restringida, las cláusulas de Horn son más fáciles de manipular que las clausulas generales

4) Una propiedad importante de las cláusulas de Horn es que al resolver dos cláusulas de Horn se obtiene como resolvente otra cláusula de Horn. Esto garantiza que siempre se estará operando con el mismo formato durante el proceso de demostración.

Recuperado de: http://www.uv.mx/aguerra/documents/2011-mpi-slides-03.pdf

Tipos de Cláusulas de Horn

• Las cláusulas determinadas (definite clauses), o cláusulas de Horn con cabeza son las que sólo tienen

...