Un operador general de contracción para programas lógicos
- Autores
- Vaucheret, Claudio A.; Simari, Guillermo Ricardo
- Año de publicación
- 1998
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- En este trabajo, presentamos un operador de contracción para el caso de programas lógicos. La clase de programas tratados es la de programas lógicos normales extendidos con la negación clásica. Es decir, dichos programas contemplan tanto la negación por falla (NAF) y la negación clásica. El operador de contracción está basado en la contracción Kernel [2] de la Teoría de Cambio de creencias. Para remover un literal de las inferencias de un programa, se reconocen cuales son los componentes del programa que contituyen las justificaciones de ese literal y se opera sobre ellos para obtener un nuevo programa contraído.
V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA)
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
Informática
Logic Programming
teoría de cambio de creencias
debugging declarativo - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/24874
Ver los metadatos del registro completo
id |
SEDICI_1bfdfd7430b891c0325729d0ffbde02c |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/24874 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Un operador general de contracción para programas lógicosVaucheret, Claudio A.Simari, Guillermo RicardoCiencias InformáticasInformáticaLogic Programmingteoría de cambio de creenciasdebugging declarativoEn este trabajo, presentamos un operador de contracción para el caso de programas lógicos. La clase de programas tratados es la de programas lógicos normales extendidos con la negación clásica. Es decir, dichos programas contemplan tanto la negación por falla (NAF) y la negación clásica. El operador de contracción está basado en la contracción Kernel [2] de la Teoría de Cambio de creencias. Para remover un literal de las inferencias de un programa, se reconocen cuales son los componentes del programa que contituyen las justificaciones de ese literal y se opera sobre ellos para obtener un nuevo programa contraído.V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA)Red de Universidades con Carreras en Informática (RedUNCI)1998-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdfhttp://sedici.unlp.edu.ar/handle/10915/24874spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:28:48Zoai:sedici.unlp.edu.ar:10915/24874Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:28:49.518SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Un operador general de contracción para programas lógicos |
title |
Un operador general de contracción para programas lógicos |
spellingShingle |
Un operador general de contracción para programas lógicos Vaucheret, Claudio A. Ciencias Informáticas Informática Logic Programming teoría de cambio de creencias debugging declarativo |
title_short |
Un operador general de contracción para programas lógicos |
title_full |
Un operador general de contracción para programas lógicos |
title_fullStr |
Un operador general de contracción para programas lógicos |
title_full_unstemmed |
Un operador general de contracción para programas lógicos |
title_sort |
Un operador general de contracción para programas lógicos |
dc.creator.none.fl_str_mv |
Vaucheret, Claudio A. Simari, Guillermo Ricardo |
author |
Vaucheret, Claudio A. |
author_facet |
Vaucheret, Claudio A. Simari, Guillermo Ricardo |
author_role |
author |
author2 |
Simari, Guillermo Ricardo |
author2_role |
author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas Informática Logic Programming teoría de cambio de creencias debugging declarativo |
topic |
Ciencias Informáticas Informática Logic Programming teoría de cambio de creencias debugging declarativo |
dc.description.none.fl_txt_mv |
En este trabajo, presentamos un operador de contracción para el caso de programas lógicos. La clase de programas tratados es la de programas lógicos normales extendidos con la negación clásica. Es decir, dichos programas contemplan tanto la negación por falla (NAF) y la negación clásica. El operador de contracción está basado en la contracción Kernel [2] de la Teoría de Cambio de creencias. Para remover un literal de las inferencias de un programa, se reconocen cuales son los componentes del programa que contituyen las justificaciones de ese literal y se opera sobre ellos para obtener un nuevo programa contraído. V Workshop sobre Aspectos Teóricos de la Inteligencia Artificial (ATIA) Red de Universidades con Carreras en Informática (RedUNCI) |
description |
En este trabajo, presentamos un operador de contracción para el caso de programas lógicos. La clase de programas tratados es la de programas lógicos normales extendidos con la negación clásica. Es decir, dichos programas contemplan tanto la negación por falla (NAF) y la negación clásica. El operador de contracción está basado en la contracción Kernel [2] de la Teoría de Cambio de creencias. Para remover un literal de las inferencias de un programa, se reconocen cuales son los componentes del programa que contituyen las justificaciones de ese literal y se opera sobre ellos para obtener un nuevo programa contraído. |
publishDate |
1998 |
dc.date.none.fl_str_mv |
1998-10 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/24874 |
url |
http://sedici.unlp.edu.ar/handle/10915/24874 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/ Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1842260127811371008 |
score |
13.13397 |