Minimal Extended Generalized Answer Sets and their Applications

Workshop in Logic, Language and Computation

Mauricio Osorio1 and Claudia Zepeda2 ; 2 Universidad Polite´cnica de Puebla ; Tercer Carril del Ejido Serrano ; San Mateo Cuanala ; Municipio Juan C. Bonilla ; Puebla ; 72640 Me´xico

PID  :  79565

来源: CEUR

【 摘 要 】

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