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.
My Menu
Saved Items

Update Sequences Based on Minimal Generalized Pstable Models

Mauricio OsorioContact Information and Claudia ZepedaContact Information

(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


Contact Information Mauricio Osorio
Email: osoriomauri@gmail.com

Contact Information Claudia Zepeda
Email: czepedac@gmail.com
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.111 • Server: mpweb06
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)