2019-2020

TD 3
Représentation de connaissances
M1
Ex1

Utilisez les deux propositions suivantes pour inférer une troisième par rapport à un jour nuageux.
Nuageux ∨ Ensoleillé
¬ Ensoleillé → Ne pas appliquer la crème solaire

Ex2
Traduire ces propositions en français / anglais et vis versa

Propositions Traduction LN

∀X. (coccinelle (X) → (mange (X, puceron)))

∀X. (Ladybug (X) → (eat (X, aphid)))

∃X. (coccinelle (X) → (¬mange (X, puceron)))

∃X. (Ladybug (X) → (¬eat (X, aphid)))

∀X.(nuages (X, noire) → pluvieux (X,

nuages))

∀X. (clouds (X, black) → rainy (X, clouds))

∀X. ( rose(X) →∃Y. (avoir(X, Y) ⋀ épine(Y) )

∀X. ( rose(X) →∃Y. (have(X, Y) ⋀ thorn(Y) )

Il y a une chanson qu’aucun enfant ne chante

Tout H est M
2019-2020
Un H est M

Un H n’est pas M

Aucun H n’est M

Ex 3

Qu’est ce que vous pouvez inférer par rapport à Slither?

∀X (couleuvre (X) → vert (X))

couleuvre (Slither)
…………………………………………………………..
………………………………………………………...

Qu’est ce que vous pouvez inférer par rapport à Voldemort?

1. ∀X. (personne (X) → respire (X))

personne (Voldemort)
…………………………………………………………..
………………………………………………………...
2. ∀X. (personne (X) → respire (X))
¬personne (Voldemort)
……………………………………………………...
……………………………………………………...