Implementación de operadores de contracción múltiple para bases de creencias Horn
- Autores
- Valdez, Néstor Jorge; Falappa, Marcelo Alejandro
- Año de publicación
- 2014
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- En la teoría de cambio de creencias, uno de los problemas claves es la implementación computacional en cuanto a operaciones de contracción múltiple en bases de creencias. Algunas aproximaciones pueden basarse en construcciones de tipo kernel o en construcciones de tipo partial meet. En este paper, pretendemos resolver este problema mediante el estudio de algoritmos para aplicar estas construcciones en cláusulas Horn. Las semejanzas observadas entre estos algoritmos sugiere que están sensiblemente relacionados. Mostramos su funcionalidad con ejemplos para el cálculo de los conjuntos de restos (remainder set) y los conjuntos kernel (kernel set) con cláusulas Horn. La ventaja de elegir cláusulas de Horn es que su estructura simple y propiedades únicas se pueden utilizar para mejorar la eficiencia del algoritmo.
XV Workshop de Agentes y Sistemas Inteligentes
Red de Universidades con Carreras de Informática (RedUNCI) - Materia
-
Ciencias Informáticas
cambio de creencias
operadores de contracción múltiple
cláusulas Horn - 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/42425
Ver los metadatos del registro completo
id |
SEDICI_d069763c615a39471f8b856ebda441dc |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/42425 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Implementación de operadores de contracción múltiple para bases de creencias HornValdez, Néstor JorgeFalappa, Marcelo AlejandroCiencias Informáticascambio de creenciasoperadores de contracción múltiplecláusulas HornEn la teoría de cambio de creencias, uno de los problemas claves es la implementación computacional en cuanto a operaciones de contracción múltiple en bases de creencias. Algunas aproximaciones pueden basarse en construcciones de tipo kernel o en construcciones de tipo partial meet. En este paper, pretendemos resolver este problema mediante el estudio de algoritmos para aplicar estas construcciones en cláusulas Horn. Las semejanzas observadas entre estos algoritmos sugiere que están sensiblemente relacionados. Mostramos su funcionalidad con ejemplos para el cálculo de los conjuntos de restos (remainder set) y los conjuntos kernel (kernel set) con cláusulas Horn. La ventaja de elegir cláusulas de Horn es que su estructura simple y propiedades únicas se pueden utilizar para mejorar la eficiencia del algoritmo.XV Workshop de Agentes y Sistemas InteligentesRed de Universidades con Carreras de Informática (RedUNCI)2014-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/42425spainfo: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:34:10Zoai:sedici.unlp.edu.ar:10915/42425Institucionalhttp://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:34:10.275SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Implementación de operadores de contracción múltiple para bases de creencias Horn |
title |
Implementación de operadores de contracción múltiple para bases de creencias Horn |
spellingShingle |
Implementación de operadores de contracción múltiple para bases de creencias Horn Valdez, Néstor Jorge Ciencias Informáticas cambio de creencias operadores de contracción múltiple cláusulas Horn |
title_short |
Implementación de operadores de contracción múltiple para bases de creencias Horn |
title_full |
Implementación de operadores de contracción múltiple para bases de creencias Horn |
title_fullStr |
Implementación de operadores de contracción múltiple para bases de creencias Horn |
title_full_unstemmed |
Implementación de operadores de contracción múltiple para bases de creencias Horn |
title_sort |
Implementación de operadores de contracción múltiple para bases de creencias Horn |
dc.creator.none.fl_str_mv |
Valdez, Néstor Jorge Falappa, Marcelo Alejandro |
author |
Valdez, Néstor Jorge |
author_facet |
Valdez, Néstor Jorge Falappa, Marcelo Alejandro |
author_role |
author |
author2 |
Falappa, Marcelo Alejandro |
author2_role |
author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas cambio de creencias operadores de contracción múltiple cláusulas Horn |
topic |
Ciencias Informáticas cambio de creencias operadores de contracción múltiple cláusulas Horn |
dc.description.none.fl_txt_mv |
En la teoría de cambio de creencias, uno de los problemas claves es la implementación computacional en cuanto a operaciones de contracción múltiple en bases de creencias. Algunas aproximaciones pueden basarse en construcciones de tipo kernel o en construcciones de tipo partial meet. En este paper, pretendemos resolver este problema mediante el estudio de algoritmos para aplicar estas construcciones en cláusulas Horn. Las semejanzas observadas entre estos algoritmos sugiere que están sensiblemente relacionados. Mostramos su funcionalidad con ejemplos para el cálculo de los conjuntos de restos (remainder set) y los conjuntos kernel (kernel set) con cláusulas Horn. La ventaja de elegir cláusulas de Horn es que su estructura simple y propiedades únicas se pueden utilizar para mejorar la eficiencia del algoritmo. XV Workshop de Agentes y Sistemas Inteligentes Red de Universidades con Carreras de Informática (RedUNCI) |
description |
En la teoría de cambio de creencias, uno de los problemas claves es la implementación computacional en cuanto a operaciones de contracción múltiple en bases de creencias. Algunas aproximaciones pueden basarse en construcciones de tipo kernel o en construcciones de tipo partial meet. En este paper, pretendemos resolver este problema mediante el estudio de algoritmos para aplicar estas construcciones en cláusulas Horn. Las semejanzas observadas entre estos algoritmos sugiere que están sensiblemente relacionados. Mostramos su funcionalidad con ejemplos para el cálculo de los conjuntos de restos (remainder set) y los conjuntos kernel (kernel set) con cláusulas Horn. La ventaja de elegir cláusulas de Horn es que su estructura simple y propiedades únicas se pueden utilizar para mejorar la eficiencia del algoritmo. |
publishDate |
2014 |
dc.date.none.fl_str_mv |
2014-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/42425 |
url |
http://sedici.unlp.edu.ar/handle/10915/42425 |
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_ |
1842260190862245888 |
score |
13.13397 |