Mi padlet épico by https://padlet.com/raymundotress99/hasant3w9c4bgi5n Hecho con un cálido abrazo en-us 2020-12-17 20:37:08 UTC 2024-10-14 18:31:50 UTC hello@padlet.com Programación Lógica raymundotress99 https://padlet.com/raymundotress99/hasant3w9c4bgi5n/wish/1029407393 Paradigma de programación basado en la lógica de primer orden. La programación lógica estudia el uso de la lógica para el planteamiento de problemas y el control sobre las reglas de inferencia para alcanzar la solución automática.
Lógica (programador): hechos y reglas para representar conocimiento.
Control (interprete): deducción lógica para dar respuestas (soluciones)
]]> 2020-12-17 20:42:41 UTC https://padlet.com/raymundotress99/hasant3w9c4bgi5n/wish/1029407393 ¿Que trata de resolver? raymundotress99 https://padlet.com/raymundotress99/hasant3w9c4bgi5n/wish/1029423020 Dado un problema, saber si la afirmación A es solución o no del problema o en que casos lo es. Además queremos que los métodos sean implantados en maquinas de forma que la resolución del problema se haga de forma automática
La programación lógica construye base de conocimientos mediante reglas y hechos
]]> 2020-12-17 20:48:23 UTC https://padlet.com/raymundotress99/hasant3w9c4bgi5n/wish/1029423020 Características del paradigma raymundotress99 https://padlet.com/raymundotress99/hasant3w9c4bgi5n/wish/1029425991 Unificación de términos.
Mecanismos de inferencia automática.
Recursion como estructura de control básica.
Visión lógica de la computación.
]]> 2020-12-17 20:49:30 UTC https://padlet.com/raymundotress99/hasant3w9c4bgi5n/wish/1029425991 Lógica proposicional raymundotress99 https://padlet.com/raymundotress99/hasant3w9c4bgi5n/wish/1029429850 La lógica proposicional trata con sistemas lógicos que carecen de cuantificadores, o variables interpretables como entidades. En lógica proposicional si bien no hay signos para variables de tipo entidad, sí existen signos para variables proposicionales (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad definido), de ahí el nombre proposicional. 
Proposiciones: Elementos de una frase que constituyen por sí solos una unidad de comunicación de conocimientos y pueden ser considerados verdaderos o falsos.
Proposición Simple: “Pepito es humano”.
Proposición Compuesta: “Pepito es hombre y pepita es mujer”.
]]> 2020-12-17 20:50:57 UTC https://padlet.com/raymundotress99/hasant3w9c4bgi5n/wish/1029429850 Clausulas de Horn raymundotress99 https://padlet.com/raymundotress99/hasant3w9c4bgi5n/wish/1029432192 Secuencia de literales que contiene a lo sumo uno de sus literales positivos (disyunción de literales). Esto es un ejemplo de una cláusula de Horn, y abajo se indica una fórmula como esta también puede reescribirse de forma equivalente como una implicación:
Cláusula ‘definite’: Cláusula de Horn con exactamente un literal positivo.
Hecho: Cláusula ‘definite’ sin literales negativos.
Cláusula objetivo: Sin ningún literal positivo (consulta).
antecedente → consecuente "Si es verdad el antecedente, entonces es verdad el consecuente"
]]> 2020-12-17 20:51:46 UTC https://padlet.com/raymundotress99/hasant3w9c4bgi5n/wish/1029432192 Resolucion SLD raymundotress99 https://padlet.com/raymundotress99/hasant3w9c4bgi5n/wish/1029437596 El nombre "SLD resolution" fue dado por Maarten van Emden para la regla de inferencia sin nombre introducida por Robert Kowalski. Su nombre deriva de la resolución de SL, que es a la vez sonido y refutación completa de la forma clausal sin restricciones de la lógica. "SLD" significa "SL resolution with Definite clauses".
En ambos, SL y SLD, "L" representa el hecho de que una prueba de resolución se puede restringir a una secuencia lineal de cláusulas:
En SLD, todas las cláusulas son una secuencia cláusulas objetivo y el otro padre es una cláusula de entrada. En la resolución SL, el otro padre es una cláusula de entrada o una cláusula ancestral anterior en la secuencia
]]> 2020-12-17 20:53:46 UTC https://padlet.com/raymundotress99/hasant3w9c4bgi5n/wish/1029437596