8152432
Beschreibung
Karteikarten von CAROLINA SANTANA DE LOS RIOS, aktualisiert more than 1 year ago
|
Erstellt von CAROLINA SANTANA DE LOS RIOS
vor mehr als 7 Jahre
|
|
| Frage | Antworten |
| 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( , ) | ? |
| ? | |
| ? | |
| 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 |
Möchten Sie mit GoConqr kostenlos Ihre eigenen Karteikarten erstellen? Mehr erfahren.