Diferencia entre revisiones de «Solución declarativa de problemas»
(New page: El objetivo es construir una colección de problemas y comparar sus soluciones usando distintos sistemas de programación declarativa: * Programación lógica: [http://www.swi-prolog.org/...) |
|||
| (No se muestran 11 ediciones intermedias del mismo usuario) | |||
| Línea 9: | Línea 9: | ||
* Programación basada en reglas de producción: [http://clipsrules.sourceforge.net/ CLIPS] y [http://herzberg.ca.sandia.gov/ Jess]. | * Programación basada en reglas de producción: [http://clipsrules.sourceforge.net/ CLIPS] y [http://herzberg.ca.sandia.gov/ Jess]. | ||
* Programación en sistemas de demostración: [http://www.cs.unm.edu/~mccune/otter/ Otter/Mace2], [http://www.cs.unm.edu/~mccune/prover9/ Prover9/Mace4], [http://www.cs.utexas.edu/users/moore/acl2/ ACL2], [http://pvs.csl.sri.com/ PVS] e [http://www.cl.cam.ac.uk/research/hvg/Isabelle/ Isabelle]. | * Programación en sistemas de demostración: [http://www.cs.unm.edu/~mccune/otter/ Otter/Mace2], [http://www.cs.unm.edu/~mccune/prover9/ Prover9/Mace4], [http://www.cs.utexas.edu/users/moore/acl2/ ACL2], [http://pvs.csl.sri.com/ PVS] e [http://www.cl.cam.ac.uk/research/hvg/Isabelle/ Isabelle]. | ||
| + | |||
| + | Como punto de partida se puede usar el material de las asignaturas | ||
| + | * [http://www.cs.us.es/cursos/ia1/ Inteligencia Artificial I] | ||
| + | * [http://www.cs.us.es/cursos/ia2/ Inteligencia Artificial II] | ||
| + | * [http://www.cs.us.es/cursos/ra/ Razonamiento automático] | ||
| + | * [http://www.cs.us.es/cursos/pd/ Programación declarativa] | ||
| + | desde el curso 1997-98 hasta el actual, así como las asignaturas que le precedieron: | ||
| + | * Inteligencia artificial | ||
| + | * Sistemas expertos | ||
| + | * Heurística y sistemas expertos. | ||
| + | Gran parte de este material se encuentra en la [http://www.cs.us.es/~jalonso/cursos/ página cursos impartidos por J.A. Alonso]. | ||
| + | |||
| + | Otras fuentes para el proyecto son | ||
| + | * J.A. Alonso (2006) <br> ''[http://www.cs.us.es/~jalonso/publicaciones/2006-sudoku-ASP.pdf Solución declarativa del Sudoku mediante ASP]''. | ||
| + | * K.R. Apt y M.G. Wallace (2007) <br> ''[[Constraint Logic Programming using Eclipse]]''. | ||
| + | * M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. (2007) <br>''[[Solving challenging grid puzzles with answer set programming]]''. | ||
| + | |||
| + | Un subproyecto es [[Programas sencillos para problemas complejos]]. | ||
| + | |||
| + | [[User:Jalonso|José A. Alonso]] 11:32, 19 November 2008 (CET) | ||
| + | [[Category:Projects]] | ||
Revisión actual del 12:32 19 nov 2008
El objetivo es construir una colección de problemas y comparar sus soluciones usando distintos sistemas de programación declarativa:
- Programación lógica: SWI-Prolog y GNU Prolog.
- Programación lógica con restricciones: ECLIPSe y CHR.
- Programación basada en conjuntos de respuestas: DLV, Smodels, Cmodels y clasp.
- Programación funcional:
- Programación basada en reglas de producción: CLIPS y Jess.
- Programación en sistemas de demostración: Otter/Mace2, Prover9/Mace4, ACL2, PVS e Isabelle.
Como punto de partida se puede usar el material de las asignaturas
- Inteligencia Artificial I
- Inteligencia Artificial II
- Razonamiento automático
- Programación declarativa
desde el curso 1997-98 hasta el actual, así como las asignaturas que le precedieron:
- Inteligencia artificial
- Sistemas expertos
- Heurística y sistemas expertos.
Gran parte de este material se encuentra en la página cursos impartidos por J.A. Alonso.
Otras fuentes para el proyecto son
- J.A. Alonso (2006)
Solución declarativa del Sudoku mediante ASP. - K.R. Apt y M.G. Wallace (2007)
Constraint Logic Programming using Eclipse. - M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. (2007)
Solving challenging grid puzzles with answer set programming.
Un subproyecto es Programas sencillos para problemas complejos.
José A. Alonso 11:32, 19 November 2008 (CET)
