Skip to Main content Skip to Navigation
New interface

Acquisition de connaissances et raisonnement en logique propositionnelle

Bruno Zanuttini 1 
1 Equipe MAD - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image et Instrumentation de Caen
Abstract : We study the algorithmics of two central problems in Artificial Intelligence, for knowledge bases represented, in particular, by propositional Horn, bijunctive, Horn-renamable, or affine formulas. We first study knowledge acquisition from examples: in particular, we give a generic and efficient algorithm for exact acquisition, we complete the state-of-the-art for approximation, and we give an algorithm for PAC-learning affine formulas. Then we study reasoning problems: we give a generic algorithm for abduction, which enables us to exhibit new polynomial classes, and we give first results about this process for the case when the knowledge base is approximate. The study of affine formulas for knowledge representation had never really been undertaken. The results presented in this thesis show that they have many good properties.
Document type :
Complete list of metadata
Contributor : Bruno Zanuttini Connect in order to contact the contributor
Submitted on : Friday, May 23, 2014 - 1:56:27 AM
Last modification on : Saturday, June 25, 2022 - 9:48:01 AM
Long-term archiving on: : Saturday, August 23, 2014 - 10:55:11 AM


  • HAL Id : tel-00995247, version 1


Bruno Zanuttini. Acquisition de connaissances et raisonnement en logique propositionnelle. Intelligence artificielle [cs.AI]. Université de Caen, 2003. Français. ⟨NNT : ⟩. ⟨tel-00995247⟩



Record views


Files downloads