Update Sequences Based on Minimal Generalized Pstable Models

摘要

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.