Operadores de cambio múltiples en bases de creencias bajo lógica Horn
- Autores
- Valdez, Néstor Jorge; Falappa, Marcelo Alejandro
- Año de publicación
- 2016
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- Esta línea de investigación tiene como objetivo estudiar en el marco de la teoría de cambio de creencias los operadores de cambio múltiple, es decir, operadores en que la entrada epistémica es un conjunto de sentencias en lugar de una única sentencia. Para ello, se analizan los resultados generales presentados sobre operadores de revisión múltiples priorizadas y no-priorizadas en bases de creencias y otros referidos a modelos de contracción simultánea para conjunto de sentencias denominada package contraction. Estudiaremos y definiremos a estos operadores de cambios múltiple bajo una lógica más restringida que la lógica proposicional clásica como es la lógica Horn. Así también, investigar diferentes operadores de cambio y las interrelaciones entre ellos. Esto permitirá desarrollar nuevos algoritmos de cambio múltiple y sus respectivas caracterizaciones axiomáticas.
Eje: Agentes y Sistemas Inteligentes
Red de Universidades con Carreras en Informática (RedUNCI) - Materia
-
Ciencias Informáticas
revisión de creencias
cambio múltiples Horn
bases de creencias - 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/52711
Ver los metadatos del registro completo
id |
SEDICI_2d1c9baa2119eeefc3300a7f9c1ed647 |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/52711 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
Operadores de cambio múltiples en bases de creencias bajo lógica HornValdez, Néstor JorgeFalappa, Marcelo AlejandroCiencias Informáticasrevisión de creenciascambio múltiples Hornbases de creenciasEsta línea de investigación tiene como objetivo estudiar en el marco de la teoría de cambio de creencias los operadores de cambio múltiple, es decir, operadores en que la entrada epistémica es un conjunto de sentencias en lugar de una única sentencia. Para ello, se analizan los resultados generales presentados sobre operadores de revisión múltiples priorizadas y no-priorizadas en bases de creencias y otros referidos a modelos de contracción simultánea para conjunto de sentencias denominada package contraction. Estudiaremos y definiremos a estos operadores de cambios múltiple bajo una lógica más restringida que la lógica proposicional clásica como es la lógica Horn. Así también, investigar diferentes operadores de cambio y las interrelaciones entre ellos. Esto permitirá desarrollar nuevos algoritmos de cambio múltiple y sus respectivas caracterizaciones axiomáticas.Eje: Agentes y Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI)2016-04info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf19-23http://sedici.unlp.edu.ar/handle/10915/52711spainfo:eu-repo/semantics/altIdentifier/isbn/978-950-698-377-2info:eu-repo/semantics/reference/hdl/10915/52766info: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:37:23Zoai:sedici.unlp.edu.ar:10915/52711Institucionalhttp://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:37:23.797SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
Operadores de cambio múltiples en bases de creencias bajo lógica Horn |
title |
Operadores de cambio múltiples en bases de creencias bajo lógica Horn |
spellingShingle |
Operadores de cambio múltiples en bases de creencias bajo lógica Horn Valdez, Néstor Jorge Ciencias Informáticas revisión de creencias cambio múltiples Horn bases de creencias |
title_short |
Operadores de cambio múltiples en bases de creencias bajo lógica Horn |
title_full |
Operadores de cambio múltiples en bases de creencias bajo lógica Horn |
title_fullStr |
Operadores de cambio múltiples en bases de creencias bajo lógica Horn |
title_full_unstemmed |
Operadores de cambio múltiples en bases de creencias bajo lógica Horn |
title_sort |
Operadores de cambio múltiples en bases de creencias bajo lógica 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 revisión de creencias cambio múltiples Horn bases de creencias |
topic |
Ciencias Informáticas revisión de creencias cambio múltiples Horn bases de creencias |
dc.description.none.fl_txt_mv |
Esta línea de investigación tiene como objetivo estudiar en el marco de la teoría de cambio de creencias los operadores de cambio múltiple, es decir, operadores en que la entrada epistémica es un conjunto de sentencias en lugar de una única sentencia. Para ello, se analizan los resultados generales presentados sobre operadores de revisión múltiples priorizadas y no-priorizadas en bases de creencias y otros referidos a modelos de contracción simultánea para conjunto de sentencias denominada package contraction. Estudiaremos y definiremos a estos operadores de cambios múltiple bajo una lógica más restringida que la lógica proposicional clásica como es la lógica Horn. Así también, investigar diferentes operadores de cambio y las interrelaciones entre ellos. Esto permitirá desarrollar nuevos algoritmos de cambio múltiple y sus respectivas caracterizaciones axiomáticas. Eje: Agentes y Sistemas Inteligentes Red de Universidades con Carreras en Informática (RedUNCI) |
description |
Esta línea de investigación tiene como objetivo estudiar en el marco de la teoría de cambio de creencias los operadores de cambio múltiple, es decir, operadores en que la entrada epistémica es un conjunto de sentencias en lugar de una única sentencia. Para ello, se analizan los resultados generales presentados sobre operadores de revisión múltiples priorizadas y no-priorizadas en bases de creencias y otros referidos a modelos de contracción simultánea para conjunto de sentencias denominada package contraction. Estudiaremos y definiremos a estos operadores de cambios múltiple bajo una lógica más restringida que la lógica proposicional clásica como es la lógica Horn. Así también, investigar diferentes operadores de cambio y las interrelaciones entre ellos. Esto permitirá desarrollar nuevos algoritmos de cambio múltiple y sus respectivas caracterizaciones axiomáticas. |
publishDate |
2016 |
dc.date.none.fl_str_mv |
2016-04 |
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/52711 |
url |
http://sedici.unlp.edu.ar/handle/10915/52711 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/isbn/978-950-698-377-2 info:eu-repo/semantics/reference/hdl/10915/52766 |
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 19-23 |
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_ |
1842260231648706560 |
score |
13.13397 |