Criado por CAROLINA SANTANA DE LOS RIOS
mais de 7 anos atrás
|
||
En programación lógica se utilizan varios tipos de operadores, que son
Los operadores relacionales y aritméticos permiten aumentar la semántica en base a
Operador que unifica
Evalúa dos operandos derecha a izquierda, es verdadero si los valores obtenidos son iguales
A las variables de prolog se les llama variables...
Secuencia lineal de objetos
Compuesto de un functor seguido de 0 a N argumentos entre paréntesis y separados por comas
Los nombres de todos los predicados deben empezar con letra
Una regla consta de dos partes
Predicado para calcular la media entre dos números
¿Es posible alterar el árbol de resolución en el lenguaje Prolog?
Realice la relación maximo(+X,+Y, ?Z) que verifique que Z es el máximo de los tres números
Ejercicio 4
Programa el prolog sobre su arbol genealogico, hechos solo padre( , ) o madre( , )
Las reglas de inferencia son usadas en la...
Mencione las 8 reglas de inferencia
Ejemplo de adición
Ejemplo de simplificación
Ejemplo de conjunción
Ejemplo de Modus Ponens
Ejemplo Modus Tollens
Ejemplo silogismo hipotético
Ejemplo silogismo disyuntivo
Aparece gracias a la limitante de la lógica proposicional
Elementos de la sintaxis básica de la logica de predicados
Término sin variables
Expresión más pequeña a la que se le puede asignar un valor de verdad
Representa un hecho en el mundo al cual le es asignado un valor de verdad
Variable que no esta atada a un cuantificador
Sentencia con todas las variables cuantificadas
Para eliminar cuantificadores existenciales se reemplaza la variable por...
Qué es la forma normal de skolem
Proceso de encontrar una sustitución a los parámetros de los predicados
Símbolo de la variable anónima
Tipos de datos (estructuras) admitidos en prolog (4)
Operador cuyo resultado es verdadero si ambos operandos no unifican
Operador utilizado para evaluar expresiones aritméticas y funciones
Operador que significa "es exactamente igual que", no unifica, compara términos sin evaluar expresiones
Asserta
Retract
dynamic