parution 97 - La representation des connaissances, D. Kayser, Hermes
ri...@idf.ext.jussieu.fr
La représentation des connaissances
Daniel Kayser - Université Paris-Nord
* 290 F * 310 pages * 1997 * Code 652 * Pour commander les ouvrages
Chapitre 1. Introduction
Chapitre 2. Codage des informations
Chapitre 3. Notion de représentation
Chapitre 4. Représentation dans un modèle
Chapitre 5. Les réseaux sémantiques
Chapitre 6. Connaissances menant à des
conclusions révisables
Chapitre 7. Conclusion
----------------------------------------------------------------------------
Chapitre 1. Introduction
1.1. Au commencement était l'inférence
1.2. Ceci n'est pas de l'informatique
1.3. Inférence et raisonnement
1.4. Inférence sans représentation
----------------------------------------------------------------------------
Chapitre 2. Codage des informations
2.1. Quelques éléments sur le codage
2.1.1. Codage et représentation
2.1.2. Codage des nombres
2.1.3. Codage des graphiques et des images
2.2. Recherche d'une information
2.2.1. Recherche séquentielle
2.2.2. Recherche dichotomique
2.2.3. Recherche directe
2.2.4. Adressage dispersé
2.2.5. Discussion
2.3. Connaissance et information
2.3.1. Connaissance et action
2.3.2. Différentes natures de connaissances
----------------------------------------------------------------------------
Chapitre 3. Notion de représentation
3.1. Généralités
3.2. Représentation et modèle
3.3. Langage de représentation
3.4. Représentation de procédures
3.4.1. Le minimum
3.4.2. Les procédures comme objets
3.4.3. Indécidabilité
----------------------------------------------------------------------------
Chapitre 4. Représentation dans un modèle
4.1. La logique des propositions
4.1.1. Langage
4.1.2. Système de déduction
4.1.3. Règles de valuation
4.1.4. Connaissances prépositionnelles
4.1.5. Décidabilité
4.1.6. L'algorithme de Davis & Putnam
4.1.7. Résolution sur les clauses de Horn
4.2. La logique du premier ordre
4.2.1. Langage
4.2.2. Système de déduction
4.2.3. Règles de valuation
4.2.4. Connaissances du premier ordre
4.2.5. Décidabilité
4.3. Quelques éléments sur les logiques d'ordre supérieur
4.3.1. Motivation
4.3.2. Langage
4.3.3. Propriétés
4.3.4. Connaissances d'ordre > 1
4.3.5. "Faux second ordre"
4.4. La logique modale
4.4.1. Motivations
4.4.2. Langage
4.4.3. Systèmes de déduction
4.4.4. Règles de valuation
4.4.5. Logique modale du premier ordre
4.4.6. Connaissances modales
4.5. La logique multi-valuée
4.5.1. Modalités et valeurs de vérité
4.5.2. Logiques tri-valuées
4.5.3. Généralisation à n valeurs
4.5.4. Logique des possibilités
4.5.5. Renforcement et affaiblissement
4.5.6. Connaissances multi-valuées
----------------------------------------------------------------------------
Chapitre 5. Les réseaux sémantiques
5.1. Généralités sur les réseaux
5.1.1. Motivations
5.1.2. Définition
5.1.3. Début d'interprétation
5.1.4. Un exemple : les réseaux partitionnés
5.2. Graphes conceptuels
5.2. 1. Brève présentation formelle
5.2.2. Intreprétation logique
5.3. Inférence par propagation
5.3.1. Propagation de marqueurs
5.3.2. Propagation de signaux périodiques
5.3.3. Réseaux connexionnistes
5.4. Logiques de description
5.4.1. Présentation
5.4.2. FL
5.4.3. PLI et PL2
5.4.4. Une autre notion de modèle
5.5. Discussion
----------------------------------------------------------------------------
Chapitre 6. Connaissances menant à des conclusions révisables
6.1. Motivations
6.2. Les logiques non-monotones
6.2.1. La logique du raisonnement par défaut
6.2.2. Quelques variantes du raisonnement par défaut
6.2.3. Statut de la notion d'exception
6.2.4. THEORIST
6.2.5. La logique auto-épistémique
6.3. Non-monotonie et modèles préférés
6.3.1. Modèles des systèmes déductifs non monotones
6.3.2. La circonscription
6.3.3. Déductibilité non monotone
6.4. Raffinement progressif de la conclusion
6.5. Raisonnement sur un monde évolutif
6.5.1. Révision des connaissances
6.5.2. Représentation des actions
6.6. Ontologie et non-monotonie
6.6.1. Les objets
6.6.2. Qu'est-ce qu'un livre ?
6.6.3. Raisonner à profondeur variable
----------------------------------------------------------------------------
@-Pour nous envoyer des messages
Editions Hermès : 14 rue Lantiez 75017 Paris
Tél. : 01-42-29-44-66 Fax : 01-42-29-15-56
Extrait des nouveautés du catalogue internet
des éditions Hermès :
http://www.editions-hermes.fr/ouv.htm
----------------------------------------------------------------------------
Relais d'Information sur les Sciences de la Cognition
RISC-CNRS - 28 rue Serpente - 75006 Paris - Pièce 17 RdC
Tel : 01 40 51 99 40 - Fax : 01 40 51 99 41
Email : ri...@idf.ext.jussieu.fr
http://www.ccr.jussieu.fr/~risc
----------------------------------------------------------------------------