Clausulas DE HORN _ Alan Samuel Vazquez Rivera PDF

Preview

Summary

Hola este es mi aporte de documento para este gran foro...

Description

INSTITUTO TECNOLOGICO DE MATEHUALA

PROGRAMACION LOGICA Y FUNCIONAL APUNTES T3

PROFESOR: THELMA CARRILLO LOPEZ ALUMNO: ALAN SAMUEL VAZQUEZ RIVERA INGENIERÍA EN SISTEMAS COMPUTACIONALES

Clausula De Horn.....................................................................3 Referencias..............................................................................5

2

CLAUSULA DE HORN En lógica proposicional, una fórmula lógica es una cláusula de Horn si es una cláusula (disyunción de literales) con, como máximo, un literal positivo. Se llaman así por el lógico Alfred Horn, el primero en señalar la importancia de estas cláusulas en 1951. Esto es un ejemplo de una cláusula de Horn: Una fórmula como esta también puede reescribirse de forma equivalente como una implicación: Una cláusula de Horn con exactamente un literal positivo es una cláusula "definite"; en álgebra universal las cláusulas "definites" resultan (aparecen) como cuasi-identidades. Una cláusula de Horn sin ningún literal positivo es a veces llamada cláusula objetivo (goal) o consulta (query), especialmente en programación lógica. Una fórmula de Horn es una cadena textual (string) de cuantificadores existenciales o universales seguidos por una conjunción de cláusulas de Horn. Se llaman cláusulas de Horn aquellas que tienen como máximo un literal positivo. Hay dos tipos:  Las cláusulas determinadas (definite clauses), o cláusulas de Horn con cabeza: son las que sólo tienen un literal positivo: (¬p1 ¬p2

... ¬pk

q)

(p1

p2

...

pk

q)

Caso particular son las no tienen más que ese literal positivo, que representan «hechos» , es decir, conocimiento factual.  Los objetivos determinados (definite goals), o cláusulas de Horn sin cabeza: son las que no tienen ningún literal positivo: (¬p1 ¬p2

... ¬pk) ¬(p1

p2

...

pk)

En este caso, las fórmulas atómicas p1,p2,...,pk son inconsistentes, es decir no es posible que sean todas verdaderas. Provienen de la negación de conclusiones que el

3

sistema deductivo debe obtener mediante resolución y refutación.

USO EN PROLOG La sintaxis de una cláusula de Horn en PROLOG tiene el siguiente aspecto: hija(A,B) :- mujer(A), padre(B,A). que podría leerse así: "A es hija de B si A es mujer y B es padre de A". En términos lógicos representa la siguiente implicación: Por definición de implicación se obtiene la siguiente cláusula de Horn: Obsérvese que, en PROLOG, el símbolo :- separa la conclusión de las condiciones. En PROLOG, las variables se escriben comenzando por una letra mayúscula. Todas las condiciones deben cumplirse simultáneamente para que la conclusión sea válida; por tanto, la coma (en algunas versiones de PROLOG se sustituye la coma por el símbolo &) que separa las distintas condiciones es equivalente a la conjunción copulativa. En cambio, la disyunción normalmente no se representa mediante símbolos especiales (aunque puede hacerse con el símbolo ;), sino añadiendo reglas nuevas al programa. En este caso: hija(A,B) :- mujer(A), padre(B,A). hija(A,B) :- mujer(A), madre(B,A). que podrían leerse así: "A es hija de B si A es mujer y B es padre de A o A es hija de B si A es mujer y B es madre de A".

4

REFERENCIAS Cláusula de Horn - Wikipedia, la enciclopedia libre Microsoft PowerPoint - ClaseLogicaProgramas.ppt (unicen.edu.ar) 3.8.6 Cláusulas de Horn (upm.es) sld.pdf (ucm.es)

5...