Sémantique formelle et spécifications algébriques du raisonnement sur les graphes conceptuels simples et étendus

by Stéphane Lapalut

Doctoral thesis in Informatique

Sous la direction de Rose Dieng.

Soutenue en 1997

à Nice .

  • Titre traduit

    Formal semantics and algebraical specifications of the reasoning on simple and extended conceptual graphs


  • Pas de résumé disponible.


  • Abstract

    Ces travaux présentent une approche de la formalisation du raisonnement sur les graphes conceptuels proposés par J. F. Sowa. Dans la première partie, nous situons l'état de l'art et relevons les problématiques existantes dans ce formalisme. Nous en déduisons deux principales directions de travail : l'établissement d'une sémantique formelle pour les graphes conceptuels et l'étude d'une approche de grammaire de graphe permettant la spécification puis l'implantation des règles d'inférence sur ces graphes. La deuxième partie reconsidère le formalisme des graphes simples et propose les bases nécessaires à l'étude de leur extension à la négation. La troisième partie étend les graphes simples aux graphes étendus, qui intègrent principalement la logique et les règles d'inférence du système B de Peirce. Une sémantique au sens de Tarski, basée sur une interprétation du support d'une base de graphe, est proposée pour les deux types de graphes, incluant la négation dans le cas des graphes étendus. L'introduction de la notion de séquent de graphe permet l'étude de la validité de chaque opération de transformation et d'inférence sur les graphes conceptuels simples et étendus décrits. Un modèle algébrique pour chaque type de graphes permet l'établissement d'un schéma de graphe au sens du langage de spécification de grammaire de graphe progrès, à partir desquels chaque opération sur les graphes est spécifiée par une règle de grammaire de graphe. Les systèmes de requêtes par projections et par déduction se formalisent par des machines de grammaire de graphes utilisant deux approches de grammaires de graphes simples et étendus, pour lesquelles deux algorithmes non-déterministes sont proposés

Consult library

Version is available as a paper

Informations

  • Details : 1 vol. (181 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 153-160. Résumé en français.

Where is this thesis?

  • Library : Moyens Informatiques et Multimédia. Information.
  • Available for PEB
  • Odds : D-LAP
  • Library : Université Nice Sophia Antipolis. Service commun de la documentation. Bibliothèque Sciences.
  • Unvailable for PEB
  • Odds : 97NICE5148
  • Library : Université Nice Sophia Antipolis. Service commun de la documentation. Bibliothèque Sciences.
  • Available for PEB
  • Odds : 97NICE5148BIS
  • Library : Université de Technologie. Service commun de la documentation.
  • Available for PEB
  • Odds : THE 97 LAP
  • Library : Centre de recherche INRIA Sophia Antipolis - Méditerranée (Sophia ANtipolis). Service IST.
  • Available for PEB
  • Odds : TV135
  • Library : Centre de recherche Inria Paris. IES.
  • Available for PEB
  • Odds : I2305
See the Sudoc catalog libraries of higher education and research.