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 metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00274303
Contributor : Christopher Dartnell <>
Submitted on : Thursday, April 17, 2008 - 5:42:48 PM
Last modification on : Tuesday, October 9, 2018 - 9:51:34 PM
Long-term archiving on: Friday, May 21, 2010 - 1:50:26 AM

Identifiers

  • HAL Id : lirmm-00274303, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

224

Files downloads

2080