Thèse soutenue

Florian : un système déductif de gestion de base de connaissances centrées objet
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Samir Dami
Direction : Christophe Roche
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1989
Etablissement(s) : Chambéry

Résumé

FR

De plus en plus les applications en intelligence artificielle recouvrent des domaines faisant intervenir des connaissances complexes et de nature diverse. Ce courant amene souvent a considerer des formalismes de representation parfois heterogenes et des mecanismes d'inference assez sophistiques. La notion d'objet apparu en informatique il y a quelques annees, constitue a cet egard une promesse face a ce defi, mais les concepts qui s'y rapportent, tels que l'heritage, sont encore loin d'etre maitrises en raison des origines diverses liees a cette approche. L'un des objectifs de cette these est d'unifier differentes perceptions de la notion d'objet, en particulier celle des langages de programmation et celle de la representation de connaissances en ia (intelligence artificielle). Une autre motivation ressentie est liee a l'evolution des systemes a base de connaissances et l'apport des techniques d'ia dans ce domaine. C'est ainsi que l'integration des regles de production aux objets peut etre vu comme un moyen, d'une part pour completer les connaissances acquises, et d'autre part, pour aider a maintenir la coherence de la base. Ce dernier aspect est egalement une des preoccupations de cette these, notamment sur la validite des connaissances inferees par heritage ou par deduction. Les mecanismes mis en place a cet egard, sont essentiellement bases sur des techniques issues des systemes de maintenance de la verite (tms) (truth maintenance systems)