DocumentCode
1922836
Title
A semantics for updates consisting of a sequence of programs
Author
Osorio, Matias ; Zepeda, Claudia
Author_Institution
Univ. de las Americas - Puebla
fYear
2007
fDate
26-28 Feb. 2007
Firstpage
21
Lastpage
21
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CONIELECOMP.2007.8
Filename
4127261
Link To Document