Problemas de Satisfacción de  Restricciones (CSP)  Autor. Leopoldo Capa
<ul><li>Definición del problema de satisfacción de restricciones (CSP). </li></ul><ul><li>Áreas de aplicación.  </li></ul>...
 
 
<ul><li>Un Problema de Satisfacción de Restricciones(CSP) se puede representar como: </li></ul><ul><li>Un Conjunto de Vari...
 
 
 
 
 
<ul><li>Consistencia del problema (existe solución). </li></ul><ul><li>Obtener una o todas las soluciones del problema.  <...
<ul><li>Dado un CSP (X, Di, C), </li></ul><ul><li>Una instanciación(o asignación) de las variables X es una asignación de ...
<ul><li>Un CSP discreto es aquel en el que todas las variables son </li></ul><ul><li>discretas, es decir, toman valores en...
<ul><li>Discretas: las variables participantes están acotadas en dominios discretos. </li></ul><ul><li>Continuas: las vari...
Upcoming SlideShare
Loading in …5
×

Problemas de Satisfacción de Requerimientos

1,968 views
1,841 views

Published on

Published in: Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
1,968
On SlideShare
0
From Embeds
0
Number of Embeds
10
Actions
Shares
0
Downloads
12
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Problemas de Satisfacción de Requerimientos

  1. 1. Problemas de Satisfacción de Restricciones (CSP) Autor. Leopoldo Capa
  2. 2. <ul><li>Definición del problema de satisfacción de restricciones (CSP). </li></ul><ul><li>Áreas de aplicación. </li></ul><ul><li>Especificación de un problema CSP: variables, dominios y restricciones. </li></ul><ul><li>Tipología de restricciones (discretas y continuas, fuertes y débiles, restricciones lineales, disyuntivas, etc.). </li></ul>
  3. 5. <ul><li>Un Problema de Satisfacción de Restricciones(CSP) se puede representar como: </li></ul><ul><li>Un Conjunto de Variables: X={x1, x2, ..., xn} </li></ul><ul><li>Dominios de Interpretación (D = <D1,…,Dn> )para las variables: xi∈Di </li></ul><ul><li>Un Conjunto de Restricciones entre las variables: </li></ul><ul><li>C ={c1, c2, ..., cm} </li></ul>
  4. 11. <ul><li>Consistencia del problema (existe solución). </li></ul><ul><li>Obtener una o todas las soluciones del problema. </li></ul><ul><li>Obtener los dominios mínimos. </li></ul><ul><li>La solución que optimiza una función objetivo o multi-objetivo. </li></ul>
  5. 12. <ul><li>Dado un CSP (X, Di, C), </li></ul><ul><li>Una instanciación(o asignación) de las variables X es una asignación de valores a las variables en sus dominios: </li></ul><ul><li>x1=v1, x2=v2, ..., xn=vn/ vi∈D </li></ul><ul><li>Una solución del CSP es una instanciación consistente de las variables, de forma que se satisfacen todas las restricciones del problema. </li></ul><ul><li>Un valor v es un valor consistente(o posible) para xi si existe una solución del CSP en la cual participa la asignación xi=v. </li></ul><ul><li>Un CSP es consistente si tiene al menos una solución. </li></ul>
  6. 13. <ul><li>Un CSP discreto es aquel en el que todas las variables son </li></ul><ul><li>discretas, es decir, toman valores en dominios discretos. </li></ul><ul><li>Un CSP continuo es un CSP en el que todas las variables son continuas, es decir, tienen dominios continuos. </li></ul><ul><li>Un CSP mixto consta de variables continuas y discretas. </li></ul><ul><li>Un CSP binario es aquel en el que todas las restricciones tienen a los sumo dos variables respectivamente. </li></ul><ul><li>Un CSP no binario o n-ario es aquel en el que las restricciones tienen más de dos variables. </li></ul>
  7. 14. <ul><li>Discretas: las variables participantes están acotadas en dominios discretos. </li></ul><ul><li>Continuas: las variables participantes están acotadas en dominios continuos. </li></ul><ul><li>Binarias: son restricciones en las que sólo participan dos variables. </li></ul><ul><li>N-arias: son restricciones en las que participan Nvariables (N>2). </li></ul><ul><li>Fuertes (hard): son restricciones cuya satisfabilidad e imprescindible. </li></ul><ul><li>Débiles (soft): son restricciones cuya satisfabilidad no es imprescindible. </li></ul><ul><li>Difusas (fuzzy): son restricciones definidas sobre niveles de preferencia. </li></ul><ul><li>Disyuntivas: son restricciones compuestas por un conjunto disjunto de restricciones. </li></ul>

×