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...
Guardado en:
Autores principales: | , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Inglés |
Publicado: |
2016
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/55735 |
Aporte de: |
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 |