Temas de “Programación lógica e I.A.”

Recommendations

Info

44 Capítulo 2. Introducción a la programación lógica con Prolog PD Tema 2: Prolog Relaciones sobre términos Predicados sobre tipos de término Programa con predicados sobre tipos de término ◮ suma_segura(X,Y,Z) se verifica si X e Y son enteros y Z es la suma de X e Y. Por ejemplo, �� PD Tema 2: Prolog �� Relaciones sobre términos Comparación y ordenación de términos Tema 2: Prolog 1. Listas 2. Disyunciones 3. Operadores y aritmética 4. Corte, negación y condicional 5. Relaciones sobre términos Predicados sobre tipos de término Comparación y ordenación de términos 6. Transformación entre términos, átomos y listas 7. Procedimientos aplicativos 8. Todas las soluciones 45 / 65 46 / 65
PD Tema 2: Prolog Relaciones sobre términos Comparación y ordenación de términos Relaciones de comparación de términos ◮ T1 = T2 se verifica si T1 y T2 son unificables. ◮ T1 == T2 se verifica si T1 y T2 son idénticos. ◮ T1 \== T2 se verifica si T1 y T2 no son idénticos. PD Tema 2: Prolog �� Relaciones sobre términos Comparación y ordenación de términos Programa con comparación de términos ◮ cuenta(A,L,N) se verifique si N es el número de ocurrencias del átomo A en la lista L. Por ejemplo, �� Programación lógica e I.A. 45 47 / 65 48 / 65
Page 1 and 2: Temas de “Programación lógica e
Page 3 and 4: Índice general 1. El sistema deduc
Page 5 and 6: Capítulo 1 El sistema deductivo de
Page 7 and 8: PD Tema 1: El sistema deductivo de
Page 21 and 22: Capítulo 2 Introducción a la prog
Page 23 and 24: PD Tema 2: Prolog Listas Construcci
Page 25 and 26: PD Tema 2: Prolog Listas Definició
Page 27 and 28: PD Tema 2: Prolog Listas Definició
Page 29 and 30: PD Tema 2: Prolog Operadores y arit
Page 31 and 32: PD Tema 2: Prolog Operadores y arit
Page 33 and 34: PD Tema 2: Prolog Corte, negación
Page 43: PD Tema 2: Prolog Relaciones sobre
Page 47 and 48: PD Tema 2: Prolog Transformación e
Page 49 and 50: PD Tema 2: Prolog Transformación e
Page 51 and 52: PD Tema 2: Prolog Procedimientos ap
Page 53 and 54: PD Tema 2: Prolog Todas las solucio
Page 55 and 56: Capítulo 3 Programación con Prolo
Page 57 and 58: PD Tema 3: Programación con Prolog
Page 77 and 78: Capítulo 4 Resolución de problema
Page 79 and 80: PD Tema 4: Resolución de problemas
Page 95 and 96:
PD Tema 4: Resolución de problemas
Page 97 and 98:
Page 99 and 100:
Page 101 and 102:
Page 103 and 104:
Capítulo 5 Procesamiento del lengu
Page 105 and 106:
PD Tema 5: Procesamiento del lengua
Page 107 and 108:
Page 109 and 110:
Page 111 and 112:
Page 113 and 114:
Page 115 and 116:
Page 117 and 118:
Page 119 and 120:
Page 121 and 122:
Page 123 and 124:
Page 125 and 126:
Page 127 and 128:
Page 129 and 130:
Page 131 and 132:
Page 133 and 134:
Capítulo 6 Ingeniería del conocim
Page 135 and 136:
PD Tema 6: Ingeniería del conocimi
Page 137 and 138:
Page 139 and 140:
Page 141 and 142:
Page 143 and 144:
Page 145 and 146:
Page 147 and 148:
Page 149 and 150:
Page 151 and 152:
Page 153 and 154:
Page 155 and 156:
Page 157 and 158:
Page 159 and 160:
Page 161 and 162:
Page 163 and 164:
Page 165 and 166:
Capítulo 7 Razonamiento por defect
Page 167 and 168:
Razonamiento por defecto ① Progra
Page 169 and 170:
Razonamiento por defecto ① Cancel
Page 171 and 172:
Razonamiento por defecto ✉ Sesió
Page 173 and 174:
Razonamiento abductivo ✉ Programa
Page 175 and 176:
Diagnóstico mediante abducción
Page 177 and 178:
Capítulo 8 Programación lógica c
Page 179 and 180:
CLP sobre números reales: CLP(R)
Page 181 and 182:
Page 183 and 184:
Page 185 and 186:
Planificación de tareas con CLP(Q)
Page 187 and 188:
Restricciones sobre dominios finito
Page 189 and 190:
Page 191 and 192:
Page 193 and 194:
Capítulo 9 Formalización en Prolo
Page 195 and 196:
Sintaxis de la lógica proposiciona
Page 197 and 198:
Valor de una fórmula ✉ Def. de v
Page 199 and 200:
Interpretaciones de una fórmula
Page 201 and 202:
Satisfacibilidad ① Una fórmula e
Page 203 and 204:
Interpretaciones de conjuntos ✉ i
Page 205 and 206:
Cálculo de modelos de conjuntos
Page 207 and 208:
Ejemplo: veraces y mentirosos ① E
Page 209 and 210:
Ejemplo: Problema de los trabajos
Page 211 and 212:
Ejemplo: Problema del coloreado ✉
Page 213 and 214:
Ejemplo: Problema del palomar ✉ S
Page 215 and 216:
Ejemplo: Problema de las 4 reinas
Page 217 and 218:
Ejemplo: Problema de Ramsey % Hay 3
Page 219 and 220:
Capítulo 10 Programación lógica
Page 221 and 222:
Arquitectura de aprendizaje automá
Page 223 and 224:
Cuestiones sobre árboles de decisi
Page 225 and 226:
Búsqueda del árbol de decisión
Page 227 and 228:
Page 229 and 230:
Page 231 and 232:
Algoritmo ID3 1. Si todos los ejemp
Page 233 and 234:
Algoritmo ID3 ① Selección del me
Page 235 and 236:
Algoritmo ID3 ✉ selecciona max ga
Page 237 and 238:
Programación Lógica Inductiva ①
Page 239 and 240:
Ejemplo con FOIL Ganancia: 0.000 Cl
Page 241 and 242:
Ejemplo de FOIL con CWA ① Sesión
Page 243 and 244:
Ejemplo de FOIL con CWA Ganancia: 1
Page 245 and 246:
Ejemplo de FOIL con CWA y conocimie
Page 247 and 248:
Ejemplo con FOIL de relación recur
Page 249 and 250:
Ejemplo con Progol en espacios infi
Page 251 and 252:
Ejemplo con Progol en espacios infi
Page 253 and 254:
Árboles de decisión en Progol ✉
Page 255 and 256:
Árboles de decisión en Progol [7
Page 257 and 258:
Árboles de decisión en Progol [2
Page 259 and 260:
Aplicaciones con PLI ① Procesamie
Page 261 and 262:
Bibliografía [1] J.A. Alonso y J.
show all

Temas de “Programación lógica e I.A.”

Create successful ePaper yourself

Delete template?

Save as template?