Scribd
Importer
31 vues1 page

Exercices de logique et raisonnement IA

Le document présente des exercices sur la logique formelle, incluant la traduction d'énoncés en formules logiques, la simplification de ces formules, et l'analyse de la validité d'un raisonnement. Il aborde également des systèmes de clauses pour déterminer leur consistance et leur décidabilité, ainsi que la mise sous forme conjonctive normale de certaines propositions. Enfin, il propose des exercices pratiques pour appliquer ces concepts logiques.

Transféré par

William Chimi
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
31 vues1 page

Exercices de logique et raisonnement IA

Le document présente des exercices sur la logique formelle, incluant la traduction d'énoncés en formules logiques, la simplification de ces formules, et l'analyse de la validité d'un raisonnement. Il aborde également des systèmes de clauses pour déterminer leur consistance et leur décidabilité, ainsi que la mise sous forme conjonctive normale de certaines propositions. Enfin, il propose des exercices pratiques pour appliquer ces concepts logiques.

Transféré par

William Chimi
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

TD2 – IA Master 1

Exercice 1
Traduire sous forme de formules les énoncés suivants, puis utiliser les lois
pour simplifier, et donner les énoncés plus simples correspondants :
1- Il n’est pas vrai que sa mère soit béninoise et son père camerounais.
2- Il n’est pas vrai qu’il étudie la physique mais pas les mathématiques.
3- Il n’est pas vrai que les ventes décroissent et que les prix augmentent.
4- Il n’est pas vrai qu’il ne fait pas froid ou qu’il pleut.
Exercice 2
Tester la validité du raisonnement suivant :
- Si je travaille, je ne manquerai pas mon examen d’Informatique
- Si je ne vais pas au cinéma, alors je travaille
- J’ai échoué à mon examen d’Informatique
- Par conséquent, j’ai été au cinéma
Exercice 3
On suppose, par définition, que la valeur de vérité d’une clause est V (Vrai). On
voudrait trouver les valeurs de vérité des propositions ou littéraux qui
composent les ensembles de clauses ou systèmes suivants. Dire alors si chacun
de ces systèmes est indécidable, inconsistant ou consistant.
NB : Utiliser l’algorithme de David et Putman
1. E1 ={ ¬𝑝 ∨ ¬𝑟 ∨ 𝑠, ¬𝑝 ∨ ¬𝑠, ¬𝑠 ∨ 𝑟, 𝑠}
2. E2 ={ 𝑝 ∨ 𝑞 ∨ 𝑟, ¬𝑟 ∨ ¬𝑞 ∨ ¬𝑠, ¬𝑝 ∨ ¬𝑞, ¬𝑠}
3. E3 ={ ¬𝑟 ∨ ¬𝑠 ∨ 𝑡, ¬𝑝 ∨ 𝑟, ¬𝑝 ∨ 𝑠, 𝑝}
4. E4={ ¬𝑝 ∨ 𝑞, ¬𝑞 ∨ 𝑟, 𝑝, ¬𝑟}
5. E5={ ¬𝑝 ∨ 𝑞, ¬𝑞, 𝑝 ∨ 𝑞 ∨ 𝑟}
Exercice 4
Mettre sous forme conjonctive normale (ou encore forme clausale) chacune
des formes suivantes et préciser s nature.
F1 = ((𝑝 ⊃ 𝑞) ∧ (𝑞 ⊃ 𝑟)) ⊨ (𝑝 ⊃ (𝑞 ⊃ 𝑟))
𝐹2 = ((P ∧ Q) ∨ r ) ≡ ((p ∧ (q ∨ 𝑟) )

Vous aimerez peut-être aussi