Scribd Logo
Importer

Bienvenue sur Scribd !

  • 352 vues

    TD2 PDF

    Transféré par

    Neji AHMED

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd

    TD2 PDF

    Transféré par

    Neji AHMED
    352 vues2 pages

    Titre original

    TD2.pdf

    Copyright

    © © All Rights Reserved

    Formats disponibles

    PDF, TXT ou lisez en ligne sur Scribd

    Avez-vous trouvé ce document utile ?

    Ce contenu est-il inapproprié ?

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    352 vues2 pages

    TD2 PDF

    Transféré par

    Neji AHMED

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    sur 2

    Institut Supérieur d’Informatique

    Département Génie Logiciel et


    Systèmes d'Informations
    Marzouki Kirmene Module : Intelligence Artificielle 2020/2021
    TD série 2

    Objectifs : Formalisation d’énoncés naturels dans le langage de la logique des propositions et


    évaluation.

    Exercice 1: Evaluation de propositions complexes.


    A l’aide de la méthode des tables de vérité, dites si les formules suivantes sont vraies ou fausses pour
    l’interprétation selon laquelle p est vrai, q est faux et r est vrai.
    (1) (p  q) → r
    (2) (p  r)  q
    (3) (p → q) → (r → q)
    (4) (r  (p  q)) → q
    (5) (p → (q  r))  (p → (q  r))
    (6) ((q → (p  q))  q) → r

    Exercice 2: Formalisation et évaluation de propositions.


    Supposons que les chiens aboient et que la caravane passe. Traduisez les propositions suivantes en
    langage propositionnel, en conservant le maximum de structure possible, et donnez la valeur de vérité
    de ces propositions, en vous aidant des tables de vérité des connecteurs. Vous utiliserez le dictionnaire
    suivant :
    p : les chiens aboient.
    q : la caravane passe.
    (1) Si la caravane passe, alors les chiens aboient.
    (2) Les chiens n’aboient pas.
    (3) La caravane ne passe pas ou les chiens aboient.
    (4) Les chiens n’aboient pas et la caravane ne passe pas.

    Exercice 3: Recherche d’information

    Dites combien de propositions exprime chacune des expressions suivantes, et s’il y en a plusieurs
    formulez-les.
    (1) Beaucoup plus de gens parlent anglais que moi.
    (2) Il pleut.
    (3) Que l’argent pousse dans les arbres.
    (4) Si tu veux grandir, mange ta soupe.
    (5) Paul a loué sa maison.
    (6) Si Pierre a fait son travail, il peut se reposer, mais s’il ne l’a pas fait, il ne peut pas.
    (7) La plupart des grosses fortunes sont entre les mains d’une seule personne.
    (8) Tous les étudiants parlent deux langues.
    Institut Supérieur d’Informatique
    Département Génie Logiciel et
    Systèmes d'Informations
    Marzouki Kirmene Module : Intelligence Artificielle 2020/2021
    TD série 2

    Exercice 4

    Formaliser les énoncés naturels suivants dans le langage de la logique des propositions.

    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é

    Vous aimerez peut-être aussi