A semantics for updates consisting of a sequence of programs

摘要

When intelligent agents get new knowledge and this knowledge must be added or updated to their knowledge base, then it is important to avoid inconsistencies. In this paper, we propose a semantics for updates consisting of a sequence of programs. The semantics is proposed as an application of an extension of the notion of generalized answer sets. This extension is also introduced in this work