Scribd
Importer
527 vues2 pages

TP Prolog: Clauses et Requêtes IA

Le document décrit des exercices de logique propositionnelle et de programmation logique avec Prolog. L'exercice 1 demande de traduire des propositions en clauses Prolog, l'exercice 2 construit une base de données de personnes avec des requêtes, et l'exercice 3 modélise un graphe orienté.

Transféré par

Anouar Kacem
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
527 vues2 pages

TP Prolog: Clauses et Requêtes IA

Le document décrit des exercices de logique propositionnelle et de programmation logique avec Prolog. L'exercice 1 demande de traduire des propositions en clauses Prolog, l'exercice 2 construit une base de données de personnes avec des requêtes, et l'exercice 3 modélise un graphe orienté.

Transféré par

Anouar Kacem
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

Institut Suprieur dInformatique

Anne universitaire 2011 / 2012

Module : Intelligence Artificielle


TP N2

Exercice N1 :
Traduire par des clauses prolog les propositions suivantes :
1)
2)
3)
4)
5)

a => b
a b => c
a b => c
a(bc)=>d
a b=>d

Exercice N2 :
Nous voulons construire une base de donnes pour les personnes dune population donne.
personne(X, S, A, V) dnot X est une personne de sexe S age de A ans et habite la ville V.

Les faits dfinissant le prdicat personne sont :


Clauses :
personne(karima, f, 85, tunis). personne(achref, m, 63, nabeul). personne(dalia, f, 60,
nabeul). personne(ramzi, m, 35, tunis). personne(biko, m, 65, tunis). personne(fadi, M, 27,
sousse). personne(ranya, f, 27, sousse). personne(houda, f, 39, nabeul). personne(achref, m,
40, nabeul). personne(jawher, m, 17, sousse). personne(leila, f, 09, sousse). personne(linda,
f, 19, tunis). personne(med, m, 01, tunis).

1)
-

Donner les clauses dfinissant les prdicats suivants :


individu(X) dnote X est un individu.
masculin(X) dnote X est de sexe masculin.
fminin(X) dnote X est de sexe fminin.
est_age_de(X,Y) dsigne X est ag de Y ans. :-personne(X,Y)
habite_a(X,Y) dsigne X habite dans la ville Y.
majeur(X) dsigne X est majeur.
mineur(X) dsigne X est mineur.
meme_age(X,Y) dsigne X et Y ont le mme ge.
habite_la_meme_ville(X,Y) dsigne que X et Y habitent la mme ville.
Epoux_possibles(X,Y) dsigne X est un poux possible de Y. Ce prdicat est dfinie
par : X est de sexe masculin, Y est de sexe fminin, X et Y sont majeurs et que lcart
dge est infrieur 10 ans.
2) Formaliser les requtes suivantes :

Qui habite la mme ville que dalia ?


Qui habite Tunis ?
Quelles sont les personnes de la base de donnes mineures qui habitent Tunis ?
Quels sont les poux possibles de G ?
Quels sont les poux possibles (X,Y) avec X habitant Tunis ?
Complter les donnes de la base de manire faire apparaitre la profession de
chaque personnage et son salaire mensuel.
3) Crer des prdicats exprimant :
- X la mme profession que Y.
- X gagne plus que Y.
- X et Y ont des salaires du mme ordre (ne diffrant pas lun de lautre de plus de 5%).

Exercice 3 : modlisation dun graphe orient

Dfinir le prdicat connexe (source, destination).

Vous aimerez peut-être aussi