Please enable JavaScript.
Coggle requires JavaScript to display documents.
LOGICA DE PROGRAMACION, Ejemplo 1, Este ejemplo se puede ver escrito en…
LOGICA DE PROGRAMACION
-
-
-
SON:
Lógica de primer orden Es una ramificación de la lógica proposicional. Considera si los objetos son verdaderos o falsos desde una perspectiva parcial del mundo, llamada dominio. La programación lógica se basa en una generalización de la lógica de primer orden.
Inteligencia artificial
La programación lógica es una metodología que es empleada para buscar que las computadoras deduzcan, porque resulta útil para representar el conocimiento. Se utiliza la lógica para representar el conocimiento y la inferencia para manejarlo.
-
Es un subconjunto de la lógica de primer orden. Tiene una forma normalizada donde una sentencia viene definida por un prefijo universal o cadena de cuantificadores universales, y un conjunto libre de cuantificadores de la cláusula.
Al solicitar una consulta al programa se considerará el cuerpo de la cláusula cuyo encabezado pueda coincidir. Esto es lo mismo que aplicar en lógica una regla de inferencia.
Ejemplo 1
Hecho: Rubí es un gato.
-
-
-
La regla “todos los gatos tienen dientes” se puede aplicar a Rubí, porque hay un hecho que dice “Rubí es un gato”. Este ejemplo no está escrito con ninguna sintaxis de un lenguaje de programación real.
-
Este ejemplo se puede ver escrito en Prolog, por ser uno de los lenguajes de programación lógica más conocido:
femenino(alissa).
-
-
-
– hijo_de(doris, carlos).
– hijo_de(carlos, bobby).
– hijo_de(doris, alissa).
– padre_de(F, P) :- masculino(F), hijo_de(P, F).
Este programa se hace difícil de leer, porque Prolog es notablemente diferente a otros lenguajes. Todo componente del código que se asemeje a “femenino(alissa).” es un hecho.
Resultado de imagen para que es la logica de programacion
Es la organización y planificación de instrucciones en un algoritmo, con el objetivo de tornar visible la implementación de un programa o software. La lógica de la programación es la organización coherente de las instrucciones del programa para que su objetivo sea alcanzado.
Verdad y deducción lógica
Los programas lógicos se pueden descifrar a través de dos conceptos importantes: verdad y deducción lógica. La verdad sale si el cálculo en el programa es verdadero o no, bajo la implementación de los símbolos del programa. La deducción lógica determina si una cláusula lógica es una consecuencia del programa.