Aristotle's Square Revisited to Frame Discovery Science

Abstract : The paper attempts to give a formal framework to capture the entire process of scientific discovery including hypothesis formation, reasoning, identifying contradictions, peer reviewing, reformulating and so on. Data mining can be seen as one step in this complex process of interactive learning of an empirical theory This paper uses the terminology from paraconsistent logic and paracomplete logic that extends Aristotle square in a hypercube of oppositions which defines or substantiates any step of the discovery process. The central formal notions are validated on a mathematical scientific discovery game, and an industrial application in the field of Drug Discovery illustrates how the presented framework combines different learning processes to predict pharmaco-kinetic properties (ADME-T) and adverse side effects of therapeutic drug molecules. Index Terms—Machine Learning, Scientific Method, Logical Reasoning Framework, Aristotle's Square of Oppositions
Type de document :
Article dans une revue
Journal of Computers (JCP), Academy Publisher, 2007, 2 (5), pp.054-066
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger
Contributeur : Jean Sallantin <>
Soumis le : mardi 4 décembre 2007 - 14:24:01
Dernière modification le : jeudi 24 mai 2018 - 15:59:23
Document(s) archivé(s) le : lundi 12 avril 2010 - 06:01:33


  • HAL Id : lirmm-00193709, version 1



Jean Sallantin, Mohammad Afshar, Dominique Luzeaux, Christopher Dartnell, Yannick Tognetti. Aristotle's Square Revisited to Frame Discovery Science. Journal of Computers (JCP), Academy Publisher, 2007, 2 (5), pp.054-066. 〈lirmm-00193709〉



Consultations de la notice


Téléchargements de fichiers