Abstract
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.

URL:
http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-115

BibTeX:

@inproceedings{REWERSE-RP-2006-115,
	author = {Gon\c{c}alo Lopes and Luís Moniz Pereira},
	title = {Prospective Logic Programming with ACORDA},
	booktitle = {Proceedings of FLoC'06 Workshop on Empirically Successful Computerized Reasoning, Seattle, USA (21st August 2006)},
	year = {2006},
	pages = {139--158},
	url = {http://rewerse.net/publications/rewerse-publications.html#REWERSE-RP-2006-115}
}