Skip to Main content Skip to Navigation
Journal articles

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
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Jean Sallantin Connect in order to contact the contributor
Submitted on : Tuesday, December 4, 2007 - 2:24:01 PM
Last modification on : Friday, August 5, 2022 - 3:02:57 PM
Long-term archiving on: : Monday, April 12, 2010 - 6:01:33 AM


  • 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⟩



Record views


Files downloads