Flashcards
2017-03-16_PLYF_P2
Cards in this deck (44)
- 1En programación lógica se utilizan varios tipos de operadores, que sonAritméticos, Relacionales, igualdad y funciones
- 2Los operadores relacionales y aritméticos permiten aumentar la semántica en base aconocimiento
- 3Operador que unifica:=
- 4Evalúa dos operandos derecha a izquierda, es verdadero si los valores obtenidos son iguales=:=
- 5A las variables de prolog se les llama variables...lógicas
- 6Secuencia lineal de objetosListas
- 7Compuesto de un functor seguido de 0 a N argumentos entre paréntesis y separados por comasTérmino
- 8Los nombres de todos los predicados deben empezar con letraMinúscula
- 9Una regla consta de dos partesCabeza y cuerpo
- 10Predicado para calcular la media entre dos númerosmedia(X,Y,Z):= Z is (X+Y)/2
- 11¿Es posible alterar el árbol de resolución en el lenguaje Prolog?Sí, mediante el predicado !
- 12Realice la relación maximo(+X,+Y, ?Z) que verifique que Z es el máximo de los tres númerosmaximo(X,Y,Z) :- Z > X, Z > Y.
- 13Ejercicio 4?
- 14Programa el prolog sobre su arbol genealogico, hechos solo padre( , ) o madre( , )?
- 15—?
- 16—?
- 17—
- 18Las reglas de inferencia son usadas en la...Lógica proposicional
- 19Mencione las 8 reglas de inferenciaadición, simplificación, conjunción, modus ponens, modus tollens, silogismo hipotético, silogismo disyuntivo y resolución
- 20Ejemplo de adiciónp
-----
p v q - 21Ejemplo de simplificaciónp ^ q
--------------
p - 22Ejemplo de conjunciónp
q
---------
p ^ q - 23Ejemplo de Modus Ponensp -> q
p
------------
q - 24Ejemplo Modus Tollensp -> q
¬ p
--------------------
¬ q - 25Ejemplo silogismo hipotéticop -> q
q -> r
---------------
p -> r - 26Ejemplo silogismo disyuntivop v q
¬ p
-----------------
q - 27Aparece gracias a la limitante de la lógica proposicionalcálculo de predicados
- 28Elementos de la sintaxis básica de la logica de predicadostérmino, variable y función
- 29Término sin variablesTérmino base
- 30Expresión más pequeña a la que se le puede asignar un valor de verdadátomo
- 31Representa un hecho en el mundo al cual le es asignado un valor de verdadSentencia
- 32Variable que no esta atada a un cuantificadorVariable libre
- 33Sentencia con todas las variables cuantificadasFórmula Bien Formada (FBF)
- 34Para eliminar cuantificadores existenciales se reemplaza la variable por...Una función
- 35Qué es la forma normal de skolemse presenta cuando una sentencia tiene solo cuantificadores universales
- 36Proceso de encontrar una sustitución a los parámetros de los predicadosUnificación
- 37Símbolo de la variable anónima_
- 38Tipos de datos (estructuras) admitidos en prolog (4)Listas, árboles, matrices y grafos
- 39Operador cuyo resultado es verdadero si ambos operandos no unifican/=
- 40Operador utilizado para evaluar expresiones aritméticas y funcionesis
- 41Operador que significa "es exactamente igual que", no unifica, compara términos sin evaluar expresiones==
- 42AssertaAgrega una cláusula al principio de la base de datos
- 43RetractRemueve una cláusula de la base de datos
- 44dynamicDeclarar predicados dinámicos, el cual no puede tener cláusulas
Information
- Description
- Programación Lógica y Funcional Parcial 2
- Created by
- CAROLINA SANTANA DE LOS RIOS
- Views
- 124
- Tags
- Rating