Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Go back
Publication details
Main information
Prospective Logic Agents
October 2009
prospective-ijris09
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
Luís Moniz Pereira, Gonçalo Lopes
International Journal of Reasoning-based Intelligent Systems (IJRIS)
Inderscience
http://www.inderscience.com/browse/index.php?journalCODE=ijris
1
3/4
200-208
1755-0556
-
-
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ijris09-acorda.pdf
Export formats
Luís Moniz Pereira and Gonçalo Lopes, Prospective Logic Agents, International Journal of Reasoning-based Intelligent Systems (IJRIS), Vol. 1, No. 3/4, Pag. 200-208, Inderscience, http://www.inderscience.com/browse/index.php?journalCODE=ijris, ISBN 1755-0556, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ijris09-acorda.pdf), October 2009.
<b><a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a> and <a href="/people/members/view.php?code=70944c933ceb5d837aed2c1540ec2d6c" class="author">Gonçalo Lopes</a></b>, <u>Prospective Logic Agents</u>, International Journal of Reasoning-based Intelligent Systems (IJRIS), Vol. 1, No. 3/4, Pag. 200-208, Inderscience, http://www.inderscience.com/browse/index.php?journalCODE=ijris, ISBN 1755-0556, (<a href="http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ijris09-acorda.pdf" target="_blank">url</a>), October 2009.
@article {prospective-ijris09, author = {Lu\'{\i}s Moniz Pereira and Gon\c{c}alo Lopes}, title = {Prospective Logic Agents}, journal = {International Journal of Reasoning-based Intelligent Systems (IJRIS)}, publisher = {Inderscience}, address = {http://www.inderscience.com/browse/index.php?journalCODE=ijris}, volume = {1}, number = {3/4}, pages = {200-208}, isbn = {1755-0556}, url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ijris09-acorda.pdf}, abstract = {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.}, keywords = {Evolving Agents; Future Prospection; Abduction; Preferences; Logic Programming; Abductive Stable Models; ACORDA; XSB-XASP system}, month = {October}, year = {2009}, }
Publication's urls
/publications/view.php?code=d71255a42fe817cd2ed0a2e7bff7185d
/publications/view.php?code=prospective-ijris09
Go back
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT