• Aucun résultat trouvé

Intelligence Artificielle – TD 8 INFÉRENCE EN LOGIQUE DU PREMIER ORDRE

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Intelligence Artificielle – TD 8 INFÉRENCE EN LOGIQUE DU PREMIER ORDRE"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Intelligence Artificielle – TD 8

I

NFÉRENCE EN LOGIQUE DU PREMIER ORDRE

Exercice 1 - Pour chacune de ces paires d’énoncés, donnez s’il existe l’unificateur le plus général.

1. P

(

A,B,B

)

,P

(

x,y,z

)

2. Q

(

y,G

(

A,B

))

,Q

(

G

(

x,x

)

,y

)

3. PlusVieux

(

Pere

(

y

)

,y

)

,PlusVieux

(

Pere

(

x

)

,Jean

)

4. Connait

(

Pere

(

y

)

,y

)

,Connait

(

x,x

)

Exercice 2 - Soit la base de connaissances suivante 1. ∀x P

(

x

)

⇒ ∃y Q

(

y,x

)

2. ∀x,y P

(

x

)

∧Q

(

y,x

)

⇒R

(

y

)

3. ∀x,y R

(

y

)

∧S

(

y

)

∧P

(

x

)

⇒ ¬Q

(

y,x

)

4. ∀x S

(

x

)

⇒R

(

x

)

5. ∃x P

(

x

)

Prouvez par résolution que∃x R

(

x

)

∧ ¬S

(

x

)

Exercice 3 - Peut-on déduire que “Harry est plus rapide que Ralph” à partir des faits suivants : 1. Les chevaux sont plus rapides que les chiens

2. Il existe un levrier plus rapide que tous les lapins 3. Les levriers sont des chiens

4. Harry est un cheval 5. Ralph est un lapin

Exercice 4 - Peut-on déduire que “Certains êtres intelligents ne savent pas lire” à partir des faits suivants : 1. Quiconque sait lire est instruit

2. Les dauphins ne sont pas instruits 3. Certains dauphins sont intelligents

1

Références

Télécharger maintenant ( PDF - 1 Page - 21.62 KB )

Documents relatifs

III- Logique du premier ordre

Un ensemble de formules T est coh´ erent si et seulement si on ne peut pas prouver ⊥ ` a partir de cet ensemble i.e...

Logique du premier ordre

En traduisant ce probl`eme dans la logique du premier ordre, montrer `a l’aide de la d´eduction naturelle que Pierre r´eussira sa carri`ere.

Intelligence Artificielle

AlphaFold, l’intelligence artificielle révolutionnaire pour la recherche en protéomique. • (Jeux) jeux de plateau et jeux

Intelligence Artificielle – TD 6 AGENTS LOGIQUES

J’ai les yeux bleus si et seulement si je porte le gène ABleu et le gène BBleu.. Je porte le gène ABleu si et seulement si ma mère le porte, et le gène BBleu si et seulement si

Intelligence Artificielle – TD 7 Logique du premier ordre

Les politiciens peuvent tromper certaines personnes tout le temps et peuvent tromper tout le monde de temps en temps, mais ils ne peuvent pas tromper tout le monde tout

Intelligence Artificielle – TD 9 INTRODUCTION À LA PLANIFICATION

A l’état final, on voudrait avoir peint et avoir de la lumière dans cette pièce.. Donner en STRIPS l’état initial et l’état final de

Logique du Premier Ordre Sémantique

• si ϕϕϕϕ contient n quantificateurs existentiels, n nouveaux symboles de fonctions (et/ou constantes) apparaissent dans ϕϕϕϕ ' (il s'agit des fonctions/constantes

Logique du Premier Ordre Sémantique

on remplace chaque variable quantifiée existentiellement par une fonction des variables quantifiées universellement avant et on supprime les quantificateurs existentiels. On convient