Please enable JavaScript.
Coggle requires JavaScript to display documents.
Cláusula de Horn, Resolución SLD, Cláusula definida, Objetivo definido, La…
Cláusula de Horn
-
-
-
-
Se llaman así por el lógico Alfred Horn, el primero en señalar la importancia de estas cláusulas en 1951
-
Resolución SLD
-
Es un caso particular de la resolución general, donde se cumple que:
Los programas son conjuntos de cláusulas (de Horn) definidas, i.e., hechos y reglas.
-
-
-
El nombre "SLD resolution" fue dado por Maarten van Emden para la regla de inferencia sin nombre introducida por Robert Kowalski. Que significa Resolución Lineal con función de Selección para Cláusulas Definidas.
-
-
La resolución SLD está mucho más próxima a una implementación realista de la programación lógica porque ha acotado notablemente el indeterminismo con respecto a la resolucion general.
Las clásulas de Horn son lo suficientemente expresivas para utilizarlas como lenguaje de programación.