Logic Programming for Evolving Agents

@inproceedings{Alferes2003LogicPF,
  title={Logic Programming for Evolving Agents},
  author={Jos{\'e} J{\'u}lio Alferes and Antonio Brogi and Jo{\~a}o Leite and Lu{\'i}s Moniz Pereira},
  booktitle={CIA},
  year={2003}
}
Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Programs (EVOLP), 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… CONTINUE READING