Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Update Sequences Based on Minimal Generalized Pstable Models
| |
|
Update Sequences Based on Minimal Generalized Pstable Models
Mauricio Osorio1 and Claudia Zepeda2 
| (1) |
Universidad de las Américas, CENTIA, Sta. Catarina Mártir, Cholula, Puebla, 72820, México |
| (2) |
Universidad Politécnica de Puebla, Tercer Carril del Ejido Serrano, San Mateo Cuanala, Municipio Juan C. Bonilla, Puebla,
72640, México |
Abstract
In case intelligent agents get new knowledge and this knowledge must be added or updated to their knowledge base, it is important
to avoid inconsistencies. Currently there are several approaches dealing with updates. In this paper, we propose a semantics
for update sequences. We start introducing the notion of minimal generalized (MG) pstable models that, as we argue is interesting
by itself. Based on MG pstable models we construct our update semantics. In this work, we also use some representative examples
to compare our update semantics to other known update semantics and observe some advantages of it.
Keywords Logic Programming - Update sequences
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|