Guide Utilisateur AROM v2.0


Table des matières
I. Introduction au système AROM
1. Qu'est-ce qu'AROM ?
1.1. Introduction
1.2. Historique
2. Représenter des connaissances avec AROM
2.1. Classes et objets
2.2. Associations et tuples
2.3. BNF du langage AROM
II. Description de la plate-forme AROM version 2.0
3. Architecture de la plate-forme AROM
3.1. Terminologie
3.2. Modularité de la plate-forme
3.3. Configuration du système AROM
4. Représentation des entités du système
4.1. Entités AROM
4.2. Propriétés des entités AROM
4.3. Espaces de nommages
4.4. Spécialisation d'entités
4.5. Classes et Associations AROM
4.6. Slots
4.7. Facettes
4.8. Les instances AROM
4.9. Mécanisme de notification
5. Module de types
5.1. C-Types et δ-Types
5.2. Domaines associés aux δ-Types
5.3. Relation de sous-typage dans le module de types
5.4. Nommage des C-types
5.5. C-types et Valeurs
5.6. API relative aux types
6. Module de gestion de la mémoire
6.1. Objectifs du module de gestion de mémoire
6.2. Principes de fonctionnement
7. Les READER - WRITER pour AROM
7.1. Format AROM
7.2. Accès aux différents formats AROM
III. API du système AROM version 2.0
8. Lecture/Ecriture d'une base de connaissances AROM
8.1. Construction des entités
8.2. Création de bases de connaissances
8.3. Lecture de bases de connaissances
8.4. Ecriture de bases de connaissances
9. Modificateurs de facettes
9.1. Organisation
9.2. Création
10. Traitements spécifiques aux structures
10.1. Création de structures.
10.2. Spécialisation des structures
10.3. L'accès aux slots
10.4. L'accès aux instances
11. Traitements spécifiques aux slots
11.1. Slots et Facettes
11.2. Création de slots
11.3. Modification d'un slot
12. Traitements spécifiques aux instances
12.1. Création d'instances
13. Mécanismes d'inférence
13.1. Attachement Procédural
IV. Annexe
14. D'AROM version 1 à AROM version 2
14.1. Modèle de représentation de connaissances
14.2. Représentation des objets AROM
14.3. API
14.4. Développement
14.5. Implémentation
Références bibliographiques
Liste des tableaux
5-1. Valeurs admises pour les C-types de base
Liste des illustrations
3-1. Désignation des différents éléments de l'environnement
3-2. Organisation modulaire de la plate-forme AROM
3-3. Organisation de la plate-forme Geno-AROM
4-1. Relations de composition entre les entités AROM
4-2. Slots et description de slots
4-3. Spécialisation d'une facette de type
4-4. Extension d'une structure
4-5. Propriétés dans AROM
5-1. Hiérarchie des classes de CTypes
5-2. Application de descripteurs
5-3.
5-4. Relation de sous-typage des MultiValCT
5-5. Relation de sous-typage des RecordCT
5-6. Les MutuableObjects et associés.
5-7.
5-8. Restriction de domaine d'une variable
9-1. Modificateurs de facettes
10-1. Modification d'une hiérarchie de structures
11-1. Structures, slots et descriptions de slots
Liste des exemples
5-1. Resctriction de domaine
5-2. Typer une variable.
5-3. Modifier le domaine d'une variable.
8-1. Création de base de connaissances
8-2. Lecture d'une base de connaissances
8-3. Écriture de base de connaissance
10-1. Création d'une classe
10-2. Modification d'une hiérarchie de structures.
10-3. Lecture d'une hiérarchie de classes.
11-1. Création d'un slot
11-2. Modification de slots
12-1. Création d'instances, objet et tuple
13-1. Attachement procédural de la variable salaire de la classe Professeur
Liste des équations
2-1.