Prospective logic programming with ACORDA

Gonçalo Lopes, Luís Moniz Pereira

Research output: Contribution to journalConference articlepeer-review

5 Citations (Scopus)


As we face the real possibility of modelling programs that are capable of nondeterministic self-evolution, we are confronted with the problem of having several different possible futures for a single such program. It is desirable that such a system be somehow able to look ahead, prospectively, into such possible futures, in order to determine the best courses of evolution from its own present, and then to prefer amongst them. This is the objective of the ACORDA, a prospective logic programming system. We start from a real-life working example of differential medical diagnosis illustrating the benefits of addressing these concerns, and follow with a brief description of the concepts and research results supporting ACORDA, and on to their implementation. Then we proceed to fully specify the implemented system and how we addressed each of the enounced challenges. Next, we take on the proffered example, as codified into the system, and describe the behaviour of ACORDA as we carefully detail the resulting steps involved. Finally, we elaborate upon several considerations regarding the current limitations of the system, and conclude with the examination of possibilities for future work.

Original languageEnglish
Pages (from-to)139-158
Number of pages20
JournalCEUR Workshop Proceedings
Publication statusPublished - 1 Dec 2006
EventFLoC 2006 Workshop on Empirically Successful Computerized Reasoning, ESCoR 2006 - Seattle, WA, United States
Duration: 22 Aug 200622 Aug 2006


Dive into the research topics of 'Prospective logic programming with ACORDA'. Together they form a unique fingerprint.

Cite this