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

par Arnaud Kohler

Thèse de doctorat en Informatique

Sous la direction de Pierre Siegel.

Soutenue en 1995

à Aix-Marseille 1 .


  • Pas de résumé disponible.


  • 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 a�� 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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (143 p.)
  • Annexes : Bibliogr. p. 121-127

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Aix-Marseille (Marseille. St Charles). Service commun de la documentation. Bibliothèque universitaire de sciences lettres et sciences humaines.
  • Accessible pour le PEB
  • Bibliothèque : Université d'Aix-Marseille (Marseille. St Charles). Service commun de la documentation. Bibliothèque universitaire de sciences lettres et sciences humaines.
  • Non disponible pour le PEB
  • Bibliothèque : Université d'Aix-Marseille (Marseille. St Charles). Service commun de la documentation. Bibliothèque universitaire de sciences lettres et sciences humaines.
  • Disponible pour le PEB
  • Bibliothèque : Centre de recherche en informatique de Lens. Bibliothèque.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : THE 95 KOH
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.