Sciweavers

Share
AGP
2003
IEEE

An Evolving Agent with EVOLP

9 years 3 months ago
An Evolving Agent with EVOLP
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. Evolving Logic Programs (EVOLP) has been recently proposed as a simple though quite powerful extension of logic programming, which allows for modelling the dynamics of knowledge bases expressed by programs, and illustrate its usage in modelling agents whose specifications may dynamically change. From the syntactical point of view, evolving programs are just generalized logic programs (i.e. normal LPs plus default negation in rule heads too), extended with (possibly nested) assertions, whether in heads or bodies of rules. From the semantical point of view, a model-theoretic characterization is offered of the possible evolutions of such programs. These evolutions arise both from self (i.e. internal to the agent) updating, and from external updating originating in the environment. In this paper we illustrate the usage and power of EVOLP, and its ability to...
José Júlio Alferes, Antonio Brogi, J
Added 04 Jul 2010
Updated 04 Jul 2010
Type Conference
Year 2003
Where AGP
Authors José Júlio Alferes, Antonio Brogi, João Alexandre Leite, Luís Moniz Pereira
Comments (0)
books