Skip to Main content Skip to Navigation
New interface
Theses

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 :
Theses
Complete list of metadata

https://theses.hal.science/tel-00995247
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

Identifiers

  • HAL Id : tel-00995247, version 1

Citation

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

Share

Metrics

Record views

302

Files downloads

220