Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos
- Autores
- Valdez, Néstor Jorge; Falappa, Marcelo Alejandro
- Año de publicación
- 2013
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- El presente trabajo de investigación se propone reformular las condiciones para una definición de una función de contracción Horn que esta basada en la noción de importancia epistómica (EE: epistemic entrenchment) que es una construcción de contracción equivalente al modelo AGM. Dicha construcción considera disyunciones arbitrarias, las cuales no son aptas para entornos con lógicas Horn. Por ello es que se hace uso de una técnica de aproximación Horn conocida como Horn Strengthening. Es por ello que en este artículo se reformulan las condiciones para definir la función de contracción Horn basada en EE, y se prueba la validez de estas nuevas condiciones evaluóndolas con el conjunto de postulados que caracterizan este tipo de operacion, demostrando que la funcion de contracción Horn satisface ciertos postulados característicos.
Sociedad Argentina de Informática e Investigación Operativa - Materia
-
Ciencias Informáticas
contracción Horn
importancia epistómica
Horn Strengthening - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-sa/4.0/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/76361
Ver los metadatos del registro completo
id |
SEDICI_6a0b22c1da97c495c4108840995c6f80 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/76361 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicosValdez, Néstor JorgeFalappa, Marcelo AlejandroCiencias Informáticascontracción Hornimportancia epistómicaHorn StrengtheningEl presente trabajo de investigación se propone reformular las condiciones para una definición de una función de contracción Horn que esta basada en la noción de importancia epistómica (EE: epistemic entrenchment) que es una construcción de contracción equivalente al modelo AGM. Dicha construcción considera disyunciones arbitrarias, las cuales no son aptas para entornos con lógicas Horn. Por ello es que se hace uso de una técnica de aproximación Horn conocida como Horn Strengthening. Es por ello que en este artículo se reformulan las condiciones para definir la función de contracción Horn basada en EE, y se prueba la validez de estas nuevas condiciones evaluóndolas con el conjunto de postulados que caracterizan este tipo de operacion, demostrando que la funcion de contracción Horn satisface ciertos postulados característicos.Sociedad Argentina de Informática e Investigación Operativa2013-09info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf206-209http://sedici.unlp.edu.ar/handle/10915/76361spainfo:eu-repo/semantics/altIdentifier/url/http://42jaiio.sadio.org.ar/proceedings/simposios/Trabajos/ASAI/20.pdfinfo:eu-repo/semantics/altIdentifier/issn/1850-2784info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-sa/4.0/Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:45:27Zoai:sedici.unlp.edu.ar:10915/76361Institucionalhttp://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:45:28.026SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos |
title |
Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos |
spellingShingle |
Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos Valdez, Néstor Jorge Ciencias Informáticas contracción Horn importancia epistómica Horn Strengthening |
title_short |
Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos |
title_full |
Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos |
title_fullStr |
Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos |
title_full_unstemmed |
Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos |
title_sort |
Dinámica de conocimiento: contracciones Horn a partir de ordenamientos epistámicos |
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 contracción Horn importancia epistómica Horn Strengthening |
topic |
Ciencias Informáticas contracción Horn importancia epistómica Horn Strengthening |
dc.description.none.fl_txt_mv |
El presente trabajo de investigación se propone reformular las condiciones para una definición de una función de contracción Horn que esta basada en la noción de importancia epistómica (EE: epistemic entrenchment) que es una construcción de contracción equivalente al modelo AGM. Dicha construcción considera disyunciones arbitrarias, las cuales no son aptas para entornos con lógicas Horn. Por ello es que se hace uso de una técnica de aproximación Horn conocida como Horn Strengthening. Es por ello que en este artículo se reformulan las condiciones para definir la función de contracción Horn basada en EE, y se prueba la validez de estas nuevas condiciones evaluóndolas con el conjunto de postulados que caracterizan este tipo de operacion, demostrando que la funcion de contracción Horn satisface ciertos postulados característicos. Sociedad Argentina de Informática e Investigación Operativa |
description |
El presente trabajo de investigación se propone reformular las condiciones para una definición de una función de contracción Horn que esta basada en la noción de importancia epistómica (EE: epistemic entrenchment) que es una construcción de contracción equivalente al modelo AGM. Dicha construcción considera disyunciones arbitrarias, las cuales no son aptas para entornos con lógicas Horn. Por ello es que se hace uso de una técnica de aproximación Horn conocida como Horn Strengthening. Es por ello que en este artículo se reformulan las condiciones para definir la función de contracción Horn basada en EE, y se prueba la validez de estas nuevas condiciones evaluóndolas con el conjunto de postulados que caracterizan este tipo de operacion, demostrando que la funcion de contracción Horn satisface ciertos postulados característicos. |
publishDate |
2013 |
dc.date.none.fl_str_mv |
2013-09 |
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/76361 |
url |
http://sedici.unlp.edu.ar/handle/10915/76361 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/url/http://42jaiio.sadio.org.ar/proceedings/simposios/Trabajos/ASAI/20.pdf info:eu-repo/semantics/altIdentifier/issn/1850-2784 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-sa/4.0/ Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-sa/4.0/ Creative Commons Attribution-ShareAlike 4.0 International (CC BY-SA 4.0) |
dc.format.none.fl_str_mv |
application/pdf 206-209 |
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_ |
1842260328166981632 |
score |
13.13397 |