Source: http://docplayer.es/2516272-Razonamiento-basado-en-modelos-razonamiento-cualitativo-razonamiento-cualitativo-basado-en-restricciones.html
Timestamp: 2016-12-09 11:44:44+00:00

Document:
⭐RAZONAMIENTO BASADO EN MODELOS: RAZONAMIENTO CUALITATIVO RAZONAMIENTO CUALITATIVO BASADO EN RESTRICCIONES
RAZONAMIENTO BASADO EN MODELOS: RAZONAMIENTO CUALITATIVO RAZONAMIENTO CUALITATIVO BASADO EN RESTRICCIONES
Download "RAZONAMIENTO BASADO EN MODELOS: RAZONAMIENTO CUALITATIVO RAZONAMIENTO CUALITATIVO BASADO EN RESTRICCIONES"
Eugenia Escobar Muñoz
1 RAZONAMIENTO BASADO EN MODELOS: RAZONAMIENTO CUALITATIVO RAZONAMIENTO CUALITATIVO BASADO EN RESTRICCIONES 12 CONTENIDOS Introducción al modelado basado en restricciones La variable cualitativa y su representación QV(f,t) bajo este paradigma Concepto de estado Concepto de comportamiento cualitativo de un sistema Formas de representación de comportamientos Ecuaciones diferenciales cualitativas. Definición Restricciones cualitativas Operadores de signo Valores correspondientes Condiciones asociadas a las restricciones cualitativas Algoritmos de resolución de conjuntos de restricciones Algoritmo de propagación. Definición. Ejemplo Algoritmo de satisfacción de restricciones (CSP). Definición Algoritmo Cfilter. Definición. Ejemplo Algoritmo QSIM Definición Algoritmo del estado completo (SCA) Filtros globales Inconvenientes 23 PLANTEAMIENTO GENERAL Problema (Sistema del Mundo real) Simulación Ontología (Representación + conjunto de operadores) Modelo (Abstración) Conocimiento experto Inferencia Información 34 MODELADO BASADO EN RESTRICCIONES: QSIM (KUIPER 86) Sistema real Conducta real solución numérica/analítica ODE State (t 0 ) f i : R R * simulación cualitativa QDE QState(t 0 ) Beh 1..Beh n 45 LA VARIABLE CUALITATIVA Características de la variable cualitativa: La variable cualitativa representa una función razonable, es decir, una función continuamente diferenciable. f:r R * Donde R* es la línea de los reales extendida. F es una función dependiente del tiempo (parámetro global) No debe presentar oscilaciones infinitas alrededor de un punto. 56 REPRESENTACIÓN FORMAL DEL VALOR DE UNA VARIABLE CUALITATIVA El valor de una variable cualitativa f(t) para un instante de tiempo dado, QV(f,t), con respecto del espacio de medida l 1 <l 2 <...<l k se representa mediante <qmag,qdir>, donde: qmag= l j si f(t)=l j (un landmark) y t es un punto distinguible de tiempo. (l j ) si f(t) (l j,l j+1 ) (un intervalo abierto.) qdir= inc si f (t)>0 std si f (t)=0 dec si f (t)<0 QSIM (qmag) Signos QSIM (qdir) Símbolos (0, ) [+] inc 0 [0] std θ (-,0) [-] dec (-, ) [?] ign * 67 LANDMARKS Y PUNTOS LÍMITES Un landmark bajo esta representación puede ser: Un valor crítico de una variable f (t)=0 cuando f(t)=l j donde l j es un landmark. Un punto límite que define el cambio de una región de comportamiento a otra (transición). Un valor inicial de una variable cualitativa. Para la variable tiempo los valores landmark se denominan puntos distinguibles de tiempo (t i tal que f(t i )=l j donde l j es un landmark de f ). 78 REPRESENTACIÓN DE UN COMPORTAMIENTO PARA UNA SÓLA VARIABLE El comportamiento cualitativo de una variable f es la secuencia de valores cualitativos de f definido de la siguiente forma: QV(f,t o ), QV(f,(t o,t 1 )), QV(f,t 1 ),..., QV(f,(t n-1,t n )), QV(f,t n ) Ejemplo: Df: A...B... (dominio de valores de f) f(t): <B,dec> <(A,B),dec> <A,std> <(A,B)inc> <B,inc> 89 REPRESENTACIÓN CUALITATIVA DE UN COMPORTAMIENTO CONTINUO f B A QV(f,t 0 )=<B, > QV(f,(t 0,t 1 ))=< (A,B), > QV(f,t 1 )=< A,θ> QV(f,(t 1,t 2 ))=<(A,B), > QV(f,t 2 )=< B, > t 0 t 1 t 2 t f(t)=<b, >, <(A,B), >, <A,θ>,<(A,B), >,<B, > 910 CONCEPTO DE ESTADO Dado un sistema definido por un conjunto F={f 1,...,f m } de funciones razonables tal que f j :R R *, el estado cualitativo de dicho sistema viene definido por una tupla de la siguiente forma: QS(F,t i )=<QV(f 1,t i ), QV(f 2,t i ),...,QV(f m,t i )> QS(F,(t i,t i+1 ))=<QV(f 1,(t i,t i+1 )), QV(f 2,(t i,t i+1 )),..., QV(f m,(t i,t i+1 ))> 1011 CONCEPTO DE COMPORTAMIENTO El concepto de comportamiento bajo esta nueva perspectiva viene definido como una secuencia alternada de estados que tienen lugar sobre puntos distinguibles de tiempo o intervalos abiertos de tiempo: QS(F,t o ), QS(F,(t o,t 1 )), QS(F,t 1 ),..., QS(F,(t n-1,t n )), QS(F,t n ) 1112 FORMAS DE REPRESENTACIÓN DE LOS COMPORTAMIENTOS DEL SISTEMA Este paradigma de modelado permite dos formas posibles de representación para los comportamientos del sistema: Árbol de comportamientos (modo de simulación dinámico normal). Grafo de comportamientos 1213 ÁRBOL DE COMPORTAMIENTO Dadas las EDQ y un estado inicial la simulación cualitativa se resuelve obteniendo de forma repetitiva todos los posibles estados sucesores a uno dado. Los comportamientos aparecen representados por los distintos caminos que se pueden describir desde la raíz a las hojas del árbol. t 0 t 0,t 1 t 1 t 1,t 2 t 2 1314 GRAFO DE COMPORTAMIENTO (Total Envisionment) El grafo de comportamientos o predicción global (Total Envisionment): consiste en, dadas las EDQ, obtener todos los posibles estados y transiciones entre ellos. Los distintos caminos que configuran el grafo representan los distintos comportamientos del sistema. Predicción global Para el problema del muelle X=<(0, ), > V=<(0, ), > A=<(-,0), > X=<(0, ),θ> V=<0, > A=<(-,0), θ > X=<(0, ), > V=<(-,0), > A=<(-,0), > X=<0, > V=<(0, ), θ > A=<0, > X=<0, θ > V=<0, θ > A=<0, θ > X=<0, > V=<(0, ), θ > A=<0, > X=<(-,0), > V=<(0, ), > A=<(0, ), > X=<(-,0), θ > V=<0, > A=<(0, ), θ > X=<(-,0 ), > V=<(-,0), > A=<(0, ), > 1415 GRAFO DE COMPORTAMIENTO (Attainable Envisionment) La predicción vía un estado inicial (attainable envisionment): es el subconjunto de estados de la predicción global que son alcanzables a partir de un estado inicial dado. A esta representación se puede acceder cambiando sólo unos pocos aspectos respecto del modo normal de simulación dinámica: No se crean nuevos landmarks Se emplea el criterio débil para la detección de comportamientos cíclicos. Las transiciones entre estados no se dan ya entre estados sucesores sino entre cualquiera de los estados que componen el árbol. El tamaño de la predicción vía un estado inicial depende de la información que demos sobre el estado inicial: Llega a ser igual al del visionado global cuando no se da información alguna sobre el estado inicial. 1516 ECUACIONES DIFERENCIALES CUALITATIVAS (EDQ) Una ecuación diferencial cualitativa (EDQ) es una tupla de cuatro componentes <V,Q,C,T> definidas de la siguiente forma: V es un conjunto de variables cada una de las cuales es una función razonable del tiempo. Q es un conjunto de espacios de medida, uno por cada variable en V. C es un conjunto de restricciones aplicadas a las variables en V. T es un conjunto de transiciones las cuales son reglas que definen los límites de validez de las QDE. 1617 RESTRICCIONES CUALITATIVAS Las relaciones entre las variables cualitativas se expresan mediante restricciones cualitativas. Entre las más usuales cabe destacar las siguientes: Relaciones matemáticas: (add x y z) x(t)+y(t)=z(t) (mult x y z) x(t)*y(t)=z(t) (minus x y z) x(t)-y(t)=z(t) (d/dt x y ) dx(t)/dt=y(t) (constant x ) dx(t)/dt=0 Relaciones funcionales (M + x y) y(t)=f(x(t)), f M + (M - x y) y(t)=-f(x(t)), f M + 1718 OPERADORES QUE EVALÚAN EL SIGNO DE UNA VARIABLE CUALITATIVA Operadores de signo: [x] 0 = signo(x) =[+] si x>0 =[0] si x=0 =[-] si x<0 [x] x0 =signo(x-x o ) donde x o represente en valor de referencia. [x ]=[dx/dt]=sign(dx/dt) [x] = [+] si x= = [0] si x es una valor finito = [-] si x=- etc... 1819 VALORES CORRESPONDIENTES Tupla de valores landmark que toman, en un instante de tiempo dado, todas las variables implicadas en una restricción. Debido a que los espacios de medida de las distintas variables cualitativas no están relacionados entre sí, los valores correspondientes introducen nueva información que permite vincular dichos espacios entre sí. Ejemplo: ((M + amount level) (0 0) (full top) (inf inf)) 1920 DESCOMPOSICIÓN DE LAS EDO EN SUS CORRESPONDIENTES EXPRESIONES CUALITATIVAS EDO: (d 2 u/dt 2 )=-ku donde u=f(t) (M.A.S.) EDQ: (abstracción estructural de las EDO) v 1 =du/dt (d/dt u v 1 ) v 2 =dv 1 /dt (d/dt v 1 v 2 ) v 2 =-ku ((M - u v 2 ) (minf inf) (0 0) (inf minf)) 2021 CONDICIONES ASOCIADAS A LAS RESTRICCIONES CUALITATIVAS Cada restricción cualitativa en QSIM lleva asociado un conjunto de condiciones {P 1,...,P 2 } Para poder rechazar una asignación de valores asociados a las variables cualitativas que aparecen en la restricción sólo es necesario que se cumpla: P 1 P 2... P n A i 2122 CONDICIONES ASOCIADAS A LAS FUNCIONES MONOTÓNICAS Funciones monotónicas ((M + x y)... (x i y i )...) [dx/dt]=[dy/dt] [x] xi =[y] yi ((M - x y)... (x i y i )...) [dx/dt]=-[dy/dt] [x] xi =-[y] yi 2223 CONDICIONES ASOCIADAS A LA SUMA CUALITATIVA Suma cualitativa ((add x y z)... (x i y i z i )...) [dx/dt]+[dy/dt]=[dz/dt] [x] xi +[y] yi =[z] zi add [+] [0] [-] [+] [+] [+] [+]/[0]/[-] [0] [+] [0] [-] [-] [+]/[0]/[-] [-] [-] [x] +[y] =[z] donde [x] = [+] si x= [0] si x= Valor finito [-] si x= - 2324 CONDICIONES ASOCIADAS A LA MULTIPLICACIÓN CUALITATIVA Multiplicación cualitativa ((mult x y z)... (x i y i z i )...) [x] 0 [y] 0 =[z] 0 [y] 0 [dx/dt]+[dy/dt][x] 0 =[dz/dt], si [x] 0 =[y] 0 =[+] entonces [dx/dt]+[dy/dt] =[dz/dt], mult [+] [0] [-] [+] [+] [0] [-] [0] [0] [0] [0] [-] [-] [0] [+] [abs(x)] abs(xi) +[abs(y)] abs(yi) =[abs(z)] abs(zi) 2425 CONDICIONES ASOCIADAS A LA NEGACIÓN CUALITATIVA Negación cualitativa ((minus x y)... (x i y i )...) [dx/dt]=-[dy/dt] [x] xi =-[y] yi 2526 CONDICIONES ASOCIADAS A LA DERIVADA CUALITATIVA Derivada cualitativa (d/dt x y) [dx/dt]=[y] 0 2627 ALGORITMOS DE RESOLUCIÓN DE CONJUNTOS DE RESTRICCIONES Algoritmo de Propagación Algoritmo de Satisfacción de Restricciones (CSP) 2728 EL ALGORITMO DE PROPAGACIÓN Propagar las descripciones cualitativas desde una variable a otra a través de las restricciones que las conectan. Cada restricción puede ser considerada como un procesador local que tiene acceso a los valores de las variables que aparecen en dicha restricción. Una representación gráfica ayuda a seguir el proceso de propagación. 2829 CONDICIÓN DE APLICABILIDAD DEL ALGORITMO DE PROPAGACIÓN Para poder aplicar el algoritmo de propagación es necesario que todas menos una de las variables involucradas en una restricción tengan un valor definido. En general la propagación local es posible cuando las restricciones del sistema pueden ser escritas como sigue: x 1 =c; x 2 =f 1 (x 1 ); x 3 =f 2 (x 1, x 2 ); Etc Donde f 1, f 2 representan expresiones explicitas que pueden ser evaluadas. En caso contrario es mejor aplicar CSP. 2930 INCONVENIENTES DEL ALGORITMO DE PROPAGACIÓN El problema de dicho algoritmo es que la propagación se puede ver bloqueada por la configuración de las restricciones que definen el sistema. Ejemplo: divisor de tensión (valores iniciales: v 1 =[+], v 3 =[0]). [R 1 ]=[+] [R 2 ]=[+] I 1 =I 2 I 1 *R 1 =v 1 -v 2 I 2 *R 2 =v 2 -v 3 3031 EJEMPLO DE PROPAGACIÓN Problema de los dos tanques amounta flowab amountb pressurea pressureb 3132 EDQ PARA EL PROBLEMA DE LOS DOS TANQUES (define-qde U-tube (quantity-spaces (amt A (0 Amax inf)) (PressureA (0 inf)) (amtb (0 Bmax inf)) (PressureB (0 inf)) (pab (minf 0 inf)) (flowab (minf 0 inf)) (-flowab (minf 0 inf)) (total (0 inf))) (constraints ((M + amta pressurea) (0 0) (inf inf)) ((M + amtb pressureb) (0 0) (inf inf)) ((add pab pressureb pressurea)) ((M + pab flowab)) (minf minf) (0 0) (inf inf)) ((minus flowab -flowab)) ((d/dt amtb flowab)) ((d/dt amta -flowab)) ((add amta amtb total)) ((constant total))) (transitions ((amta (Amax inc)) -> tank-a-overflow) ((amtb (Bmax inc)) -> tank-b-bursts))) 3233 DETERMINACIÓN DEL ESTADO INICIAL Condiciones iniciales: t=t 0 amta = <Amax?> (tanque A lleno) amtb = <0?> (tanque B vacío) 3334 REPRESENTACIÓN GRÁFICA DEL ALGORITMO DE PROPAGACIÓN 3 (0, ) θ amta Amax (0) amtb (0, ) (0) (0, ) (0, ) 3435 PROPAGACIÓN PASO A PASO PARA LA DETERMINACIÓN DEL ESTADO INICIAL COMPLETO 1. (M + amtb pressureb) (0 0) pressureb = <0,?> 2. (M + amta pressurea) entre (0 0) y (inf inf) pressurea = <(0 ),?> 3. (add pab pressureb pressurea) pab = <(0 ),?> 4. (add amta amtb total) total = <(0 ),?> 5. (M + pab flowab) flowab = <(0 ),?> 6. (d/dt amta -flowab) (d/dt amtb flowab) amta =<Amax, dec> amtb =<0, inc> 7. (M + amta pressurea) (M + amtb pressureb) pressurea = <(0 ), dec> pressureb = <0, inc> 8. (add pab pressureb pressurea) pab = <(0 ), dec > 9. (M + pab flowab) flowab = <(0 ), dec > 3536 ESTADO INICIAL (t=t 0 ) amta =<Amax, dec> amtb =<0, inc> pressurea = <(0 ), dec> pressureb = <0, inc> pab = <(0 ), dec > flowab = <(0 ), dec > 3637 ALGORITMO DE SATISFACCIÓN DE RESTRICCIONES (CSP), DEFINICIÓN Dado un problema definido por la tupla <V,D,P>, donde: V ={v 1,., v n } es un conjunto de varibles. D={D 1,.., D n } tal que cada D i representa el posible dominio de valores correspondiente a cada variable v i. P={P 1,.., P m }, es un conjunto de restricciones donde cada P j hace referencia a las relaciones entre un subconjunto de variables en V. La solución mediante CSP de <V,D,P> representa un conjunto de asignaciones para las V. 3738 ALGORITMO DE SATISFACCIÓN DE RESTRICCIONES (CSP) Dado un problema definido por la tupla <V,D,P> 1. Generación de cada uno de las posibles asignaciones <x 1,...,x n > para las variables en V. 2. Comprobación de cada una de estas asignaciones frente a cada una de las restricciones, descartando aquellas que sean inconsistentes respecto de estas últimas. 3. Devolver el conjunto de asignaciones que no hayan sido descartadas. 3839 INCONVENIENTES DEL CSP Es intratable excepto para los casos más sencillos. Cálculo del número de asignaciones: Producto cartesiano de los dominios de valores de cada variable: Si disponemos de n variables y el dominio de cada variable tiene un tamaño d el número de asignaciones sería del orden de d n. 3940 SOLUCIÓN PARA EL CSP Emplear la información del estado inicial para poder restringir los dominios de las variables implicadas mediante las reglas de estados sucesores de esta forma el número de estados que se generan es mucho menor (subespacio del producto cartesiano). 4041 ALGORITMO DUAL DE WALTZ (WALTZ 72) Este algoritmo analiza, mediante un grafo, la consistencia tanto de arco como de nodo. En dicho grafo los nodos contienen las restricciones y los arcos que unen dichos nodos representan las variables implicadas. La consistencia de nodo considera p-tuplas de valores para las variables asociadas a la restricción, rechazando aquellas que sean inconsistentes con respecto a estas últimas. La consistencia de arco garantiza que las tuplas asignadas a dos nodos adyacentes presentan los mismos valores para variables compartidas. 4142 ALGORITMO CFILTER Dado una EDQ y su dominio de conocimiento el CSP es resuelto de la siguiente forma: 1. Restricción del dominio. Para cada variable v i se determina su dominio de valores a través de un conjunto de reglas que definen los posibles estados sucesores a uno dado (state-successor rules). 2. Consistencia de Nodos. 3. Consistencia de Arco. 4. Búsqueda Exhaustiva. Genera todas las posibles asignaciones a partir de las tuplas que no han sido rechazadas (algoritmo de backtracking). 4243 REGLAS PARA DEFINIR LOS ESTADOS SUCESORES Puesto que nuestras variables son funciones continuamente diferenciables sólo existen unas pocas relaciones para poder establecer los posibles valores cualitativos sucesores a partir de uno dado. 4344 TIPOS DE ESTADOS SUCESORES De punto a intervalo P-sucesores De intervalo a punto I-sucesores L j+1 L j+1 L j L j L j-1 L j-1 t 0 t 1 t 2 t 0 t 1 t 2 4445 REGLAS DE DEFINICIÓN DE LOS ESTADOS SUCESORES P - Sucesores:de punto a intervalo QV(v,t i ) QV(v,t i,,t i+1 ) <l j, std> <l j, std> <l j, std> <(l j ), inc> <l j, std> <(l j-1, l j ), dec> <l j, inc> <(l j ), inc> <l j, dec> <(l j-1, l j ), dec> <(l j ), inc> <(l j ), inc> <(l j ), dec> <(l j ), dec> <(l j ), std> <(l j ),std> <(l j ), std> <(l j ), inc> <(l j ), std> <(l j ), dec> I - Sucesores: de intervalo a punto QV(v,t i,,t i+1 ) QV(v,t i+1 ) <l j, std> <l j, std> <(l j ), inc> <l j+1, std> <(l j ), inc> <l j+1, inc> <(l j ), inc> <(l j ), inc> <(l j ), inc> <(l j ), std> <(l j ), dec> <l j, std> <(l j ), dec> <l j, dec> <(l j ), dec> <(l j ), dec> <(l j ), dec> <(l j ), std> <(l j ), std> <(l j ), std> 4546 INTERPRETACIÓN DE LOS P-SUCESORES P - Sucesores:de punto a intervalo QV(v,t i ) QV(v,t i,,t i+1 ) <l j, std> <l j, std> <l j, std> <(l j ), inc> <l j, std> <(l j-1, l j ), dec> <l j, inc> <(l j ), inc> <l j, dec> <(l j-1, l j ), dec> <(l j ), inc> <(l j ), inc> <(l j ), dec> <(l j ), dec> <(l j ), std> <(l j ),std> <(l j ), std> <(l j ), inc> <(l j ), std> <(l j ), dec> Interpretación No hay cambio Cambio con incremento Cambio con decremento Evolución de un punto límite Evolución de un punto límite No hay cambio No hay cambio No Hay cambio (nuevo landmark) Cambio con incremento(nuevo landmark) Cambio con decremento (nuevo landmark) 4647 INTERPRETACIÓN DE LOS I-SUCESORES I - Sucesores: de intervalo a punto QV(v,t i,,t i+1 ) QV(v,t i+1 ) <l j, std> <l j, std> <(l j ), inc> <l j+1, std> <(l j ), inc> <l j+1, inc> <(l j ), inc> <(l j ), inc> <(l j ), inc> <(l j ), std> <(l j ), dec> <l j, std> <(l j ), dec> <l j, dec> <(l j ), dec> <(l j ), dec> <(l j ), dec> <(l j ), std> <(l j ), std> <(l j ), std> Interpretación No hay cambio Evolución hacia un landmark Evolición hacia un punto límite No hay cambio Evolución hacia un nuevo landmark Evolución hacia un landmark Evolución hacia un punto límite No hay cambio Evolución hacia un nuevo landmark No hay cambio 4748 EJEMPLO: ALGORITMO CFILTER PARA EL CASO DE UN TANQUE inflow amount netflow outflow 4849 RESTRICCIONES PARA EL PROBLEMA DE UN TANQUE (define-qde Minimal-Bathtub (quantity-spaces (amount (0 full inf)) (outflow (0 inf)) (inflow (0 if* inf)) (netflow (minf 0 inf))) (constraints ((M + amount outflow) (0 0) (inf inf)) ((add netflow outflow inflow)) ((d/dt amount netflow)) ((constant inflowl))) (transitions ((amount (full inc)) -> tank-overflow) 4950 PASO 0: DEFINICIÓN DE LAS CONDICIONES INICIALES t 0 t 0, t 1 amount 0, (0,full),, outflow 0, (0, ), inflow { if*, θ } { if*, θ } netflow (0, ), (0, ), 5051 PASO 1: RESTRICCIÓN DEL DOMINIO Para el instante t 1, y según las reglas de definición del estado sucesor, las variables implicadas sólo podrán tomar los siguientes valores: t 1 amount { full,, full, θ, (0,full),, (0, full), θ } outflow {,,, θ, (0, ),, (0, ), θ } inflow { if*, θ } netflow { 0,, 0, θ, (0, ),, (0, ), θ } 5152 PASO 2: CONSISTENCIA DE NODO Para cada restricción formamos todas las tuplas de posibles valores de sus variables y las enfrentamos con la definición de cada restricción. (constraints ((M + amount outflow) ((add netflow outflow inflow)) ((d/dt amount netflow)) ((constant inflow))) (0 0) (inf inf)) 5253 PASO 2: CONSISTENCIA DE NODO ((M + amount outflow) (0 0) (inf inf)) outflow amount full, full, θ (0,full), (0, full), θ, X 2 X 1,2 X 2 X 1,2, θ X 1,2 X 2 X 1,2 X 2 (0, ), X 1 X 1 (0, ), θ X 1 X 1 1. Viola el hecho de que [d(amount)/dt]=[d(outflow)/dt] 2. Violan el valor correspondiente (inf inf) 5354 PASO 2: CONSISTENCIA DE NODO ((add netflow outflow inflow)) dando por hecho de que inflow=<if * θ> outflow netflow 0, 0, θ (0, ), (0, ), θ, X 4 X 3,4 X 4 X 3,4, θ X 3,4 X 4 X 3,4 X 4 (0, ), X 3 X 3 (0, ), θ X 3 X 3 3. Viola el hecho de que [d(netflow)/dt]+[d(outflow)/dt]=[d(inflow)/dt] 4. A partir de [x] +[y] =[z] se obtiene [+]+[0] [0]. 5455 PASO 2:CONSISTENCIA DE NODO ((d/dt amount netflow)) netflow amount full, full, θ (0,full), (0, full), θ 0, X 5 X 5 0, θ X 5 X 5 (0, ), X 5 X 5 (0, ), θ X 5 X 5 5. Viola el hecho de que [d(amount)/dt]=[netflow] 0 5556 PASO 3 CONSISTENCIA DE ARCO ((M + amount outflow) (0 0) (inf inf)) Amount Outflow full, (0, ), full, θ (0, ), θ (0,full), (0, ), (0,full), θ (0, ), θ 5657 PASO 3 CONSISTENCIA DE ARCO ((add netflow outflow inflow)) Netflow Outflow 0, (0, ), 0, θ (0, ), θ (0, ), (0, ), (0, ), θ (0, ), θ 5758 PASO 3: CONSISTENCIA DE ARCO ((d/dt amount netflow)) Amount Netflow full, (0, ), full, (0, ) θ full, θ 0, full, θ 0, θ (0, full), (0, ), (0, full), (0, ), θ (0, full), θ 0, (0, full), θ 0,θ 5859 PASO 3: CONSISTENCIA DE ARCO Todas las tuplas supervivientes satisfacen el test de consistencia de arco. 5960 PASO 4: BÚSQUEDA EXHAUSTIVA A partir de los valores de las tuplas supervivientes, podemos hacer una búsqueda exhaustiva hacia atrás creando todos los conjuntos de asignaciones globales consistentes amount full, full, θ (0,full), (0, full), θ outflow (0, ),, (0, ), θ (0, ), (0, ), θ inflow if*, θ if*, θ if*, θ if*, θ netflow (0, ), 0, θ (0, ), 0, θ 6061 FILTRADO GLOBAL La solución 3 se descarta por no representar ningún cambio. Los estados 1,2 y 4 se consideran como posibles estados del sistema para el instante t 1. El estado 1 representa una transición a otro régimen de operación. Los estados 2 y 4 representan estados equiescentes. 6162 ÁRBOL DE COMPORTAMIENTOS Árbol de comportamientos obtenido para el modelo de un tanque t 0 t 0,t 1 t 1 QS 1 (F,t0), QS 1 (F,(t 0,t 1 )),QS 1 (F,t 1 ) QS 2 (F,t 0 ), QS 2 (F,(t 0,t 1 )),QS 2 (F,t 1 ) QS 3 (F,t 0 ), QS 3 (F,(t 0,t 1 )),QS 3 (F,t 1 ) 6263 COMPORTAMIENTO 1 Amount inf full Inflow inf If* t 0 t 1 t 0 t 1 outflow inf o-2 Netflow inf N-0 N-1 t 0 t 1 t 0 t 1 minf 6364 COMPORTAMIENTO 2 Amount inf full A-0 Inflow inf If* t 0 t 1 t 0 t 1 outflow Netflow inf o-0 inf N-0 t 0 t 1 t 0 t 1 minf 6465 COMPORTAMIENTO 3 Amount inf Inflow inf full If* t 0 t 1 t 0 t 1 outflow Netflow inf o-1 inf N-0 t 0 t 1 t 0 t 1 minf 6566 CONDUCTAS REALES PARA EL PROBLEMA DEL TANQUE Rebosa Estado inicial. lleno 6667 ALGORITMO ASOCIADO A QSIM Algoritmo QSIM: Dado una EDQ y su dominio de conocimiento parcial, QSIM predice el conjunto de posibles comportamientos cualitativos {Beh 1,...Beh 2 } de la siguiente forma: 6768 ALGORITMO ASOCIADO A QSIM 1. Inicializa la agenda: Con el conjunto de estados iniciales completos usando para ello el SCA (State- Completion Algorithm). 2. Si la agenda está vacía o si los recursos son excedidos el algoritmo para. Los caminos definidos desde la raíz hasta las hojas describen los distintos comportamientos. En cualquier otro caso sacamos un estado S de la agenda. 3. Algoritmo CFilter: Para cada variable v i en las EDQ se determinan los posibles valores sucesores a QV(v i,s). Estos son interpretados como dominios de restricción por el algorimo Cfilter. Determinar todo los posibles estados sucesores {S 1,..,S k } consistentes con los dominios restringidos y con las QDE. 4. Si S es un estado que representa un intervalo de tiempo el algoritmo elimina todos los estados sucesores S i cuyos valores son idénticos con dicho estados (no change filter). 5. Para cada S i se establecen las relaciones de sucesores (S, S i ) y predecesores (S i,s). Inserción en el árbol de comportamientos de los nuevos estados. 6. Se aplican los filtros globales a cada estado sucesor de S i. 7. Se añade cada posible estado sucesor a la agenda. Un nuevo estado sucesor S i creado es añadido a la agenda a menos que sea declarado por un filtro global como: inconsistente(s I ), Quiescente(S i ), Cíclico(S i ), Transición(S i ), o que t= en S i. 8. Se continua a partir del paso 2. 6869 ALGORITMO DEL ESTADO COMPLETO (SCA) SCA: (State Completion Algorithm) Algoritmo que permite describir si un estado es completo o no. Estado completo: Un estado es completo si cada variable de dicho estado posee un valor tanto para su magnitud cualitativa como para su dirección de cambio cualitativa. 6970 ALGORITMO DEL ESTADO COMPLETO (SCA) PASO A PASO 1. Dada la descripción de un estado S: Si S es completo. Finaliza el algoritmo. Se afirma Complete(S). 2. Se aplica propagación para obtener una más completa descripción de S Si S es completo. Finaliza el algoritmo. Se afirma Complete(S). 3. Aplicamos el algoritmo Cfilter para derivar todos los posibles estados {S 1,..., S n } que son completos a partir de la información disponible. Se afirma que el conjunto de estados generados de esta forma es completo, Completion(S, S i ) además de afirmarlo para cada S i. 7071 FILTROS GLOBALES Estos filtros nos permiten: Determinar la inconsistencia de un estado que no es visible a través de las restricciones. Hacer una descripción más específica de un estado, sin perdida de validez o generalidad, a través de la inclusión de nuevos landmarks o identificando nuevos valores correspondientes. 7172 TIPOS DE FILTROS GLOBALES Hay dos tipos de filtros globales: filtros de estado y filtros de comportamiento. Los filtros de estado tienen carácter local considerando sólo la información del estado actual bajo estudio y tal vez de su predecesor inmediato. Los filtros de comportamiento consideran la información global sobre un comportamiento completo que finaliza en el estado actual. 7273 MODELADO BASADO EN RESTRICCIONES: QSIM Filtros Globales: Filtros de estado. Filtro No change. Filtro de valores infinitos. Filtro de estados quiescentes. Filtro para la creación de nuevos landmarks. Filtro para la creación de nuevos valores correspondientes. Filtro de reconocimiento de comportamientos cíclicos. Filtro para la identificación de las transiciones entre regiones de operación. Filtro de las derivadas de orden superior. Filtros de comportamiento. Restricción sobre funciones analíticas. Restricción sobre la no intersección. Restricción sobre la energía global. Uso de otras informaciones cualitativas. 7374 INCONVENIENTE: GENERACIÓN DE ESTADOS ESPÚREOS Los estados espúreos son aquellos estados que satisfaciendo las restricciones no representan ningún estado físico posible. Ejemplo del muelle Los valores iniciales de las variables del sistema hacen referencia a la energía total de éste. En esos puntos el valor de la energía está definido (valores landmarks). Cuando el sistema evoluciona hacia un intervalo abierto el valor de la energía deja de estar definido para convertirse en un intervalo de valores. Esta incertidumbre en el valor de la energía se propaga a lo largo de la simulación dando lugar a la aparición de los estados espúreos. Solución: inclusión explícita de nuevas restricciones modelado semicuantitativo etc... 74 Documentos relacionados
Restricciones Ingeniería Superior en Informática, 4º Curso académico: 2011/2012 Profesores: Ramón Hermoso y Matteo Vasirani 1 Tema 2: Agentes basados en Búsqueda Resumen: 2. Agentes basados en búsqueda Más detalles Representación basada en Restricciones
Representación basada en Restricciones Asunción Gómez-Pérez asun@fi.upm.es Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Campus de Montegancedo sn, 28660 Más detalles DEPARTAMENTO DE INGENIERÍA EN SISTEMAS Y COMPUTACIÓN OPCIÓN I
1INSTITUTO TECNOLÓGICO DE CIUDAD MADERO DEPARTAMENTO DE INGENIERÍA EN SISTEMAS Y COMPUTACIÓN OPCIÓN I TESIS: Desarrollo de Algoritmos de Retroceso Aplicados a la solución del Problema del Diseño de la Más detalles El proyecto realizado consiste en un resolutor de sudokus mediante CSP.
Introducción El proyecto realizado consiste en un resolutor de sudokus mediante CSP. El problema del sudoku fue inventado por Howard Garns en 1979 y se volvió muy popular en Japón en 1986. En España ha Más detalles Algoritmos para CSP 1
Algoritmos para CSP 1 1. Técnicas de Consistencia, o Inferenciales I. Inferencia, o consistencia completa Proceso que permite la síntesis de todas las restricciones de un problema en una única restricción Más detalles Hoja de Problemas Tema 6 Búsqueda con estados estructurados: Restricciones
Ejercicio 1: 1.1. Si se resuelve un problema de satisfacción de restricciones mediante búsqueda con asignaciones parciales, entonces (a) (b) (c) (d) (e) Un estado siempre asigna un valor a todas las variables Más detalles Problemas de Satisfacción de Restricciones
Problemas de Satisfacción de estricciones José Luis uiz eina José Antonio Alonso Jiménez Franciso J. Martín Mateos María José Hidalgo Doblado Dpto. Ciencias de la Computación e Inteligencia Artificial Más detalles Problemas de satisfacción de restricciones.
Problemas de satisfacción de restricciones. In whitch we see how treating states as more than just little black boxes leads to the invention of a range of powerful new search methods and a deeper understanding Más detalles Programación con Restricciones Constraint Programming
Programación con Restricciones Constraint Programming Introducción basada en Roman Barták: Guide to Constraint Programming http://kti.ms.mff.cuni.cz/~bartak/constraints/index.html Constraint Programming Más detalles III. BÚSQUEDA Y RESOLUCIÓN DE PROBLEMAS. III.3.
III. BÚSQUEDA Y RESOLUCIÓN DE PROBLEMAS. III.3. Búsquedas con retroceso. III.3.1. Búsquedas con retroceso a ciegas. III.3.1.1. Procedimientos con retroceso. La búsqueda con retroceso, o backtracking, es Más detalles Problemas de satisfacción de restricciones. Javier Ramírez Rodríguez Departamento de Sistemas Universidad Autónoma Metropolitana
Problemas de satisfacción de restricciones Javier Ramírez Rodríguez Departamento de Sistemas Universidad Autónoma Metropolitana La programación con restricciones (PR) ha generado gran expectación entre Más detalles Sistemas de producción y búsqueda de soluciones. Area de Computación e Inteligencia Artificial 1
Sistemas de producción y búsqueda de soluciones Area de Computación e Inteligencia Artificial 1 Técnicas de búsqueda Resolución de problemas en Inteligencia Artificial. En general, podemos afirmar que Más detalles Tema 5: Problemas de satisfacción de restricciones
Tema 5: Problemas de satisfacción de restricciones José Luis uiz eina José Antonio Alonso Franciso J. Martín Mateos María José Hidalgo Departamento de Ciencias de la Computación e Inteligencia Artificial Más detalles Descripción inicial del sistema. Descripción final del sistema. Estado 1 Estado 2 Estado n
Búsqueda en Inteligencia Artificial Fernando Berzal, berzal@acm.org Búsqueda en I.A. Introducción Espacios de búsqueda Agentes de búsqueda Uso de información en el proceso de búsqueda Búsqueda sin información Más detalles Restricciones sobre dominios finitos con Gprolog
Autores: Rubén García Portal Nikolai Smirnov Restricciones sobre dominios finitos con Gprolog Introducción. Este documento explicará brevemente las funciones que se utilizan en Gprolog para resolución Más detalles Problemas Resueltos de Desigualdades y Programación Lineal
Universidad de Sonora División de Ciencias Exactas y Naturales Departamento de Matemáticas. Problemas Resueltos de Desigualdades y Programación Lineal Para el curso de Cálculo Diferencial de Químico Biólogo Más detalles EN INFORMÁTICA DE SISTEMAS
INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS Curso Académico 2009/2010 Proyecto Fin de Carrera PLANIFICACIÓN CUALITATIVA DE CAMINOS DE ROBOTS MÓVILES EN ENTORNOS POLIGONALES BASADA EN LA TEORÍA DE MATROIDES Más detalles Tablas. Estas serán las tablas que usaremos en la mayoría de ejemplos. Empleado
Álgebra Relacional Un álgebra es un sistema matemático constituido por Operandos: objetos (valores o variables) desde los cuales nuevos objetos pueden ser construidos. Operadores: símbolos que denotan Más detalles Satisfacción de Restricciones
Satisfacción de Restricciones Introducción Componentes del estado: Variables Dominios (valores posibles para las variables) Restricciones binarias entre las variables Objetivo: Encontrar un estado que Más detalles Programación Genética
Programación Genética Programación Genética consiste en la evolución automática de programas usando ideas basadas en la selección natural (Darwin). No sólo se ha utilizado para generar programas, sino Más detalles Ingeniería de Software con UML Unified Modeling Language Lenguaje Unificado de Modelado
Ingeniería de Software con UML Unified Modeling Language Lenguaje Unificado de Modelado 1. Introducción Unified Modeling Languaje Fuente: Booch- Jacobson-Rumbauch y diversos sitios Internet, entre otros: Más detalles Ortogonalidad y Series de Fourier
Capítulo 4 Ortogonalidad y Series de Fourier El adjetivo ortogonal proviene del griego orthos (recto) y gonia (ángulo). Este denota entonces la perpendicularidad entre dos elementos: dos calles que se Más detalles INDICE. XVII Prólogo a la edición en español. XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas
INDICE Prologo XVII Prólogo a la edición en español XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas 1 1.1.1. Introducción 1.1.2. Algunos argumentos lógicos importantes 2 1.1.3. Proposiciones Más detalles Desarrollo de SBC. cbea (LSI - FIB) Sistemas Basados en el Conocimiento IA - Curso 2008/2009 1 / 41
Desarrollo de SBC Ingeniería de los SBC Desarrollo de SBC El punto más importante del desarrollo de SBC es la extracción del conocimiento Requiere la interacción entre el Ingeniero del Conocimiento y el Más detalles TAD Lineales: Pila, Cola y Lista
TAD Lineales: Pila, Cola y Lista Objetivos! Dar a conocer los TAD lineales pila, cola y lista! Presentar la especificación de cada uno de los TAD! Discutir implementaciones alternativas para cada uno de Más detalles Editor: Editorial de la Universidad de Granada Autor: Óscar Jesús García Pérez D.L.: Gr. 1885-2007 ISBN: 978-84-338-4439-2
Editor: Editorial de la Universidad de Granada Autor: Óscar Jesús García Pérez D.L.: Gr. 1885-2007 ISBN: 978-84-338-4439-2 II - Índice de ilustraciones...viii III - Índice de algoritmos...x IV - Presentación...2 Más detalles TÉCNICAS DE PLANIFICACIÓN Y CONTROL DE PROYECTOS 1
Técnicas de planificación y control de proyectos Andrés Ramos Universidad Pontificia Comillas http://www.iit.comillas.edu/aramos/ Andres.Ramos@comillas.edu TÉCNICAS DE PLANIFICACIÓN Y CONTROL DE PROYECTOS Más detalles 7. MODELADO EN DINAMICA DE SISTEMAS
7. MODELADO EN DINAMICA DE SISTEMAS 7.1. Dinámica de Sistemas El origen de la dinámica de sistemas se encuentra ligado al desarrollo de una aplicación para analizar los pedidos de una empresa fabricante Más detalles En este capitulo se presentan los métodos y algoritmos utilizados para el desarrollo del
33 En este capitulo se presentan los métodos y algoritmos utilizados para el desarrollo del sistema de procesamiento de imágenes para controlar un robot manipulador y se describen en la forma como serán Más detalles RESUMEN INFORMATIVO PROGRAMACIÓN DIDÁCTICA CURSO 2015 /2016
RESUMEN INFORMATIVO PROGRAMACIÓN DIDÁCTICA CURSO 2015 /2016 DEPARTAMENTO: MATEMÁTICAS MATERIA: MATEMÁTICAS ACADÉMICAS CURSO: 3º ESO OBJETIVOS DEL ÁREA DE MATEMÁTICAS A LAS ENSEÑANZAS ACADÉMICAS 3º ESO Más detalles Trabajo Práctico Introductorio Matlab, Simulink y Métodos de Integración Numérica
Trabajo Práctico Introductorio Matlab, Simulink y Métodos de Integración Numérica Control I Dinámica de los Sistemas Físicos 1. Introducción Los sitemas continuos habitualmente se representan mediante Más detalles 4.2 CÓMO SE NOS PRESENTAN LAS FUNCIONES
Tema 4 Funciones. Características - Matemáticas B 4º E.S.O. 1 TEMA 4 FUNCIONES. CARACTERÍSTICAS 4.1 CONCEPTOS BÁSICOS 3º 4.1.1 DEFINICIONES 3º Una función liga dos variables numéricas a las que, habitualmente, Más detalles INTRODUCCIÓN A. Autor: José Antonio Glez. Reboredo
INTRODUCCIÓN A Autor: José Antonio Glez. Reboredo 1. MÉTODOS FORMALES... 3 1.1. INTRODUCCIÓN... 3 1.2. ESPECIFICACIÓN... 4 1.3. VERIFICACIÓN... 5 1.3.1. COMPROBACIÓN DE MODELOS... 5 1.3.2. PRUEBA DE TEOREMAS... Más detalles Algoritmos sobre Grafos
Sexta Sesión 27 de febrero de 2010 Contenido Deniciones 1 Deniciones 2 3 4 Deniciones sobre Grafos Par de una lista de nodos y una lista de enlaces, denidos a su vez como pares del conjunto de nodos. Más detalles Optimización de consultas Resumen del capítulo 14
Optimización de consultas Resumen del capítulo 14 Libro: Fundamentos de Bases de Datos Silberschatz et al. 5ed. Dr. Víctor J. Sosa Agenda 1. Visión general 2. Estimación de las estadísticas de los resultados Más detalles Matemáticas. 1 o ESO. David J. Tarifa García. info@esobachilleratouniversidad.com.es
Matemáticas 1 o ESO David J. Tarifa García info@esobachilleratouniversidad.com.es 1 Matemáticas - 1 o ESO 2 Índice 1 Tema 1. Los números naturales 6 1.1 Suma de números naturales................................ Más detalles Equipo Docente de Fundamentos Físicos de la Informática. Dpto.I.I.E.C.-U.N.E.D. Curso 2001/2002.
TEMA 11. FENÓMENOS TRANSITORIOS. 11 Fenómenos transitorios. Introducción. 11.1. Evolución temporal del estado de un circuito. 11.2. Circuitos de primer y segundo orden. 11.3. Circuitos RL y RC en régimen Más detalles Capítulo V Operaciones Booleanas
85 Capítulo V Operaciones Booleanas 5.1 Introducción Es muy posible que en muchos casos sea necesario comparar dos objetos y determinar cuál es su parte común. Esto implica intersectar los dos objetos Más detalles árbol como un conjunto de nodos y líneas
ÁRBOLES CAPÍTULO 6 ÁRBOLES Desde el punto de vista conceptual, un árbol es un objeto que comienza con una raíz (root) y se extiende en varias ramificaciones o líneas (edges), cada una de las cuales puede Más detalles Razonamiento. con. Restricciones. Esquema Global. Tutorial IBERAMIA 2002. 1. Introducción - Definiciones - Ejemplos
Esquema Global Razonamiento con Restricciones Tutorial IBERAMIA 2002 Javier Larrosa Dep. LSI, UPC, Barcelona Pedro Meseguer IIIA, CSIC, Bellaterra 1. Introducción - Definiciones - Ejemplos 2. Métodos de Más detalles Matemáticas 2º BTO Aplicadas a las Ciencias Sociales
Matemáticas 2º BTO Aplicadas a las Ciencias Sociales CONVOCATORIA EXTRAORDINARIA DE JUNIO 2014 MÍNIMOS: No son contenidos mínimos los señalados como de ampliación. I. PROBABILIDAD Y ESTADÍSTICA UNIDAD Más detalles PREPROCESADO DE DATOS PARA MINERIA DE DATOS
Ó 10.1007/978-3-319-02738-8-2. PREPROCESADO DE DATOS PARA MINERIA DE DATOS Miguel Cárdenas-Montes Frecuentemente las actividades de minería de datos suelen prestar poca atención a las actividades de procesado Más detalles 1 Conceptos Básicos de Señales y Sistemas
CAPÍTULO 1 Conceptos Básicos de Señales y Sistemas Cuando se hace referencia a los conceptos de señales y sistemas, su aplicación es válida para una variedad amplia de disciplinas, tales como sismología, Más detalles Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo
Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo Semánticas del cálculo de predicados proporcionan las bases formales para determinar el valor Más detalles Inecuaciones y Sistemas de Inecuaciones Lineales con una Incóg
PreUnAB Inecuaciones y Sistemas de Inecuaciones Lineales con una Incógnita Clase # 11 Agosto 2014 Intervalos Reales Orden en R Dados dos números reales a y b, se dice que a es menor que b, a < b, si b Más detalles Universidad de Costa Rica Escuela de Matemática CONARE-PROYECTO RAMA. Funciones
Universidad de Costa Rica Escuela de Matemática CONARE-PROYECTO RAMA Funciones José R. Jiménez F. Temas de pre-cálculo I ciclo 007 Funciones 1 Índice 1. Funciones 3 1.1. Introducción................................... Más detalles TEMA 3 (parte 2). Representación del Conocimiento
TEMA 3 (parte 2). Representación del Conocimiento Francisco José Ribadas Pena INTELIGENCIA ARTIFICIAL 5 Informática ribadas@uvigo.es 13 de noviembre de 2009 FJRP ccia [Inteligencia Artificial] 3.2.2 Lógica Más detalles Matemáticas. Si un error simple ha llevado a un problema más sencillo se disminuirá la puntuación.
UNIVERSIDAD POLITÉCNICA DE CARTAGENA PRUEBAS DE ACCESO A LA UNIVERSIDAD DE LOS MAYORES DE 25 AÑOS CONVOCATORIA 2014 CRITERIOS DE EVALUACIÓN Matemáticas GENERALES: El examen constará de dos opciones (dos Más detalles Capítulo 3: APLICACIONES DE LAS DERIVADAS
Capítulo : Aplicaciones de la derivada 1 Capítulo : APLICACIONES DE LAS DERIVADAS Dentro de las aplicaciones de las derivadas quizás una de las más importantes es la de conseguir los valores máimos y mínimos Más detalles {} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por.
2. Nociones sobre Teoría de Conjuntos y Lógica Para llevar a cabo nuestro propósito de especificar formalmente los problemas y demostrar rigurosamente la correctitud de nuestro programas, introduciremos Más detalles Razonamiento. con. Restricciones. Esquema Global. Tutorial CAEPIA 2003. 1. Introducción - Definiciones - Ejemplos
Esquema Global Razonamiento con Restricciones Tutorial CAEPIA 2003 Javier Larrosa Dep. LSI, UPC, Barcelona Pedro Meseguer IIIA, CSIC, Bellaterra 1. Introducción - Definiciones - Ejemplos 2. Métodos de Más detalles Tema 3. Espacios vectoriales
Tema 3. Espacios vectoriales Estructura del tema. Definición y propiedades. Ejemplos. Dependencia e independencia lineal. Conceptos de base y dimensión. Coordenadas Subespacios vectoriales. 0.1. Definición Más detalles PROCESO DE INNOVACIÓN EN LA ENSEÑANZA DE LA GESTIÓN DE EQUIPOS INDUSTRIALES EN INGENIERÍA
PON-C-22 PROCESO DE INNOVACIÓN EN LA ENSEÑANZA DE LA GESTIÓN DE EQUIPOS INDUSTRIALES EN INGENIERÍA A. García Sánchez (1), M. Ortega Mier (2), E. Ponce Cueto (3) Dpto. de Ingeniería de Organización, Administración Más detalles INTRODUCCIÓN A LA INTELIGENCIA ARTIFICIAL: LOS SISTEMAS EXPERTOS
Introducción a los Sistemas Expertos 1 INTRODUCCIÓN A LA INTELIGENCIA ARTIFICIAL: LOS SISTEMAS EXPERTOS ÍNDICE 1. INTRODUCCIÓN. EVOLUCIÓN HISTÓRICA 2. DEFINICIÓN Y CARACTERÍSTICAS DE LOS SE. 3. TIPOS Y Más detalles TEMA 5. MICROELECTRÓNICA ANALÓGICA INTEGRADA
TEMA 5. MCOEECTÓCA AAÓGCA TEGADA 5.. esistencias activas En el capítulo tercero se puso de manifiesto la dificultad que conlleva la realización de resistencias pasivas de elevado valor con tecnología CMOS, Más detalles 5. AJUSTE DE PARÁMETROS DE LA BÚSQUEDA TABÚ
5.Ajuste de parámetros de la búsqueda tabú 5. AJUSTE DE PARÁMETROS DE LA BÚSQUEDA TABÚ El algoritmo de Búsqueda Tabú (TS) utiliza un gran número de parámetros asociados a distintas etapas de la resolución. Más detalles Ecuaciones Diferenciales Tema 2. Trasformada de Laplace
Ecuaciones Diferenciales Tema 2. Trasformada de Laplace Ester Simó Mezquita Matemática Aplicada IV 1 1. Transformada de Laplace de una función admisible 2. Propiedades básicas de la transformada de Laplace Más detalles Integrador, realimentación y control
Prctica 1 Integrador, realimentación y control El programa Simulink es un programa incluido dentro de Matlab que sirve para realizar la integración numérica de ecuaciones diferenciales a efectos de simular Más detalles Registro (record): es la unidad básica de acceso y manipulación de la base de datos.
UNIDAD II 1. Modelos de Bases de Datos. Modelo de Red. Representan las entidades en forma de nodos de un grafo y las asociaciones o interrelaciones entre estas, mediante los arcos que unen a dichos nodos. Más detalles Tema 7: Optimización sobre Redes Muchos de los problemas de Investigación Operativa pueden modelizarse y resolverse sobre un grafo: conjunto de
Tema 7: Optimización sobre Redes Muchos de los problemas de Investigación Operativa pueden modelizarse y resolverse sobre un grafo: conjunto de vértices o nodos conectados con arcos y/o aristas. Diseñar Más detalles BASES DE DATOS MIS 308
2. MODELOS DE DATOS Introducción 2.1 Entidad relación 2.2 Jerárquico 2.3 De red 2.4 Relacional Introducción Hoy en día las empresas manejan una gran cantidad de datos. Cualquier empresa que se precie debe Más detalles Desarrollo de un nuevo algoritmo para resolver programas lineales enteros y su aplicación práctica en el desarrollo económico.
Desarrollo de un nuevo algoritmo para resolver programas lineales enteros y su aplicación práctica en el desarrollo económico. 7071 Febrero, 2014 Resumen Es importante señalar que en un entorno social Más detalles CATÁLOGO DE INFERENCIAS
Las inferencias son los elementos claves en los modelos de conocimiento o Son los elementos constitutivos de los procesos de razonamiento No existe ningún estándar CommonKADS ofrece un catálogo que cubre Más detalles La gestión de proyectos es la rama de la ciencia de la administración que trata de la planificación y el control de proyectos.
DEFINICIÓN DE PROYECTO Un proyecto es un conjunto de acciones No repetitivas Únicas De duración determinada Formalmente organizadas Que utilizan recursos Podremos considerar un proyecto, a efectos de aplicarle Más detalles Unidad V: Integración
Unidad V: Integración 5.1 Introducción La integración es un concepto fundamental de las matemáticas avanzadas, especialmente en los campos del cálculo y del análisis matemático. Básicamente, una integral Más detalles CONTENIDOS MÍNIMOS BACHILLERATO
CONTENIDOS MÍNIMOS BACHILLERATO I.E.S. Vasco de la zarza Dpto. de Matemáticas CURSO 2013-14 ÍNDICE Primero de Bachillerato de Humanidades y CCSS...2 Primero de Bachillerato de Ciencias y Tecnología...5 Más detalles Bases de datos activas, un enfoque de red de Petri
Bases de datos activas, un enfoque de red de Petri Joselito Medina-Marín, Xiaoou Li, Aurora Pérez-Rojas, Oscar Montaño-Arango, y José Ramón Corona-Armenta Resumen. Las bases de datos activas (BDA) son Más detalles BASES DE DATOS TEMA 4 DISEÑO DE BASES DE DATOS RELACIONALES
BASES DE DATOS TEMA 4 DISEÑO DE BASES DE DATOS RELACIONALES El modelo relacional se basa en dos ramas de las matemáticas: la teoría de conjuntos y la lógica de predicados de primer orden. El hecho de que Más detalles Apuntes de Matemática Discreta 6. Relaciones
Apuntes de Matemática Discreta 6. Relaciones Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 6 Relaciones Contenido 6.1 Generalidades..................................... Más detalles + 7 es una ecuación de segundo grado. es una ecuación de tercer grado.
ECUACIONES Y DESIGUALDADES UNIDAD VII VII. CONCEPTO DE ECUACIÓN Una igualdad es una relación de equivalencia entre dos epresiones, numéricas o literales, que se cumple para algún, algunos o todos los valores Más detalles FICHEROS Y BASES DE DATOS (E44) 3º INGENIERÍA EN INFORMÁTICA. Tema 10. Álgebra Relacional
FICHEROS Y BASES DE DATOS (E44) 3º INGENIERÍA EN INFORMÁTICA Tema 10. Álgebra Relacional 1.- Introducción. 2.- Una Sintaxis para el Álgebra Relacional. 3.- Asignación Relacional. 4.- Operaciones Tradicionales Más detalles CAPITULO 1 RESOLUCIÓN DE PROBLEMAS. Espacio de Estados. Características Generales de los Procesos de Búsqueda
CAPITULO 1 RESOLUCIÓN DE PROBLEMAS Espacio de Estados Características Generales de los Procesos de Búsqueda Estrategias de Exploración del Espacio de Estados Resumen Textos Básicos 1. RESOLUCIÓN DE PROBLEMAS Más detalles Inteligencia Artificial para desarrolladores Conceptos e implementación en C#
Introducción 1. Estructura del capítulo 19 2. Definir la inteligencia 19 3. La inteligencia de los seres vivos 22 4. La inteligencia artificial 24 5. Dominios de aplicación 26 6. Resumen 28 Sistemas expertos Más detalles Introducción. Conceptos y principios. Introducción. Introducción. Elementos del modelo de análisis. Elementos del modelo de diseño.
Definición de diseño Proceso para la definición detallada de un sistema con el fin de su realización física. Ingeniería del Software 1 Ingeniería del Software 2 Modelo de diseño vs. Paradigma de IS 3 actividades Más detalles Tema IV. Unidad aritmético lógica
Tema IV Unidad aritmético lógica 4.1 Sumadores binarios 4.1.1 Semisumador binario (SSB) 4.1.2 Sumador binario completo (SBC) 4.1.3 Sumador binario serie 4.1.4 Sumador binario paralelo con propagación del Más detalles Tema 6. Restricciones a la Base de Datos: Integridad y seguridad
Tema 6. Restricciones a la Base de Datos: Integridad y seguridad Juan Ignacio Rodríguez de León Resumen Las restricciones desde el punto de vista de integridad de bases de datos. se presentan dependencias Más detalles RECOMENDACIÓN UIT-R TF.538-3 MEDICIONES DE LA INESTABILIDAD DE FRECUENCIA Y EN EL TIEMPO (FASE) (Cuestión UIT-R 104/7)
Caracterización de las fuentes y formación de escalas de tiempo Rec. UIT-R TF.538-3 1 RECOMENDACIÓN UIT-R TF.538-3 MEDICIONES DE LA INESTABILIDAD DE FRECUENCIA Y EN EL TIEMPO (FASE) (Cuestión UIT-R 104/7) Más detalles TEMA 4: TÉCNICAS DE PLANIFICACIÓN DE PROYECTOS
TEMA 4: TÉCNICAS DE PLANIFICACIÓN DE PROYECTOS 4.1. Objetivos Establecer una relación esfuerzo / tiempo cronológico Estudiar el posible paralelismo de las tareas Situar las tareas en un esquema cronológico Más detalles Complejidad - Problemas NP-Completos. Algoritmos y Estructuras de Datos III
Complejidad - Problemas NP-Completos Algoritmos y Estructuras de Datos III Teoría de Complejidad Un algoritmo eficiente es un algoritmo de complejidad polinomial. Un problema está bien resuelto si se conocen Más detalles Modelos matemáticos de simulación
Modelos matemáticos de simulación Andrés Ramos Andres.Ramos@iit.icai.upcomillas.es Universidad Pontificia Comillas Begoña Vitoriano bvitoriano@mat.ucm.es Universidad Complutense de Madrid Índice Sistemas, Más detalles INECUACIONES: DESIGUALDADES. 3. Usa métodos para solucionar desigualdades lineales y cuadráticas.
FUNDACIÓN INSTITUTO A DISTANCIA EDUARDO CABALLERO CALDERON Espacio Académico: Matemáticas Docente: Mónica Bibiana Velasco Borda mbvelascob@uqvirtual.edu.co CICLO: V INICIADORES DE LOGRO INECUACIONES: DESIGUALDADES Más detalles Métodos para la construcción de software fiable: Interpretación Abstracta. María del Mar Gallardo Melgarejo Pedro Merino Gómez
Métodos para la construcción de software fiable: Interpretación Abstracta María del Mar Gallardo Melgarejo Pedro Merino Gómez Dpto. de Lenguajes y Ciencias de la Computación Universidad de Málaga (gallardo,pedro)@lcc.uma.es Más detalles Profesoresdematemáticaswww.institu teofmathematics.webs.comprofesores dematemáticaswww.instituteofmathe. matics.webs.comprofesoresdematemá
Profesoresdematemáticaswww.institu teofmathematics.webs.comprofesores dematemáticaswww.instituteofmathe Matemáticas IV matics.webs.comprofesoresdematemá ENP ticaswww.instituteofmathematics.web s.comprofesoresdematematicaswww.i Más detalles Universidad de Costa Rica Escuela de Matemática ALGEBRA LINEAL. x x1 n. θ y. 1 n x1 n ȳ1 n. Carlos Arce S. William Castillo E. Jorge González V.
Universidad de Costa Rica Escuela de Matemática ALGEBRA LINEAL x x x1 n θ y y ȳ1 n 1 n x1 n ȳ1 n Carlos Arce S. William Castillo E. Jorge González V. 2003 Algebra Lineal Carlos Arce S., William Castillo Más detalles PROGRAMACIÓN CON RESTRICCIONES PARA EL TRATAMIENTO DE INCERTIDUMBRE EN CSP NUMÉRICOS
Universidad Técnica Federico Santa María Departamento de Informática Valparaíso Chile PROGRAMACIÓN CON RESTRICCIONES PARA EL TRATAMIENTO DE INCERTIDUMBRE EN CSP NUMÉRICOS Tesis presentada como requerimiento Más detalles UNIDAD DIDÁCTICA: ELECTRÓNICA DIGITAL
IES PABLO RUIZ PICASSO EL EJIDO (ALMERÍA) CURSO 2013-2014 UNIDAD DIDÁCTICA: ELECTRÓNICA DIGITAL ÍNDICE 1.- INTRODUCCIÓN A LA ELECTRÓNICA DIGITAL 2.- SISTEMA BINARIO 2.1.- TRANSFORMACIÓN DE BINARIO A DECIMAL Más detalles CIRCUITOS DC Y AC. En las fuentes reales, ya sean de voltaje o corriente, siempre se disipa una cierta cantidad de energía en forma de calor.
CIRCUITOS DC Y AC 1. Fuentes de tensión y corriente ideales.- Una fuente ideal de voltaje se define como un generador de voltaje cuya salida V=V s es independiente de la corriente suministrada. El voltaje Más detalles ALGEBRA LINEAL. Héctor Jairo Martínez R. Ana María Sanabria R.
ALGEBRA LINEAL Héctor Jairo Martínez R. Ana María Sanabria R. SEGUNDO SEMESTRE 8 Índice general. SISTEMAS DE ECUACIONES LINEALES.. Introducción................................................ Conceptos Más detalles http://www.cepamarm.es ACFGS - Matemáticas ESG - 05/2013 Pág. 1 de 17
http://www.cepamarm.es ACFGS - Matemáticas ESG - 05/2013 Pág. 1 de 17 1 CONCEPTOS BÁSICOS 1.1 DEFINICIONES Una función liga dos variables numéricas a las que, habitualmente, se les llama x e y. x es la Más detalles Ingeniería en Informática
Departamento de Informática Universidad Carlos III de Madrid Ingeniería en Informática Aprendizaje Automático Junio 2007 Normas generales del examen El tiempo para realizar el examen es de 3 horas No se Más detalles Programación orientada a
Programación orientada a objetos con Java Pedro Corcuera Dpto. Matemática Aplicada y Ciencias de la Computación Universidad de Cantabria corcuerp@unican.es Objetivos Presentar los conceptos de la programación Más detalles FICHEROS Y BASES DE DATOS (E44) 3º INGENIERÍA EN INFORMÁTICA. Tema 11. Cálculo Relacional
FICHEROS Y BASES DE DATOS (E44) 3º INGENIERÍA EN INFORMÁTICA Tema 11. Cálculo Relacional 1.- Introducción. 2.- Cálculo Relacional Orientado a Tuplas. 3.- Cálculo Relacional vs Álgebra Relacional: Algoritmo Más detalles 13. Técnicas de simulación mediante el método de Montecarlo
13. Técnicas de simulación mediante el método de Montecarlo Qué es la simulación? Proceso de simulación Simulación de eventos discretos Números aleatorios Qué es la simulación? Simulación = técnica que Más detalles INTRODUCCIÓN A LA PROGRAMACIÓN MATEMÁTICA
INTRODUCCIÓN A LA PROGRAMACIÓN MATEMÁTICA Dentro del campo general de la teoría de la optimización, también conocida como programación matemática conviene distinguir diferentes modelos de optimización. Más detalles Ejercicios de Funciones, límites y continuidad.
Matemáticas 1ºBach CNyT. Ejercicios Funciones. Pág 1/12 Ejercicios de Funciones, límites y continuidad. 1. Estudia el dominio de las siguientes funciones 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. Más detalles ORIENTACIONES PARA LA PRUEBA DE APTITUD PARA EL ACCESO A LA UNIVERSIDAD
ORIENTACIONES PARA LA PRUEBA DE APTITUD PARA EL ACCESO A LA UNIVERSIDAD MODALIDAD CIENTÍFICO-TÉCNICO 1. NOMBRE DE LA MATERIA: Matemáticas II 2. NOMBRE DEL COORDINADOR: Miguel Delgado Pineda (mdelgado@mat.uned.es, Más detalles CONSTRUCCION DE SISTEMAS EXPERTOS
CONSTRUCCION DE SISTEMAS EXPERTOS TECNICAS DE EDUCCION DEL CONOCIMIENTO Dr. Ramón GARCIA MARTINEZ GRAFOS ARQUETÍPICOS En muchos dominios de conocimiento, puede reconocerse una estructura de representación Más detalles Tecnólogo Informático- Estructuras de Datos y Algoritmos- 2009
Árboles Ejemplos de estructuras arborescentes: con forma de árbol Regla de Alcance: los objetos visibles en un procedimiento son aquellos declarados en él mismo o en cualquier ancestro de él (cualquier Más detalles Análisis espectral de señales periódicas con FFT
Análisis espectral de señales periódicas con FFT 1 Contenido 7.1 Introducción a la Transformada Discreta de Fourier 3-3 7.2 Uso de la Transformada Discreta de Fourier 3-5 7.3 Método de uso de la FFT 3-8 Más detalles 2016 © DocPlayer.es Política de privacidad | Condiciones del servicio | Feedback

References: resolución 
 RESOLUCIÓN 
 RESOLUCIÓN 
 RESOLUCIÓN 
 Resolución 
 resolución 
 RESOLUCIÓN 
 RESOLUCIÓN 
 RESOLUCIÓN