miércoles, 11 de marzo de 2020
jueves, 2 de abril de 2015
Adicionar paquetes de latex sobre debian para editor kile
1. Descargar paquete .sty
2. Copiar paquete .sty en el directorio /usr/share/texlive/texmf-dist/tex/latex directorio en que kile guarda los paquetes .sty
3. copiarlos mediante el comando
cp directorio de descarga del paquete sty /usr/share/texlive/texmf-dist/tex/latex
ejemplo: cp chronology.sty /usr/share/texlive/texmf-dist/tex/latex
4. Actualizar base de datos con el nuevo paquete
sudo mktexlsr
5. listo.
1. Descargar paquete .sty
2. Copiar paquete .sty en el directorio /usr/share/texlive/texmf-dist/tex/latex directorio en que kile guarda los paquetes .sty
3. copiarlos mediante el comando
cp directorio de descarga del paquete sty /usr/share/texlive/texmf-dist/tex/latex
ejemplo: cp chronology.sty /usr/share/texlive/texmf-dist/tex/latex
4. Actualizar base de datos con el nuevo paquete
sudo mktexlsr
5. listo.
viernes, 30 de mayo de 2014
Taller cps
TALLER SATISFACCION DE RESTRICCIONES
TOMADOS DE :
*
EJERCICIO 1:
Si se resuelve un problema de satisfacción de restricciones mediante búsqueda con asignaciones parciales, entonces
(a) Un estado siempre asigna un valor a todas las variables
(b) Un operador elige un valor para una variable no asignada
(c) Un estado meta es una asignación cualquiera que cumple todas las restricciones
(d) El coste estimado de cada asignación siempre es estrictamente menor que el coste real
(e) Se suele aplicar la heurística de conflictos mínimos
EJERCICION 2:
¿Cuáles de las siguientes afirmaciones acerca de los problemas de satisfacción de restricciones (CSP) son verdaderas y cuáles son falsas?
(a) Sea X=x1, x2,…, xn el conjunto de variables de un CSP y D1,D2,…,Dn sus respectivos
dominios. Un predicado R(xi, xj) Di Dj es una restricción entre las variables xi y xj
(b) El algoritmo de chronological backtracking efectúa una búsqueda en el espacio de
asignaciones completas.
(c) Sea X=A, B el conjunto de variables de un CSP, D(A)=1,2,4,5,6,12 y
D(B)=pepe,fulano,detal sus dominios y R(A,B): A=|B| las restricciones sobre las
variables. El CSP es arco consistente.
(d) Si al ejecutar el algoritmo de arco consistencia un dominio se queda con un único valor, el CSP es inconsistente, es decir, no tiene solución.
EJERCICIO 3:
¿Cuáles de las siguientes afirmaciones acerca de los problemas de satisfacción de restricciones es (son) verdadera(s)?
(a) El algoritmo de vuelta atrás cronológica (cronological backtracking) realiza una
búsqueda en profundidad en el espacio de asignaciones parciales de valores a variables.
(b) El algoritmo MAC (Maintaining Arc Consistency) combina el algoritmo de vuelta atrás
cronológica (cronological backtracking) y el algoritmo de arco consistencia.
(c) El algoritmo MAC (Maintaining Arc Consistency) combina el algoritmo de
comprobación hacia delante (forward checking) y el algoritmo de arco consistencia.
(d) El algoritmo MAC (Maintaining Arc Consistency) intercala la satisfacción y la
propagación de restricciones.
(e) El algoritmo de comprobación hacia delante (forward checking) realiza una búsqueda A*
en el espacio de asignaciones totales de valores a variables.
EJERCICIO 4:
Se trata de colorar el mapa de los estados de Australia con tres colores (rojo, verde, amarillo) de tal modo que ningún par de estados adyacentes tengan el mismo color.
*
a) Modele el problema como CSP, indicando los variable, dominios, y restricciones.
b) Represente el CSP en un Grafo
c) Dé una solución al CSP
EJERCICIO 5:
Aplique el algoritmo MAC al problema de las 4 reinas.
EJERCICIO 6:
Dadas las variables A, B, C, D, sean DA = [1,50], DB = [20,40], DC = [1,30], DD = [1,30]
los respectivos dominios (todos los Dx son subconjuntos de los números naturales). Las variables están relacionadas por las siguientes restricciones:
R1: A <= B
R2: B+7 < C
R3: D <> B
R4: D > A
R5: D+10 < C
Se pide:
a) Dibujar el grafo del CSP correspondiente;
b) Aplicar el algoritmo de arco consistencia, detallando cómo se modifican los dominios cada vez que el algoritmo evalúa una restricción, en una tabla como la que se indica abajo. Las restricciones tienen que ser evaluadas en ambas direcciones, y en el orden dado (e.d. R1-R2-R3-
R4-R5-R1-…).
*
EJERCICIO 7:
En una calle viven 4 familias A, B, C y D en casas adosadas cuyos números son 1, 2, 3 y 4. (ver figura)
*
Familia D vive en una casa con menor número que B. Familia B vive en una casa con mayor número que A. Hay al menos una otra casa entre las casas de B y de C. Familia C vive en una casa que no hace esquina. Obviamente, ninguna familia comparte casa con otra.
a) Represente el problema como CSP, identificando las variables, los dominios de cada variable, y las restricciones entre ellas.
b) Encuentre una solución al problema usando como algoritmo de resolución el chronological backtracking con forward checking, evidenciando cómo se modifican los dominios después de asignar cada variable. Suponga que las variables y valores se exploran de menor a mayor. ¿Qué solución se encuentra?
c) Aplique el algoritmo de arco-consistencia a los dominios del apartado (a), indicando en cada paso del algoritmo la restricción tratada (e.d. las variables involucradas) y los valores eliminados (p.e. “Trato restricción RX1,X2: Elimino valor v7 del dominio DX1”) ¿Cómo quedan los dominios al final?
EJERCICIO 8:
Un representante comercial tiene que visitar 6 clientes (Repsol, Telefónica, ACS, Endesa, Iberdrola, Unión Fenosa) en un día laborable (de 9 a 19). No se puede visitar dos clientes en la misma hora.
Además hay que visitar los clientes ACS y Unión Fenosa antes de Endesa. Repsol está fuera de Madrid, mientras que todos los demás están en Plaza de Castilla. Por lo tanto, para ir de Repsol a cualquier otro cliente se tarda dos horas, mientras que para ir de un cliente a otro en Plaza de Castilla no se tarda nada. Florentino Pérez de ACS solo puede recibir el representante de 15 a 17 (luego se va al Bernabeu a ver la Champions).
a) Modelice el problema como CSP, identificando el conjunto de variables, el dominio de cada variable, y el conjunto de restricciones. Dibuje el grafo de restricciones.
b) Aplique el algoritmo de búsqueda con backtracking para encontrar una solución. Evaluar las variables y los valores a asignar en el orden dado (es decir Repsol, Telefónica, …, Unión Fenosa; y 9, 10, 11, …, 19)
TALLER SATISFACCION DE RESTRICCIONES
TOMADOS DE :
*
EJERCICIO 1:
Si se resuelve un problema de satisfacción de restricciones mediante búsqueda con asignaciones parciales, entonces
(a) Un estado siempre asigna un valor a todas las variables
(b) Un operador elige un valor para una variable no asignada
(c) Un estado meta es una asignación cualquiera que cumple todas las restricciones
(d) El coste estimado de cada asignación siempre es estrictamente menor que el coste real
(e) Se suele aplicar la heurística de conflictos mínimos
EJERCICION 2:
¿Cuáles de las siguientes afirmaciones acerca de los problemas de satisfacción de restricciones (CSP) son verdaderas y cuáles son falsas?
(a) Sea X=x1, x2,…, xn el conjunto de variables de un CSP y D1,D2,…,Dn sus respectivos
dominios. Un predicado R(xi, xj) Di Dj es una restricción entre las variables xi y xj
(b) El algoritmo de chronological backtracking efectúa una búsqueda en el espacio de
asignaciones completas.
(c) Sea X=A, B el conjunto de variables de un CSP, D(A)=1,2,4,5,6,12 y
D(B)=pepe,fulano,detal sus dominios y R(A,B): A=|B| las restricciones sobre las
variables. El CSP es arco consistente.
(d) Si al ejecutar el algoritmo de arco consistencia un dominio se queda con un único valor, el CSP es inconsistente, es decir, no tiene solución.
EJERCICIO 3:
¿Cuáles de las siguientes afirmaciones acerca de los problemas de satisfacción de restricciones es (son) verdadera(s)?
(a) El algoritmo de vuelta atrás cronológica (cronological backtracking) realiza una
búsqueda en profundidad en el espacio de asignaciones parciales de valores a variables.
(b) El algoritmo MAC (Maintaining Arc Consistency) combina el algoritmo de vuelta atrás
cronológica (cronological backtracking) y el algoritmo de arco consistencia.
(c) El algoritmo MAC (Maintaining Arc Consistency) combina el algoritmo de
comprobación hacia delante (forward checking) y el algoritmo de arco consistencia.
(d) El algoritmo MAC (Maintaining Arc Consistency) intercala la satisfacción y la
propagación de restricciones.
(e) El algoritmo de comprobación hacia delante (forward checking) realiza una búsqueda A*
en el espacio de asignaciones totales de valores a variables.
EJERCICIO 4:
Se trata de colorar el mapa de los estados de Australia con tres colores (rojo, verde, amarillo) de tal modo que ningún par de estados adyacentes tengan el mismo color.
*
a) Modele el problema como CSP, indicando los variable, dominios, y restricciones.
b) Represente el CSP en un Grafo
c) Dé una solución al CSP
EJERCICIO 5:
Aplique el algoritmo MAC al problema de las 4 reinas.
EJERCICIO 6:
Dadas las variables A, B, C, D, sean DA = [1,50], DB = [20,40], DC = [1,30], DD = [1,30]
los respectivos dominios (todos los Dx son subconjuntos de los números naturales). Las variables están relacionadas por las siguientes restricciones:
R1: A <= B
R2: B+7 < C
R3: D <> B
R4: D > A
R5: D+10 < C
Se pide:
a) Dibujar el grafo del CSP correspondiente;
b) Aplicar el algoritmo de arco consistencia, detallando cómo se modifican los dominios cada vez que el algoritmo evalúa una restricción, en una tabla como la que se indica abajo. Las restricciones tienen que ser evaluadas en ambas direcciones, y en el orden dado (e.d. R1-R2-R3-
R4-R5-R1-…).
*
EJERCICIO 7:
En una calle viven 4 familias A, B, C y D en casas adosadas cuyos números son 1, 2, 3 y 4. (ver figura)
*
Familia D vive en una casa con menor número que B. Familia B vive en una casa con mayor número que A. Hay al menos una otra casa entre las casas de B y de C. Familia C vive en una casa que no hace esquina. Obviamente, ninguna familia comparte casa con otra.
a) Represente el problema como CSP, identificando las variables, los dominios de cada variable, y las restricciones entre ellas.
b) Encuentre una solución al problema usando como algoritmo de resolución el chronological backtracking con forward checking, evidenciando cómo se modifican los dominios después de asignar cada variable. Suponga que las variables y valores se exploran de menor a mayor. ¿Qué solución se encuentra?
c) Aplique el algoritmo de arco-consistencia a los dominios del apartado (a), indicando en cada paso del algoritmo la restricción tratada (e.d. las variables involucradas) y los valores eliminados (p.e. “Trato restricción RX1,X2: Elimino valor v7 del dominio DX1”) ¿Cómo quedan los dominios al final?
EJERCICIO 8:
Un representante comercial tiene que visitar 6 clientes (Repsol, Telefónica, ACS, Endesa, Iberdrola, Unión Fenosa) en un día laborable (de 9 a 19). No se puede visitar dos clientes en la misma hora.
Además hay que visitar los clientes ACS y Unión Fenosa antes de Endesa. Repsol está fuera de Madrid, mientras que todos los demás están en Plaza de Castilla. Por lo tanto, para ir de Repsol a cualquier otro cliente se tarda dos horas, mientras que para ir de un cliente a otro en Plaza de Castilla no se tarda nada. Florentino Pérez de ACS solo puede recibir el representante de 15 a 17 (luego se va al Bernabeu a ver la Champions).
a) Modelice el problema como CSP, identificando el conjunto de variables, el dominio de cada variable, y el conjunto de restricciones. Dibuje el grafo de restricciones.
b) Aplique el algoritmo de búsqueda con backtracking para encontrar una solución. Evaluar las variables y los valores a asignar en el orden dado (es decir Repsol, Telefónica, …, Unión Fenosa; y 9, 10, 11, …, 19)
jueves, 24 de mayo de 2012
Videos Tableaux
grupo 303
0&feature=youtu.be
2. http://youtu.be/EDF8KQIhpeE
3. http://www.youtube.com/watch?v=EDF8KQIhpe
4. http://www.youtube.com/watch?v=LrVwyesojf
g&feature=youtu.be
5.
http://www.youtube.com/watch?v=O8FR5DXCWj
Q&feature=youtu.be
6.
http://www.youtube.com/watch?v=KYF1BTepbq
c
7.
http://youtu.be/lIlTAEK7690
grupo 301
1. http://www.youtube.com/watch?v=1X30DCTRkT
c
2.
http://www.youtube.com/watch?v=Pz5FHptoPC
s
3.
http://youtu.be/OeJcvD8UOls
4. http://www.youtube.com/watch?v=Gy5gj_J9FG
Y&feature=youtu.be
5.
http://www.youtube.com/watch?v=7CNXBRu-gXM&feature=youtu.be
6. http://www.youtube.com/watch?v=NIo5oeUX_PM
miércoles, 18 de abril de 2012
Proyecto fin curso IA 2012-I
Proyecto de fin de curso 2012-I.
Tema : Busqueda con adversario. Valor 30% Nota (Examen)
Implementacion del Juego de mancala
Se pide:
I. Usted deberá implementar el juego de mancala.
Tema : Busqueda con adversario. Valor 30% Nota (Examen)
Implementacion del Juego de mancala
Se pide:
I. Usted deberá implementar el juego de mancala.
Puede escoger entre las siguientes alternativas:
1. Algoritmo Alfa / Beta y Scout
3. Algoritmo Alfa / Beta y NegaScout
4. Algoritmo Alfa / Beta y SSS*
II. Entregar Al finalizar el proyecto un documento con :
1. Introducción
2. Breve estado del arte en búsqueda con adversario
2.1.Origenes del Mancala
3. Algoritmos de Búsqueda
3.1. Algoritmos de búsqueda : conceptos generales
3.2. Algoritmos de búsqueda : Minimax
3.3. Algoritmos de búsqueda : Negamax
3.4. Algoritmos de búsqueda : Alfabeta
3.5. Algoritmos de búsqueda : Scout
3.6. Algoritmos de búsqueda : NegaScout
3.7 Algoritmos de búsqueda : SSS*
4. Objetivos
5. Desarrollo
6. Búsqueda de la función de evaluación
7. Entorno de desarrollo
8. Manual de Usuario .
9. Resultados
9.1.Rendimiento de los algoritmos de búsqueda
9.2.Análisis de la función de evaluación
9.3.Resultados contra jugadores humanos
10.Conclusiones..
Deberá entregar programa fuente y objeto
III. Lenguages de programacion: C o C++ o Lisp o Prolog
Fecha entrega. Ultimo dia de clase
miércoles, 21 de marzo de 2012
Programacion tradicional VS Agente inteligente
Se pide:
1. Elaborar un programa en lenguaje C que solicite dos números por pantalla e imprima su resultado.
2. Elaborar un programa por objetos en C++ Que solicite dos números por pantalla e imprima su resultado
3. Elaborar un agente inteligente en Lisp o C o C++ o Prolog solicite dos números e imprima su resultado.
4. Ud deberá hacer un análisis de los tres programas indicando semejanzas y diferencia entre programación tradicional y agentes inteligentes.
Material de apoyo esta disponible en : http://www.cerv.biz/moodle1 curso agentes inteligentes.
Fecha de entrega 10 de Abril de 2012. Horas de clase sustentado.
Grupos máximo 4 personas o individual.
lunes, 10 de octubre de 2011
Videos deducciòn natural
Vídeos de los estudiantes de lógica informática de la Universidad Distrital FJC bogota.
tema Deducción natural.
Grupo 301
http://www.youtube.com/watch?
http://www.youtube.com/watch?
http://www.youtube.com/watch?
http://www.youtube.com/watch?v=gCX-ognUCzYc
http://www.youtube.com/watch?v=1Hl-pTqu424
grupo 303
http://www.youtube.com/user/
http://www.youtube.com/watch?
http://www.youtube.com/watch?
Suscribirse a:
Comentarios (Atom)