Proposition d'une structure de représentation de la connaissance pour les raisonnements non classiques

A knowledge representation structure for non classical reasoning formalisms

• Auteur / Autrice : Arnaud Kohler
• Direction : Pierre Siegel
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1995
• Etablissement(s) : Aix-Marseille 1

Mots clés

Mots clés contrôlés

Calcul des propositions

Logique mathématique non classique

Représentation des connaissances

Résumé

Dans le cadre de la modélisation des raisonnements dits non classiques, nous proposons une structure de représentation de la connaissance, qui prend en compte l'inadéquation entre une connaissance et sa représentation formelle. Nous sommes parvenus à ce résultat en appliquant systématiquement la conception de dicto au niveau de la syntaxe. L'interprétation d'une connaissance dépend étroitement du contexte dans lequel elle est exprimée. C'est pourquoi nous avons développé une sémantique permettant la modélisation et l'exploitation de plusieurs contextes différents. Ceci nous a amenés à proposer un langage formel, la logique contextuelle, qui a une sémantique suffisamment riche pour exprimer des interprétations graduées en fonction de divers contextes éventuellement contradictoires, ou décrits incomplètement ou imparfaitement. Son axiomatique est techniquement équivalente à celle de la logique propositionnelle, ce qui lui assure les mêmes propriétés d'implantation. Les liens entre la logique contextuelle, la logique des défauts et les logiques modales sont étudiés. Divers exemples de modélisations de processus dynamiques de relation d'ordre - chronologique, sémantique ou syntaxique - illustrent les possibilités d'expression du langage. Un exemple d'application, dans le cadre d'une étude industrielle, est présenté. Les procédures que nous avons implantées pour valider nos résultats sont décrites en annexe.