Title :
A semantics for updates consisting of a sequence of programs
Author :
Osorio, Matias ; Zepeda, Claudia
Author_Institution :
Univ. de las Americas - Puebla
Abstract :
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
Keywords :
formal logic; logic programming; multi-agent systems; nonmonotonic reasoning; programming language semantics; semantic networks; generalized answer set programming; intelligent agents; logic programs; nonmonotonic reasoning; propositional logic; update semantics; Application software; Application specific processors; Artificial intelligence; Intelligent agent; Knowledge representation; Logic programming;
Conference_Titel :
Electronics, Communications and Computers, 2007. CONIELECOMP '07. 17th International Conference on
Conference_Location :
Cholula, Puebla
Print_ISBN :
0-7695-2799-X
Electronic_ISBN :
0-7695-2799-X
DOI :
10.1109/CONIELECOMP.2007.8
