[PDF] Séance 7

View - Download Séance 7

Previous PDF

Next PDF

1

© Capus, Potvin et Tourigny, 20021

‹Implémentation des modes de

représentation des connaissances en Prolog

Conception et implémentation

IFT-17586 Intelligence artificielle I -E2003

Séance 7

© Capus, Potvin et Tourigny, 20022

Plan

‹Réseaux sémantiques

-Relation, Réseau auxiliaire, Falsum -Preuve directe, Preuve par réfutation

‹Logique des prédicats

±Forme clausale, Clause de Horn

‹Graphes conceptuels

±graphe/1, concept/5, relation/5

‹Exercices

2

© Capus, Potvin et Tourigny, 20023

Réseaux sémantiques

Concept 2

Concept 1

relationEn prolog :relation(concept1, concept2). Un réseau sémantique Þun ensemble de faits = la base de connaissances

© Capus, Potvin et Tourigny, 20024

Réseaux sémantiques

Concept 2

Concept 1

relation1

En prolog :

relation3(Concept1, Concept3) :- relation1(Concept1, Concept2), relation2(Concept2, Concept3). Un réseau auxiliaire Þune règle d"inférence Réseau auxiliaire

Concept 3relation2

relation3 3

© Capus, Potvin et Tourigny, 20025

Réseaux sémantiques

Concept 2

Concept 1

relation1

En prolog :

falsum:- relation1(Concept1, Concept2), relation2(Concept2, Concept3). Falsum= conclusion de la règle d"inférence Réseau auxiliaire avec falsum

Concept 3relation2

© Capus, Potvin et Tourigny, 20026

Réseaux sémantiques :

preuve directe

‹Construire le réseau sémantique

‹Représenter les réseaux auxiliaires

‹Poser la preuve sous forme de

question :

Prouver que C1 est en relation r avec C2

?-r(C1, C2).

La réponse donne la solution de la preuve

4

© Capus, Potvin et Tourigny, 20027

Réseaux sémantiques :

preuve par réfutation

‹Construire le réseau sémantique

‹Représenter les réseaux auxiliaires

‹Ajouter le fait à réfuter

‹Poser la question

?-falsum(...). Si la réponse est positive alors le fait ajouté doit être réfuté (carfalsumest apparu dans le réseau)

© Capus, Potvin et Tourigny, 20028

Logique des prédicats

‹Transformer les expressions de la

logique des prédicats en logique clausale

‹Implémenter les clauses de Horn

positivesen Prolog ±clause de Horn ®au plus 1 littéral positif

±clause de Horn positive ®exactement 1

littéral positif 5

© Capus, Potvin et Tourigny, 20029

Logique des prédicats

‹1 littéral positif et aucun négatif

Þun fait

Logique clausale:

parent(paul, pierre)

Prolog : parent(paul, pierre).

‹1 littéral positif et 1 ou plusieurs

négatifs Þune règle d"inférence

Logiqueclausale:

Prolog : q(X, Y) :-p(X, Y), r(Y, X).

© Capus, Potvin et Tourigny, 200210

Les graphes conceptuels

‹Utiliser les prédicats :

±graphe/1pour identifier le graphe

graphe(Identifiant_Graphe)

±concept/5

concept(Identifiant_Graphe, Identifiant_Concept,

Type_Concept, Référent_Concept,

Lien_CoRéférence)

±relation/5

relation(Identifiant_Graphe, Identifiant_Relation,

Type_Relation, Concepts_Entrants,

Concepts_Sortants)

6

© Capus, Potvin et Tourigny, 200211

Les graphes conceptuels

‹Les opérations de copie, jointure,

restriction et simplification doivent être implémentées

‹Autres développements en fonction des

besoins des applications

© Capus, Potvin et Tourigny, 200212

Exercice 1

‹Implémenter le réseau

sémantique (RS1) et les réseaux auxiliaires (A1, A2, A3 et A4) en

Prolog

‹Comment prouver :

±par preuve directe que :

/pRPDQJHGHODYLDQGH

±par réfutation qu" :

8QpTXLGpQ·HVWSDVXQIpOLQ

7 56

CARNIVORE

FÉLIN

LION

LÉO

AVANT

CHEVAL

ÉQUIDÉ

CÔTÉS

sorte_de sorte_de est_un alimentation sorte_de direction_yeux direction_yeux

CARNIVORE

Y X sorte_de alimentation Z alimentation$ Y X est_un alimentation Z alimentation Y X sorte_de direction_yeux Z direction_yeux$ avant X direction_yeux direction_yeux côtés 8

© Capus, Potvin et Tourigny, 200215

‹Transformer en logique des

prédicats, en logique clausale et en Prolog les énoncés suivants :

±Nathalie possède les clés du placard

±Si une personne souffre d"embonpoint ou

aime cuisiner, elle a des chances d"être gourmande

Exercice 2

© Capus, Potvin et Tourigny, 200216

‹Représenter en Prolog le graphe

conceptuel suivant :

Exercice 3

SITUATION :

HOMME : "Tom"RACONTER

HOMME : "Tom"VOYAGER

AGNTOBJ

AGNTquotesdbs_dbs29.pdfusesText_35

[PDF] EXERCISE 1 2 3 4 16 15 14 6 17 12 5 7 13 9 10 8 11

[PDF] EXERCICES SUR LES CHAPITRES 12 et 13 Cours 4 - Philippe

[PDF] le jeu rapide - SCLJ

[PDF] exercices machine courant continu - Fabrice Sincère - Pagesperso

[PDF] exercices moteur asynchrone - Fabrice Sincère - Pagesperso

[PDF] Exercices d 'application directe du cours - Univ-lille1

[PDF] Exercices MS Project - Chamilo

[PDF] musculation: exercices

[PDF] FICHE D EXERCICES : NATURES ET FONCTIONS

[PDF] Distinguer les noms, les adjectifs, les verbes

[PDF] EXERCICES : Chapitre « Tangente et nombre dérivé »

[PDF] Les nombres en anglais

[PDF] Chimie - Chimie organique - L 'UNF3S en 2015, c 'est

[PDF] i203-i210 - exercices sur les complexes - sbeccompanyfr

[PDF] Exercices de brevet de mathématiques corrigés, classés par notions