Un sistema de restricciones anotado

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-resoluc...

Full description

Autores:
Ramírez Ovalle, Carlos Ernesto
Tipo de recurso:
Article of journal
Fecha de publicación:
2009
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/28533
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/28533
http://bdigital.unal.edu.co/18581/
Palabra clave:
Programación por restricciones
lógicas anotadas
programación lógica
sistemas de restricciones
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional
id UNACIONAL2_199debcd8bd744d62db9c03f8b3485bb
oai_identifier_str oai:repositorio.unal.edu.co:unal/28533
network_acronym_str UNACIONAL2
network_name_str Universidad Nacional de Colombia
repository_id_str
spelling Atribución-NoComercial 4.0 InternacionalDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/info:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Ramírez Ovalle, Carlos Ernesto36c6f5d9-0957-4bbc-8db4-e8a04065ffd03002019-06-26T10:20:15Z2019-06-26T10:20:15Z2009https://repositorio.unal.edu.co/handle/unal/28533http://bdigital.unal.edu.co/18581/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.application/pdfspaUniversidad Nacional de Colombia -Sede Medellínhttp://revistas.unal.edu.co/index.php/avances/article/view/14446Universidad Nacional de Colombia Revistas electrónicas UN Avances en Sistemas e InformáticaAvances en Sistemas e InformáticaAvances 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-7663Ramírez Ovalle, Carlos Ernesto (2009) 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 .Un sistema de restricciones anotadoArtículo de revistainfo:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501http://purl.org/coar/resource_type/c_2df8fbb1http://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/ARTProgramación por restriccioneslógicas anotadasprogramación lógicasistemas de restriccionesORIGINAL14446-43435-1-PB.pdfapplication/pdf404222https://repositorio.unal.edu.co/bitstream/unal/28533/1/14446-43435-1-PB.pdfc84b1d34808d42a97605c8332ca400edMD51THUMBNAIL14446-43435-1-PB.pdf.jpg14446-43435-1-PB.pdf.jpgGenerated Thumbnailimage/jpeg8186https://repositorio.unal.edu.co/bitstream/unal/28533/2/14446-43435-1-PB.pdf.jpga9c7ed01372259eacd0c59234a1a6486MD52unal/28533oai:repositorio.unal.edu.co:unal/285332022-11-17 23:02:29.617Repositorio Institucional Universidad Nacional de Colombiarepositorio_nal@unal.edu.co
dc.title.spa.fl_str_mv Un sistema de restricciones anotado
title Un sistema de restricciones anotado
spellingShingle Un sistema de restricciones anotado
Programación por restricciones
lógicas anotadas
programación lógica
sistemas de restricciones
title_short Un sistema de restricciones anotado
title_full Un sistema de restricciones anotado
title_fullStr Un sistema de restricciones anotado
title_full_unstemmed Un sistema de restricciones anotado
title_sort Un sistema de restricciones anotado
dc.creator.fl_str_mv Ramírez Ovalle, Carlos Ernesto
dc.contributor.author.spa.fl_str_mv Ramírez Ovalle, Carlos Ernesto
dc.subject.proposal.spa.fl_str_mv Programación por restricciones
lógicas anotadas
programación lógica
sistemas de restricciones
topic Programación por restricciones
lógicas anotadas
programación lógica
sistemas de restricciones
description 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.
publishDate 2009
dc.date.issued.spa.fl_str_mv 2009
dc.date.accessioned.spa.fl_str_mv 2019-06-26T10:20:15Z
dc.date.available.spa.fl_str_mv 2019-06-26T10:20:15Z
dc.type.spa.fl_str_mv Artículo de revista
dc.type.coar.fl_str_mv http://purl.org/coar/resource_type/c_2df8fbb1
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/article
dc.type.version.spa.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.coar.spa.fl_str_mv http://purl.org/coar/resource_type/c_6501
dc.type.coarversion.spa.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/ART
format http://purl.org/coar/resource_type/c_6501
status_str publishedVersion
dc.identifier.uri.none.fl_str_mv https://repositorio.unal.edu.co/handle/unal/28533
dc.identifier.eprints.spa.fl_str_mv http://bdigital.unal.edu.co/18581/
url https://repositorio.unal.edu.co/handle/unal/28533
http://bdigital.unal.edu.co/18581/
dc.language.iso.spa.fl_str_mv spa
language spa
dc.relation.spa.fl_str_mv http://revistas.unal.edu.co/index.php/avances/article/view/14446
dc.relation.ispartof.spa.fl_str_mv Universidad Nacional de Colombia Revistas electrónicas UN Avances en Sistemas e Informática
Avances en Sistemas e Informática
dc.relation.ispartofseries.none.fl_str_mv 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
dc.relation.references.spa.fl_str_mv Ramírez Ovalle, Carlos Ernesto (2009) 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 .
dc.rights.spa.fl_str_mv Derechos reservados - Universidad Nacional de Colombia
dc.rights.coar.fl_str_mv http://purl.org/coar/access_right/c_abf2
dc.rights.license.spa.fl_str_mv Atribución-NoComercial 4.0 Internacional
dc.rights.uri.spa.fl_str_mv http://creativecommons.org/licenses/by-nc/4.0/
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv Atribución-NoComercial 4.0 Internacional
Derechos reservados - Universidad Nacional de Colombia
http://creativecommons.org/licenses/by-nc/4.0/
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.mimetype.spa.fl_str_mv application/pdf
dc.publisher.spa.fl_str_mv Universidad Nacional de Colombia -Sede Medellín
institution Universidad Nacional de Colombia
bitstream.url.fl_str_mv https://repositorio.unal.edu.co/bitstream/unal/28533/1/14446-43435-1-PB.pdf
https://repositorio.unal.edu.co/bitstream/unal/28533/2/14446-43435-1-PB.pdf.jpg
bitstream.checksum.fl_str_mv c84b1d34808d42a97605c8332ca400ed
a9c7ed01372259eacd0c59234a1a6486
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositorio Institucional Universidad Nacional de Colombia
repository.mail.fl_str_mv repositorio_nal@unal.edu.co
_version_ 1814089261500071936

Publicaciones similares