Multiple Revision on Horn Belief Bases

In logic programming, Horn clauses play a basic role, and in many logical constructs their consideration is important. In this paper we study the multiple revision of a belief base where the underlying logic is composed by Horn clauses. The main di culties as to restricting to the Horn fragment for...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Valdez, Néstor Jorge, Falappa, Marcelo Alejandro
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2016
Materias:
Ciencias Informáticas
horn belief revision
belief base
multiple change
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/55735
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-55735
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
horn belief revision
belief base
multiple change
spellingShingle Ciencias Informáticas
horn belief revision
belief base
multiple change
Valdez, Néstor Jorge
Falappa, Marcelo Alejandro
Multiple Revision on Horn Belief Bases
topic_facet Ciencias Informáticas
horn belief revision
belief base
multiple change
description In logic programming, Horn clauses play a basic role, and in many logical constructs their consideration is important. In this paper we study the multiple revision of a belief base where the underlying logic is composed by Horn clauses. The main di culties as to restricting to the Horn fragment for revision operators by a single sentence are analyzed, and general results are presented about multiple revision operators on belief bases. We de ne prioritized multiple revision operators under a more restricted logic than classical propositional logic, i.e. Horn logic. We propose a set of postulates and representation theorems for each operation. This work is relevant for multiple revision in areas that employ Horn clauses, such as logic programming and deductive databases applications.
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 Multiple Revision on Horn Belief Bases
title_short Multiple Revision on Horn Belief Bases
title_full Multiple Revision on Horn Belief Bases
title_fullStr Multiple Revision on Horn Belief Bases
title_full_unstemmed Multiple Revision on Horn Belief Bases
title_sort multiple revision on horn belief bases
publishDate 2016
url http://sedici.unlp.edu.ar/handle/10915/55735
work_keys_str_mv AT valdeznestorjorge multiplerevisiononhornbeliefbases
AT falappamarceloalejandro multiplerevisiononhornbeliefbases
bdutipo_str Repositorios
_version_ 1764820477335830529

Ejemplares similares