Closing the loop: an agenda- and justification-based framework for selecting the next discovery task to perform

We propose and evaluate an agenda- and justification-based architecture for discovery systems that selects the next tasks to perform. This framework has many desirable properties: (1) it facilitates the encoding of general discovery strategies using a variety of background knowledge, (2) it reasons about the appropriateness of the tasks being considered, and (3) it tailors its behavior toward a user´s interests. A prototype discovery program called HAMB demonstrates that both reasons and estimates of interestingness contribute to performance in the domains of protein crystallization and patient rehabilitation