Skip to Main content Skip to Navigation
Conference papers

Interactive Learning from Contradictions in a Paraconsistent Logic

Abstract : In this paper, we describe a formal logical framework which we claim as essential to prove and to revise a model produced by combined ILP techniques. The dynamic process of proof embrace the supervision of the learning machine by a human, and this framework places the interpretation of contradictions in the heart of the interactive process which leads to a model which can be discussed, justified, and proven. We illustrate and validate this framework on an industrial application in the field of Drug Discovery, combining different learning processes to predict pharmaco-kinetic properties (ADME-T) and adverse side effects of therapeutic drug molecules.
Document type :
Conference papers
Complete list of metadata
Contributor : Christopher Dartnell Connect in order to contact the contributor
Submitted on : Thursday, April 17, 2008 - 5:42:48 PM
Last modification on : Tuesday, September 6, 2022 - 4:58:36 PM
Long-term archiving on: : Friday, May 21, 2010 - 1:50:26 AM


  • HAL Id : lirmm-00274303, version 1



Jean Sallantin, Christopher Dartnell, Mohammad Afshar. Interactive Learning from Contradictions in a Paraconsistent Logic. ILP: Inductive Logic Programming, Aug 2006, Santiago de Compostela, Spain. pp.51. ⟨lirmm-00274303⟩



Record views


Files downloads