To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Cláusula de Horn

De Wikipedia, la enciclopedia libre

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.

YouTube Encyclopedic

  • 1/3
    Views:
    3 242
    606
    608
  • Programación Lógica Video 1
  • conjuncines de clausulas en prolog
  • LAB: ProLog Ejercicio1 #CEA #InteligenciaArtificial

Transcription

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".

Véase también

Enlaces externos

Esta página se editó por última vez el 10 jun 2021 a las 11:50.
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.