TD INTELLIGENCE ARTIFICIELLE MIAGE M1

TD 3 : LOGIQUE DES PROPOSITIONS

TRADUCTION
Traduire les assertions suivantes par des formules bien formées :

1. Réginald ne réussira pas le cours

2. Chantal n'échouera pas au cours
3. Chantal et Paul réussiront le cours
4. Paul réussira le cours seulement s'il n'est pas fatigué
5. Paul réussira le cours à moins qu'il ne soit fatigué
6. Paul ne réussira pas le cours ou bien Chantal le réussira
7. Paul ne réussira pas le cours mais Chantal le réussira
8. Ni Paul, ni Chantal ne réussiront le cours
9. Paul et Chantal ne réussiront pas tous les deux le cours
10. Ou Paul et Chantal réussiront tous les deux le cours ou c'est Réginald
11. Paul réussira le cours, ainsi que Chantal ou Réginald
12. Si Paul réussit le cours alors Chantal aussi, et Paul le réussira
13. Si Paul réussit le cours, alors Chantal et Paul le réussiront tous les deux
14. Paul réussira le cours si Chantal le réussit; autrement ni l'un ni l'autre
ne le réussiront
15. Ou Chantal réussira le cours si et seulement si Réginald l'échoue,
ou Paul le réussira s'il étudie avec méthode et n'est pas fatigué

IV- Traduction et raisonnement

Trois personnes A, B et C sont accusées d'un crime déclarent:

- A: B est coupable et C est innocent
- B: Si A est coupable alors C l'est aussi
- C: Je suis innocent mais au moins l'une des deux autres est coupable.

Utiliser le formalisme du calcul des propositions pour traduire les questions suivantes
et donner la réponse:
a) Les trois déclarations sont-elles compatibles ?
b) L'un des témoignages peut-il se déduire d'un ou de plusieurs autres ? Lequel ?
c) Si tous sont innocents lequel (ou lesquels) a (ont) menti ?
d) Si tous disent la vérité qui est coupable ?
e) Si et seulement si seuls les innocents disent la vérité qui est coupable?

3
TD INTELLIGENCE ARTIFICIELLE MIAGE M1

TD 4 : LOGIQUE DES PREDICATS

TRADUCTION
Représentation des connaissances.
Traduire les assertions suivantes dans le symbolisme de la logique des prédicats:

1-

a) Quiconque sait lire est instruit

b) Les dauphins ne sont pas instruits
c) Certains dauphins sont intelligents
d) Certains êtres intelligents ne savent pas lire
e) Flipper est intelligent
f) Le frère de Flipper est intelligent

2-

a) Pierre se prend pour Napoléon

b) Seuls les fous se prennent pour Napoléon
c) Pierre est fou
d) Quelques fous sont courageux

3-

a) Tous les chiens à poils ras sont frileux

b) Un chien est frileux seulement s'il est à poils ras
c) Aucun chien à poils ras n'est frileux
d) Certains chiens à poils ras sont frileux

4-

a) Seuls les oiseaux ont des plumes

b) Aucun mammifère n'est un oiseau
c) Donc tout mammifère est dépourvu de plumes