Cláusula de Horn

Cláusula 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:

\neg p \or \neg q \vee \cdots \vee \neg t \vee u

Una fórmula como esta tambien puede reescribirse de forma equivalente como una implicacion:

(p \wedge q \wedge \cdots \wedge t) \rightarrow u

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 existentiales o universales seguidos por una conjunción nde cláusulas de Horn.


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:

(mujer(A) \and padre(B, A)) \to hija(A, B)

Por definición de implicación se obtiene la siguiente cláusula de Horn:

\lnot mujer(A) \or \lnot padre(B, A) \or hija(A, B)

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.

La disyunción, en cambio, no se representa mediante símbolos especiales, sino definiendo reglas nuevas, como la siguiente:

hija (A, B) :- mujer (A), madre (B, A).

que podría leerse así: "A es hija de B si A es mujer y B es madre de A".

Véase también

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Mira otros diccionarios:

  • Cláusula de Horn — Las cláusulas de Horn (instrucciones ejecutables de PROLOG) tienen 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 . Obsérvese que, en PROLOG, el… …   Enciclopedia Universal

  • Cláusula — El término cláusula puede referirse a: En música: Cláusula En lingüística: Cláusula sintáctica En lógica: Cláusula Cláusula de Horn En derecho: Cláusula penal Cláusula de exclusión Cláusula de revisión salarial Cláusula sobre Protección… …   Wikipedia Español

  • Cláusula (lógica) — En lógica matemática, una cláusula es una disyunción de literales. En cálculo proposicional, normalmente se escriben de la forma: donde cada li, con i = {1,...,n} es un literal. Análogamente, se llama cláusula conjuntiva a una conjunción de… …   Wikipedia Español

  • Kernel Language 1 — o KL1 es un lenguaje de programación desarrollado en 1987 por el Institute for New Generation Computer Technology (Instituto para la Nueva Generación de Tecnologías de Computación, o ICOT por su siglas en inglés) en el marco del proyecto japonés… …   Wikipedia Español

  • Wihtred de Kent — Wihtred Rey de Kent Reinado c. 690 23 de abril de 725 Nacimiento …   Wikipedia Español

  • Cuerpo de Marines de los Estados Unidos — Para otros usos de este término, véase Marine. Cuerpo de Marines de los Estados Unidos United States Marine Corps Sello del Cuerpo de Marines …   Wikipedia Español

  • Geschichte der Stadt Bremen — Bremer Stadtwappen aus dem Jahr 1562 Die Geschichte der Freien Hansestadt Bremen ist von der Hanse, vom Handel und der Seefahrt sowie vom Streben nach Selbständigkeit geprägt. Inhaltsverzeichnis …   Deutsch Wikipedia

  • music, Western — Introduction       history of Western music from ancient times to the present.       All ancient civilizations entered historical times with a flourishing musical culture. That the earliest writers explained it in terms of legend and myth is… …   Universalium

  • Siux — Saltar a navegación, búsqueda Sioux (o siux) Nube Roja (sentado con tocado de plumas), junto a otros siux Población total …   Wikipedia Español

  • Sioux — Nube Roja (sentado con tocado de plumas), junto a otros siux Población total más de 150.000[1 …   Wikipedia Español

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”