Interactive Learning from Contradictions in a Paraconsistent Logic - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2006

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.
Fichier principal
Vignette du fichier
ILPDIM.pdf (321.42 Ko) Télécharger le fichier

Dates and versions

lirmm-00274303 , version 1 (17-04-2008)

Identifiers

  • HAL Id : lirmm-00274303 , version 1

Cite

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⟩
134 View
1948 Download

Share

Gmail Facebook X LinkedIn More