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
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/52711

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