Median Flashcards

(35 cards)

1
Q

4 approches de l’IA

A
  • Approche symbolique
  • Approche numérique
  • Approche hybride
  • Approche distribuée ou répartie
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Définition : Approche symbolique

A

Étude du processus de raisonnement par la manipulation d’expressions qui nécessite une représentation explicite des connaissances et des méthodes de résolution, effort programmation +++ (systèmes experts)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Définition : Approche numérique

A

Étude de la perception et du réflexe (immédiats/implicites) par la construction de modèles, exploite des processus d’apprentissage, permet de développer des systèmes auto-adaptatifs et évolutifs, peu de programmation explicite. (réseaux de neurones, algorithme génétiques).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Définition : Approche hybride

A

Développement parallèle d’IA symbolique et numérique complémentaires dans l’action.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Définition : Approche distribuée ou répartie

A

Formulée en termes de systèmes multi-agents (la pensée , un phénomène collectif)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Caractéristiques de Lisp

A
  • Programmation interactive
  • Programmation fonctionnelle
  • Programmation symbolique
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Définition : Programmation interactive

A

Fonctions et expressions pouvant être compilées et évaluées individuellement depuis un environnement interactif, programmation incrémentale.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Définition : Programmation fonctionnelle

A

Pas de structure fixe, un ensemble de fonctions qui s’appellent entre elles (favorise modularité et récursivité), l’exécution est souvent beaucoup plus compliquée que le programme.
Exemple : Lisp, Prolog, Scala.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Définition : Programmation symbolique

A

Gamme de données étendue par rapport aux langages classiques, en Lisp, symboles crées et détruits dynamiquement, les valeurs sont également des symboles.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Approches de programmation

A
  • Approche ascendante (bottom-up)

- Approche descendante (top-down)

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
11
Q

Approche ascendante (bottom-up)

A

Part de la structure de représentation des données pour construire des fonctions élémentaires avant de passer à des choses plus compliquées.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
12
Q

Approche descendante (top-down)

A

Part du problème à résoudre et détaille progressivement les fonctions à réaliser pour terminer ensuite par les structures de données.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
13
Q

Représentation des connaissances (+opérations usuelles ?)

A

Support préalable aux traitements ultérieurs que l’on souhaite effectuer sur ces connaissances.

  • Organiser, classer…
  •  Chercher, extraire…
  •  Déduire, établir des contradiction, réviser…
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
14
Q

Choix : Formalisme de représentation

A

Selon domaine d’application, opérations à mettre en œuvre et culture du modélisateur.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
15
Q

Formalismes de représentation

A
> Approches non logiques
 - Réseaux sémantiques
 - Frames
 - Graphes conceptuels
 - Ontologies
> Approches logiques
 - logiques classiques (propositionnelles, 1er ordre, 2e ordre)
 - logiques de description (famille des logiques modales)
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
16
Q

Caractéristiques approches non logiques

A

Sens intrinsèque attribué aux structures (utilisation de symboles), existence de procédures adaptées et efficaces, plus grande facilité de révision.

17
Q

Caractéristiques approches logiques

A

Sens externe, procédures génériques, possibilité de caractériser des propriétés du formalisme et des procédures.

18
Q

Définition d’un problème de recherche

A

Q un ensemble non vide d’états
 S ⊆ Q un ensemble non vide d’états initiaux
 G ⊆ Q un ensemble non vide d’états-solutions (pouvant être définis explicitement ou implicitement par un test solution)
 A un ensemble d’actions
 Successeurs:QxA->Q
 Fonction coût : Q x A x Q -> R+ (défini uniquement pour des états qui sont successeurs l’un de l’autre)

19
Q

Définition d’une recherche dans un espace d’états

A

Permet de recenser les états d’un problème afin de trouver une solution par l’application successive d’actions, en profondeur ou en largeur par exemple.

20
Q

Définition : réseau sémantique

A
  • Un mécanisme général d’association pour représenter le sens des mots.
  •  Un ensemble de nœuds et d’associations représentées par des liens.
  •  Un graphe orienté acyclique dont les noeuds et les arcs sont étiquetés.
  •  Un graphe d’héritage, structuré au moyen d’une relation de généralisation/spécialisation qui relie entre eux des objets « sémantiquement proches ».
21
Q

Limitations réseau sémantique

A
  • liens assertionnels : même relation (is-a) pour représenter deux notions sémantiquement très différentes
  • liens structurels : composition, domaine, possession
  • manques : négation, disjonction, quantification universelle
22
Q

Caractéristiques NETL

A
  • nœuds, arcs, mécanisme de marquage
  • tout nœud ou arc est accessible
  • propagation des marques en parallèle
23
Q

Limitation NETL

A

Nécessité d’une machine parallèle pour le mécanisme de propagation, Connection Machine élaborée par Hillis mais trop chère (et frame apparue).

24
Q

Mémoire dans Lisp

A

Divisée en zones :

  • code des primitives
  • structures définies par l’utilisateur
  • pile d’appels de fonction
  • symboles (table des symboles)
25
Table des symboles : caractéristiques
Essentiellement structure de pointeurs (économie de place, informations représentées une seule fois en mémoire) : valeur, print-name, function.
26
Définition : paire pointée
Cellule dont les deux éléments pointent sur des atomes, construction : (cons elem1 elem2)
27
Définition : liste d'association
Une a-liste est une liste de paires pointées : (setq a-list ‘((a . 1)(b . 2)(c . 3)))
28
Propriétés de symboles (ajout, lecture d'un ou de tous)
``` >(setf (get 'foo 'couleur) 'rouge) ROUGE >(get 'foo 'couleur) ROUGE >(symbol-plist 'foo) (couleur rouge) ```
29
Composants système expert
- Base de règles (mémoire à long terme, en vrac, peut contenir des faits permanents) - Base de faits (mémoire à court terme, ensemble de faits relatifs au problème) - Moteur d'inférences (confronte les deux bases, système déductif modifiant dynamiquement la base de faits) => Modularité de la connaissance (approche incrementale).
30
Ordre 0
Un fait est une proposition, donc à valeur booléenne. SI Lewis_né_à_Dallas ALORS Lewis_américain
31
Ordre 0+
- Un fait est un couple (attribut, valeur) : AV SI lieu_naissance = Dallas ALORS nationalité = Usa - Un fait est un triplet (objet-attribut-valeur) : OAV SI (Lewis lieu_naissance Dallas) ALORS (Lewis nationalité Usa)
32
Ordre 1
Basé sur le calcul des prédicats. Permet de manipuler des variables locales. Un fait est une expression symbolique sans variable. SI ($pers lieu_naissance Dallas) ALORS ($pers nationalité américaine)
33
Classification des systèmes experts
Diagnostic (MyCin), Interprétation (Dendral - analyse des spectrogrammes de masse), Monitoring (Navex - sur données de radar, vitesse de la navette spatiale), Prédiction (Plant - effets des vers noirs sur les coupes de maïs), Conception (R1/XCON - configuration d'ordinateur), Planification (Molgen - biologie moléculaire), Débogage & réparation (Delta Carts - locomotives Diesel), Autres (MacSyma MIT calcul symbolique, aide enseignement, synthèse de rapports...)
34
Cycle de boucle d'interaction Lisp
Read, Eval, Print, >
35
Cycle de base moteur d'inférence
1. Restriction (sélection d'ensemble de règles et de faits) 2. Filtrage (pattern-matching), constitution de l'ensemble des règles candidates 3. Décision ou Résolution de conflits - choix d'une règle selon une stratégie de contrôle 4. Déclenchement - base de faits modifiée