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 metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00193709
Contributor : Jean Sallantin <>
Submitted on : Tuesday, December 4, 2007 - 2:24:01 PM
Last modification on : Thursday, May 24, 2018 - 3:59:23 PM
Long-term archiving on: Monday, April 12, 2010 - 6:01:33 AM

Identifiers

  • HAL Id : lirmm-00193709, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

271

Files downloads

774