P2

Question 1

Fórmula satisfacible

Answer 1

Cuando es cierta para al menos una inteerpretación

Question 2

Fórmula válida

Answer 2

Cuando es cierta para todas las interpretaciones posibles

Question 3

Fórmula insatisfacible

Answer 3

Cuando no es cierta para ninguna interpretación

Question 4

Derivación BC |- F

Answer 4

Obtener F a partir de BC

Question 5

Deducción BC |= F

Answer 5

Ver si F es parte de BC

Question 6

BC consistente

Answer 6

Si no tiene contradicciones

Question 7

BC completa

Answer 7

Si toda fórmula deducible es derivable

Question 8

FNC

Answer 8

Una conjunción de clausulas formadas por disyunciones de literales

Question 9

Modus ponens

Answer 9

A partir de la validez de A y A => B derivamos la validez de B

Question 10

Resolución

Answer 10

Recibe como parámetros dos fórmulas y su salida es una sola

Question 11

Pasos para la resolución de problemas

Answer 11

1. Formalizar el conocimiento
2. Transformar las fórmulas a FNC y unirlas en una BC
3. Demostrar aplicando resolución (usando reducción a lo absurdo)

Question 12

Skolemnización

Answer 12

Eliminar los cuantificadores existenciales, sustituyendo Ax Ey p(x, y) por Ax p(x, f(x))

Question 13

FNP

Answer 13

FNC con los cuantificadores al inicio de la fórmula (sin existenciales).

Question 14

El único tipo de dato en prolog es:

Answer 14

Término

Question 15

Tipos de término en prolog:

Answer 15

• átomo
• número
• variable
• término compuesto

Question 16

Un término en prolog se compone por:

Answer 16

Un functor f/a y sus argumentos

Question 17

Partes de un programa en prolog:

Answer 17

Programa y consultas

Question 18

Hacer que dos términos coincidan

Answer 18

Unificación. Solo se puede realizar si son el mismo término o si son variables instanciables al mismo término

Question 19

Asignar valores a modo de que la consulta sea verdadera

Answer 19

Resolución. Utiliza variables temporales que se unifican para que sean ciertas las reglas

Question 20

Un programa que se comporta como un experto en el ámbito específico de la aplicación

Answer 20

Sistema experto

Question 21

Un sistema experto debe ser capaz de:

Answer 21

Explicar sus decisiones

Question 22

3 Partes de un sistema experto

Answer 22

1. Base de conocimiento
2. Motor de inferencia
3. Interfaz de usuario

Question 23

El núcleo de un sistema experto se compone por:

Answer 23

El motor de inferencia y la interfaz de usuario

Question 24

4 Características de las reglas de un sistema experto

Answer 24

1. Modularidad
2. Incrementabilidad
3. Modificabilidad
4. Transparencia

Question 25

Restriciones en las reglas de un SE:

Answer 25

No se permite el uso de *or* en la premisa. La conclusión debe ser simple

Question 26

Modus Tollens

Answer 26

A partir de *A => B* y *!B* deducimos que *!A*

Question 27

Encadenamiento de reglas para un objetivo específico

Answer 27

1. Hacemos el objetivo actual el inicial 2. Buscamos una regla que incluya al objetivo actual y a ninguno de los anteriores 3. Si la regla no nos dió el valor del objetivo actual, tomamos un nuevo objetivo actual, pasamos el anterior a objetivos anteriores y volvemos al paso 2

Question 28

Encadenamiento hacia adelante:

Answer 28

Deducir toda la información disponible

Question 29

Encadenamiento hacia atrás

Answer 29

Orientado a un objetivo

Question 30

Razonamiento con incertidumbre

Answer 30

Se le asigna una certeza entre 0 y 1 a cada regla

Question 31

AND con incertidumbre

Answer 31

Tomamos la certeza más baja

Question 32

OR con incertidumbre

Answer 32

Tomamos la certeza más alta

Question 33

Cuál es la certeza para P2 en la regla *if P1 then P2: C*

Answer 33

c(P2)=c(P1)*C

Question 34

P(A or B)

Answer 34

P(A) + P(B) - P(A n B)

Question 35

P(A and B)

Answer 35

P(A) * P(B|A)

Question 36

P(A|B)

Answer 36

(P(B|A)*P(A))/(P(B))

Question 37

Elementos de CLIPS

Answer 37

1. Ventana de diálogo: se insertan las instrucciones 2. Memoria de trabajo: lista de los hechos disponibles 3. Agenda: lista de las reglas activas

Question 38

Instrucciones CLIPS

Answer 38

- (clear) - (load 'nombre_archivo.clp') - (reset) - (run) - (step) - (exit)

Question 39

Ciclo de ejecución en CLIPS

Answer 39

1. Inicialización 2. Evaluación: qué reglas se activan con los hechos disponibles 3. Ejecución: ejecutar las reglas para obtener nuevos hechos

Question 40

Afirmar un hecho en CLIPS

Answer 40

(assert (hecho))

Question 41

Eliminar un hecho

Answer 41

(retract (indice_hecho))

Question 42

Plantilla para hechos no ordenados

Answer 42

(deftemplate Nombre (field Algo))

Question 43

Definir varios hechos

Answer 43

(deffacts NombreHechos (hecho1) (hecho 2))

Question 44

Definir una regla

Answer 44

defrule Nombre () => ())

Question 45

Uso de variables en CLIPS

Answer 45

*?Nombre*, o, *?* para una variable anónima

Question 46

Equivalente de *(test ()*

Answer 46

*( : ())*

Question 47

Estrategias de resolución de conflictos en CLIPS basadas en antigüedad de la regla

Answer 47

- Depth - Breadth

Question 48

Estrategias de resolución de conflictos en CLIPS basadas en especificidad de la regla

Answer 48

- Simplicity - Complexity

Question 49

Estrategias de resolución de conflictos en CLIPS basadas en antigüedad de los hechos

Answer 49

- LEX - MEA

Question 50

Estrategia de resolución de conflictos por defecto en CLIPS

Answer 50

Depth