Dinámica de conocimiento: Contracción múltiple en lenguajes Horn

En los últimos años el estudio de la teoría de cambio de creencias dentro del marco AGM, ha motivado la necesidad de desarrollar modelos de la teoría de contracción que abarquen los casos de contracción simultánea para conjuntos de sentencias y no solamente para una única sentencia. Por ello, en est...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Valdez, Néstor Jorge, Falappa, Marcelo Alejandro
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2013
Materias:
Ciencias Informáticas
Informática
Intelligent agents
contracción Horn
package contraction
teoría de contracción
Logic Programming
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/31434
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-31434
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Informática
Intelligent agents
contracción Horn
package contraction
teoría de contracción
Logic Programming
spellingShingle Ciencias Informáticas
Informática
Intelligent agents
contracción Horn
package contraction
teoría de contracción
Logic Programming
Valdez, Néstor Jorge
Falappa, Marcelo Alejandro
Dinámica de conocimiento: Contracción múltiple en lenguajes Horn
topic_facet Ciencias Informáticas
Informática
Intelligent agents
contracción Horn
package contraction
teoría de contracción
Logic Programming
description En los últimos años el estudio de la teoría de cambio de creencias dentro del marco AGM, ha motivado la necesidad de desarrollar modelos de la teoría de contracción que abarquen los casos de contracción simultánea para conjuntos de sentencias y no solamente para una única sentencia. Por ello, en este paper se presentan algunos modelos que resultan ser generalizaciones de funciones de contracción AGM, pero considerando el caso de las contracciones de un conjunto de sentencias, especialmente bajo el fragmento Horn de la lógica proposicional. Además, se consideró que las definiciones de los distintos modelos de contracción Horn obtenidas basadas en las contracciones múltiples, resulten tan plausible como una contracción AGM. Tambien, se demuestra que las contracciones Horn obtenidas satisfacen este criterio establecido, como asó también se proporcionan las pruebas que identifican los postulados que la caracterizan.
format Objeto de conferencia
Objeto de conferencia
author Valdez, Néstor Jorge
Falappa, Marcelo Alejandro
author_facet Valdez, Néstor Jorge
Falappa, Marcelo Alejandro
author_sort Valdez, Néstor Jorge
title Dinámica de conocimiento: Contracción múltiple en lenguajes Horn
title_short Dinámica de conocimiento: Contracción múltiple en lenguajes Horn
title_full Dinámica de conocimiento: Contracción múltiple en lenguajes Horn
title_fullStr Dinámica de conocimiento: Contracción múltiple en lenguajes Horn
title_full_unstemmed Dinámica de conocimiento: Contracción múltiple en lenguajes Horn
title_sort dinámica de conocimiento: contracción múltiple en lenguajes horn
publishDate 2013
url http://sedici.unlp.edu.ar/handle/10915/31434
work_keys_str_mv AT valdeznestorjorge dinamicadeconocimientocontraccionmultipleenlenguajeshorn
AT falappamarceloalejandro dinamicadeconocimientocontraccionmultipleenlenguajeshorn
bdutipo_str Repositorios
_version_ 1764820471139794944

Ejemplares similares