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

Solution
¬ Nuageux → Appliquer la crème solaire

Ex2
Traduire ces propositions en français / anglais

Propositions Traduction LN

∀X. (coccinelle (X) → (mange (X, puceron))) All Ladybugs eat aphid

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

∃X. (coccinelle (X) → (¬mange (X, puceron))) There exists in the set of Ladybugs at least one
Ladybug that does not eat aphid.
∃X. (Ladybug (X) → (¬eat (X, aphid)))

∀X.(nuages (X, noire) → pluvieux (X, All the black clouds are rainy clouds
nuages))

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

∀X. ( rose(X) →∃Y. (avoir(X, Y) ⋀ épine(Y) ) “Every rose has a thorn”

For all X, if (X is a rose)
∀X. ( rose(X) →∃Y. (have(X, Y) ⋀ thorn(Y) )
then there exists Y where (X has Y) and (Y is a
thorn)

∃x∀y((C(x) ∧ E(y)) → ¬C(y, x)) = Il y a une chanson qu’aucun enfant ne chante

∃x¬∃y(C(x) ∧ E(y) ∧ C(y,x))
2019-2020

Ex 3
Qu’est ce que vous pouvez inférer par rapport à Slither?
∀X (couleuvre (X) → vert (X))
couleuvre (Slither)

…Slither est une couleuvre donc Slither est vert

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

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

personne (Voldemort)

Voldemort est une personne donc Voldemort respire

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

¬personne (Voldemort)
Voldemort n’est pas une personne donc on ne peut pas appliquer la règle au dessus.