Scribd
Importer
73 vues2 pages

Examen de raisonnement et logique IA

Cet examen contient quatre exercices portant sur la logique propositionnelle et la représentation de connaissances. Le premier exercice demande de décrire un robot martien et son environnement. Le deuxième exercice contient des énoncés logiques à analyser. Le troisième exercice propose de traduire des affirmations sur les desserts commandés par des collègues. Le dernier exercice porte sur la représentation de formules logiques en base de connaissances hornienne.

Transféré par

siwar.jlassi
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
73 vues2 pages

Examen de raisonnement et logique IA

Cet examen contient quatre exercices portant sur la logique propositionnelle et la représentation de connaissances. Le premier exercice demande de décrire un robot martien et son environnement. Le deuxième exercice contient des énoncés logiques à analyser. Le troisième exercice propose de traduire des affirmations sur les desserts commandés par des collègues. Le dernier exercice porte sur la représentation de formules logiques en base de connaissances hornienne.

Transféré par

siwar.jlassi
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

EXAMEN

Semestre : 1 X 2 X
Session : Principale X Rattrapage X
Module: Knowledge and reasoning
Enseignant(s): UP-Maths
Classe(s): 3IA
Documents autorisés: OUI X NONX Nombre de pages: 2
Calculatrice autorisée: OUI X NON X Internet autorisée: OUI X NON X
Date: 25/05/2022 Heure: 14h30 Durée : 1h30min

Exercice 1 (4 points):
Soit l’agent intelligent: Robot martien
1) Donnez une description du PEAS (Performance measure, Environment, Actuators, Sensors) pour le robot
martien.
2) Donnez une description du type d’environnement.

Exercice 2: (6 points)
Soit l’énoncés suivant:

((p ⇒ q) ∧ (q ⇒ r)) ⇔ ((q ⇒ (p ∨ r)) ∧ (q ⇒ r))


1) Combien il y a-t-il de modèles pour cet énoncé?
2) Déterminer la table de vérité.
3) Déduire si cet énoncé est tautologie, consistante ou inconsistant.
4) Soit un vocabulaire ne comportant que 3 propositions A, B et C:

A ⇔ (B ∨ C)
a) Combien il y a-t-il de modèles pour cet énoncé?
b) Transformer cet énoncé en CNF.

Exercice 3 (4 points):
Trois collègues,Albert,Bernard et Charles déjeunent ensemble chaque jour ouvrable. Les affirmations suivantes
sont vraies:
• Si Albert commande un dessert,Bernard en commande un aussi.
• Chaque jour,soit Bernard,soit Charles,mais pas les deux,commandent un dessert.
• Albert ou Charles,ou les deux,commandent chaque jour un dessert.
• Si Charles commande un dessert,Albert fait de même.
Soit le vocabulaire suivant:
• A: Albert commande un dessert.
• B: Bernard commande un dessert.
• C: Charles commande un dessert.
1) Traduire en logique propositionnelle les affirmations précédentes.
2) Faire une table de vérité pour regarder tous les modèles possibles.
3) Que peut on en déduire sur qui commande un dessert?

1
Exercice 4( 6 points):
Soient les formules suivantes:
• H1 : C ⇒ M .
• H2 : L ∧ M ⇒ K.
• H3 : K ⇒ R.

• H4 : L ∧ R ⇒ C ∧ M .
• H5 : C.
• H6 : L ∧ ¬R.

1) Quelles sont les formules qui sont en clauses d’Horn parmi les formules ci-dessus ?
2) Construire la Base de connaissance en définissant les règles et les faits à partir des formules ci-dessus.

3) En utilisant le chainage avant prouver R.


4) En utilisant le chainage arrière prouver R.

Bon travail

Vous aimerez peut-être aussi