Bsqueda de satisfaccin de restricciones

Introduccin
Muchos de los problemas que se plantean en Inteligencia Artificial pueden formalizarse como
un problema de satisfaccin de restricciones (CSP) y, luego, resolverse utilizando las tcnicas
de resolucin que se han desarrollado para CSPs. Este mtodo genrico de resolucin de
problemas ha demostrado ser altamente competitivo en reas tan diversas como visin
artificial, planeacin, scheduling, razonamiento temporal y verificacin de circuitos. Adems,
tiene la ventaja de que la modelizacin de los problemas es muy natural y declarativa, de
manera que se formaliza lo que se ha de satisfacer sin necesidad de indicar como se tiene que
satisfacer.

Problema de Satisfaccin de restricciones

Un problema es considerado de satisfaccin de restricciones cuando se lo representa con un
conjunto de variables a las cuales se le tienen que asignar valores de manera de no violar las
restricciones.

Definiendo problemas de satisfaccin de restricciones:

Poseen 3 componentes, X, D y C:

X: es un conjunto de variables, {x1, x2, ..., xn}

D: es un conjunto de dominios, {d1, d2,..., dn}, uno por variable.

Cada dominio posee un conjunto de valores permitidos para la variable relacionada.

C: es un conjunto de restricciones que especifica las combinaciones permitidas de

valores.

Una restriccin consiste en una tupla <scope, rel>, donde scope es una lista de las variables
afectadas y rel es la condicin que se debe cumplir.
Cada estado en un CSP est definido por una asignacin de valores a algunas o todas las
variables.

Asignacin consistente: no viola ninguna de las restricciones

Asignacin completa: todas las variables tienen algn valor asignado
Una solucin es una asignacin completa y consistente

Ventajas de CSP sobre bsqueda tradicional

Posee una representacin natural para una gran variedad de problemas

Son ms rpidos ya que pueden eliminar grandes partes del rbol de bsqueda.

Ej.: si hacemos la asignacin SA = blue, CSP puede eliminar de los 5 vecinos el color blue.
Esto nos deja solo 2 colores para probar en los 5 vecinos => 2^5 = 32 asignaciones por probar.
Sin la propagacin de la restriccin nos quedara 3^5 = 243 asignaciones por probar.

En las bsquedas tradicionales solo podemos saber si un nodo es solucin o no; en CSP
podemos saber si una asignacin parcial no conduce a una solucin.
En CSP podemos ver porqu una asignacin no es solucin.
En CSP hay heursticas genricas para este tipo de problemas.

Variantes del formalismo de CSP

Dominios discretos y finitos; discretos e infinitos; continuos e infinitos.

Segn los tipos de restricciones:

Restricciones unarias: restringen el valor de una variable. Ej.: SA <> blue

Restricciones binarias: la restriccin relaciona dos variables. Si un CSP solo posee este
tipo de restricciones es un CSP binario. Ej.: SA <> NSW o x < y
Restricciones globales: involucran un nmero arbitrario de variables. Uno de los
ejemplos ms conocidos es AllDiff.

Problemas de Cripto-Aritmetica

Introduccin
La cripto-aritmtica se plantea como una alternativa de la resolucin de problemas que puede
ser empleada por alumnos desde edades tempranas, en donde pasan de simplemente
resolver ejercicios con soluciones nicas a problemas que requieren de poner en prctica no
solo conocimientos sino tambin habilidades del pensamiento.
En 1952, J. A. H. Hunter acu el trmino alfamtica para referirse a un tipo especial de
criptoaritmticas en las que las combinaciones de las letras crean palabras y el conjunto de
palabras, frases que tienen sentido. Una de las alfamticas ms famosas y que haba aparecido
mucho antes, est enmarcada en la siguiente historia:
Un derrochador estudiante ingls le enva a su padre un telegrama en el que discretamente le
comunica cunto dinero necesita. El telegrama dice:

A continuacin presentamos otros ejemplos de problemas de criptoaritmetica

CRIPTOARITMTICA ALREDEDOR DEL MUNDO

Las cuatro operaciones

Referente terico
Para empezar conviene dar respuesta a la siguiente pregunta: Qu caractersticas tiene el
enfoque de resolucin de problemas?
Para esta pregunta existen varias perspectivas de respuesta; la primera es la propuesta
presentada por George Polya (1965) que presenta una lista de pasos a seguir para solucionar
un problema en forma exitosa; estos pasos son:
1. Entender el problema,
2. Planear una solucin,

3. Ejecutar el plan,
4. Revisar la solucin.
En cada etapa Polya explica su contenido. Puede decirse que esta propuesta es el inicio de esta
teora. El enfoque de Polya tiene muchas virtudes. Sin embargo, para autores como Allan
Schoenfeld, Miguel de Guzmn y John Mason, el modelo de Polya es incompleto.
Schoenfeld citado por Santos (1992) realiza un conjunto de investigaciones, donde compara el
desempeo de los estudiantes de primeros semestres de las carreras de matemticas con el
trabajo que ejecutan los matemticos profesionales, cuando resuelven los mismos problemas.
La perspectiva para la resolucin de problemas que se tendr en cuenta en esta investigacin
se fundamenta en la propuesta de Shoenfeld (1985), quien plantea que en la resolucin de
problemas intervienen cuatro dimensiones, las cuales ejecutadas en conjunto hacen posible la
resolucin de problemas en forma exitosa; estas dimensiones son:
1.
2.
3.
4.

Estrategias cognitivas
Dominio de conocimientos
Estrategias metacognitivas
Sistema de creencias

Biliografia:

Ariel Rossanigo, Juan Pedro Fisanotti, PROBLEMAS DE SATISFACCIN DE

RESTRICCIONES Universidad Catolica de Santiago de Estero, ao 2014. [En lnea].
Available:
https://bytebucket.org/ucsedar/ia-catedra/wiki/2014/csp.pdf
[ltimo acceso: 02 Diciembre 2014].
Ariel Rossanigo, Juan Pedro Fisanotti, TCNICAS DE RESOLUCIN DE PROBLEMAS DE
SATISFACCIN DE RESTRICCIONES Universidad Catolica de Santiago de Estero, ao
2014. [En lnea]. Available:
http://www.redalyc.org/articulo.oa?id=92571911 [ltimo acceso: 02 Diciembre 2014].
Felip Many / Carla Gomes , RESOLUCION DE PROBLEMAS DE CRIPTO-ARITMETICA
Asociacin Espaola para la Inteligencia Artificial Valencia, Espaa, ao 2003. [En
lnea].
Available:
http://funes.uniandes.edu.co/4123/1/Londo%C3%B1oResolucionALME2013.pdf
[ltimo acceso: 02 Diciembre 2014].
Noelia Londoo Milln, David Bentez Mojica, Ana Lucia Ruiz Vigil, TALLER DE
MATEMATICA RECREATIVA CRIPTOARITMETICA Grupo pedagoco Cambiemos, ao
2005. [En lnea]. Available:
http://gpcambiemos.org/descargas/memorias_2005/carlos_zuluaga_hugo_cuellar.pdf
[ltimo acceso: 02 Diciembre 2014].