Explanation and prediction: an architecture for default and abductive reasoning

This paper elaborates on the idea that reasoning should be viewed as theory formation where logic tells us the consequences of the authors' assumptions, and proposes an architecture to combine explanation and prediction into one coherent framework.