Recherches sur la representation des connaissances le systeme ARCHES

  • Authors:

  • Eugène Chouraqui

  • Affiliations:

  • Centre National de la Recherche Scientifique, Laboratoire d'Informatique pour les Sciences de l'Homme, Marseille, France

  • Venue:
  • COLING '82 Proceedings of the 9th conference on Computational linguistics - Volume 1
  • Year:
  • 1982

Quantified Score

Hi-index 0.00

Visualization

Abstract

Ce papier présente la description formelle d'un système symbolique de représentation de connaissances, le système ARCHES. Comme tout système formel, il est formé de deux composantes interdépendantes. La première est relative aux modalités de représentation des connaissances qui sont déterminées par le langage objet de ARCHES et l'organisation algébrique de ses éléments. La deuxième est relative à son activité inférentielle qui permet de mettre en oeuvre deux types de raisonnement: le raisonnement déductif pour lequel un principe de résolution a été défini; et le raisonnement analogique fondé sur un modèle analogique particulier qui rend consistant le système ARCHES.