Facing the possibility of modelling agent systems capable of nondeterministic self-evolution, we are confronted with the problem of having several different possible futures for any single agent. This brings the challenge of how to allow such evolving agents to be able to look ahead, prospectively, into their hypothetical futures, in order to determine best courses of evolution from their present, and thence to prefer amongst them. The concept of prospective logic programs is presented to address such issues. We build on previous theoretical background, on evolving programs and on abduction, to construe a framework for prospection and describe an abstract procedure for its materialization. We take on several examples of modelling prospective logic programs to illustrate the proposed concepts and briefly discuss the ACORDA system, an implementation of the previously presented procedure. We conclude elaborating on current limitations of the system and examining future work scenaria.
|Journal||International Journal of Reasoning-based Intelligent Systems (IJRIS)|
|Publication status||Published - 1 Jan 2009|