2017-03-16_PLYF_P2

Question	Answer
En programación lógica se utilizan varios tipos de operadores, que son	Aritméticos, Relacionales, igualdad y funciones
Los operadores relacionales y aritméticos permiten aumentar la semántica en base a	conocimiento
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...	lógicas
Secuencia lineal de objetos	Listas
Compuesto de un functor seguido de 0 a N argumentos entre paréntesis y separados por comas	Término
Los nombres de todos los predicados deben empezar con letra	Minúscula
Una regla consta de dos partes	Cabeza y cuerpo
Predicado para calcular la media entre dos números	media(X,Y,Z):= Z is (X+Y)/2
¿Es posible alterar el árbol de resolución en el lenguaje Prolog?	Sí, mediante el predicado !
Realice la relación maximo(+X,+Y, ?Z) que verifique que Z es el máximo de los tres números	maximo(X,Y,Z) :- Z > X, Z > Y.
Ejercicio 4	?
Programa el prolog sobre su arbol genealogico, hechos solo padre( , ) o madre( , )	?
Image: 78afa3cc-d227-4532-8341-7bbf336bba51 (image/png)	?
Image: a2fb4220-5f63-4efb-857f-bf845dfc7c08 (image/png)	?
Image: e9f37973-31b0-4505-8551-1a5dc2fb952a (image/png)	Image: 07ce255c-45bf-4c9c-a3a6-ee87b7ac8a39 (image/png)
Las reglas de inferencia son usadas en la...	Lógica proposicional
Mencione las 8 reglas de inferencia	adición, simplificación, conjunción, modus ponens, modus tollens, silogismo hipotético, silogismo disyuntivo y resolución
Ejemplo de adición	p ----- p v q
Ejemplo de simplificación	p ^ q -------------- p
Ejemplo de conjunción	p q --------- p ^ q
Ejemplo de Modus Ponens	p -> q p ------------ q
Ejemplo Modus Tollens	p -> q ¬ p -------------------- ¬ q
Ejemplo silogismo hipotético	p -> q q -> r --------------- p -> r
Ejemplo silogismo disyuntivo	p v q ¬ p ----------------- q
Aparece gracias a la limitante de la lógica proposicional	cálculo de predicados
Elementos de la sintaxis básica de la logica de predicados	término, variable y función
Término sin variables	Término base
Expresión más pequeña a la que se le puede asignar un valor de verdad	átomo
Representa un hecho en el mundo al cual le es asignado un valor de verdad	Sentencia
Variable que no esta atada a un cuantificador	Variable libre
Sentencia con todas las variables cuantificadas	Fórmula Bien Formada (FBF)
Para eliminar cuantificadores existenciales se reemplaza la variable por...	Una función
Qué es la forma normal de skolem	se presenta cuando una sentencia tiene solo cuantificadores universales
Proceso de encontrar una sustitución a los parámetros de los predicados	Unificación
Símbolo de la variable anónima	_
Tipos de datos (estructuras) admitidos en prolog (4)	Listas, árboles, matrices y grafos
Operador cuyo resultado es verdadero si ambos operandos no unifican	/=
Operador utilizado para evaluar expresiones aritméticas y funciones	is
Operador que significa "es exactamente igual que", no unifica, compara términos sin evaluar expresiones	==
Asserta	Agrega una cláusula al principio de la base de datos
Retract	Remueve una cláusula de la base de datos
dynamic	Declarar predicados dinámicos, el cual no puede tener cláusulas

Next up

Description

Resource summary

Similar

	Created by CAROLINA SANTANA DE LOS RIOS almost 8 years ago