Diapositiva di PowerPoint
My contribution aims to introduce the distinction, not previously analyzed, between two kinds of creative abductive reasoning in science, theoretical and manipulative. I guess the distinction is useful in order to provide an integrated framework to explain some of the main aspects of the computational discovery processes.
The distinction appears to be extremely convenient: computational discovery in science will be viewed as the result of the highest cases of theoretical sentential abduction when performed exploiting the knowledge resources in verbal and propositional terms.