Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Un sistema de restricciones anotado

RAMÍREZ OVALLE, CARLOS ERNESTO (2010) Un sistema de restricciones anotado. Avances en Sistemas e Informática; Vol. 6, núm. 1 (2009); 69-76 Avances en Sistemas e Informática; Vol. 6, núm. 1 (2009); 69-76 1909-0056 1657-7663 .

Texto completo

[img]
Vista previa
PDF
404kB

URL oficial: http://revistas.unal.edu.co/index.php/avances/arti...

Resumen

En la programación concurrente con restricciones, el concepto básico es el de sistema de restricciones. Aquí presentamos una innovación sobre los sistemas de restricciones al introducir una lógica anotada como componente sintáctico y semántico junto con un motor de inferencia lógica en hiper-resolución anotada. Esto permite incrementar la capacidad expresiva de un modelo basado en satisfacción de restricciones pues es ahora posible incluir información adicional a las restricciones clásicas del modelo. Se extiende así el universo interpretativo de un problema basado en restricciones, al introducir información pertinente que permite la toma de decisiones aún en situaciones contradictorias.

Tipo de documento:Artículo - Article
Información adicional:Derechos de autor reservados
Palabras clave:Programación por restricciones, lógicas anotadas, programación lógica, sistemas de restricciones
Unidad administrativa:Revistas electrónicas UN > Avances en Sistemas e Informática
Código ID:18581
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :25 Junio 2014 18:06
Ultima modificación:19 Agosto 2014 03:57
Ultima modificación:19 Agosto 2014 03:57
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Registry of Open Access Repositories OpenDOAR Metabiblioteca BDCOL OAIster Red de repositorios latinoamericanos DSpace BASE Open archives La referencia Colombiae Open Access Theses and Dissertations Tesis latinoamericanas CLACSO
Este sitio web se ve mejor en Firefox