Mi dominio magnífico by Rafael Peña https://padlet.com/rafaelpey1/kp8ko0c8phq6 Hecho con un cálido abrazo en-us 2017-05-11 17:34:25 UTC 2025-11-15 09:16:12 UTC hello@padlet.com Clausulas de Horn rafaelpey1 https://padlet.com/rafaelpey1/kp8ko0c8phq6/wish/171335865  Una cláusula de Horn (o definida) es una disyunción de literales de los cuales uno, como mucho, es positivo. Una cláusula de Horn es una cláusula de la forma:
A1 v ... v Ak← B1 ^ ... ^ Bn, con k=1
ó  k=0 y n>=0.



]]> 2017-05-11 18:13:03 UTC https://padlet.com/rafaelpey1/kp8ko0c8phq6/wish/171335865 rafaelpey1 https://padlet.com/rafaelpey1/kp8ko0c8phq6/wish/171344614 Las cláusulas de Horn con k=1 y n>0 son reglas.

Las cláusulas de Horn con k=1 y n=0 son hechos.

Las cláusulas de Horn con k=0 y n>0 son objetivos.



]]> 2017-05-11 18:43:54 UTC https://padlet.com/rafaelpey1/kp8ko0c8phq6/wish/171344614 rafaelpey1 https://padlet.com/rafaelpey1/kp8ko0c8phq6/wish/171344811 En las cláusulas de programa (reglas o hechos):
donde A y B representan átomos.



A ← B1 ^ ... ^ Bn, con n>=0

el átomo A es la cabeza y el conjunto de átomos B es el cuerpo.
]]> 2017-05-11 18:44:36 UTC https://padlet.com/rafaelpey1/kp8ko0c8phq6/wish/171344811 Características: rafaelpey1 https://padlet.com/rafaelpey1/kp8ko0c8phq6/wish/171346415  Las cláusulas de Horn tienen el mismo poder de cómputo que la máquina de Turing o el λ-cálculo (i.e., la máquina universal). Permiten por tanto programar cualquier función computable. 

 Para muchas aplicaciones de la lógica basta con restringirse a las cláusulas de Horn, ya que muchos de los problemas que pueden expresarse mediante un formalismo de primer orden pueden transformarse sin mucha dificultad en un conjunto de cláusulas de Horn. 

Muchos métodos de resolución de problemas desarrollados en el campo de la inteligencia artificial pueden considerarse como modelos orientados a ser expresados también mediante cláusulas de Horn.]]> 2017-05-11 18:50:36 UTC https://padlet.com/rafaelpey1/kp8ko0c8phq6/wish/171346415