Université Abdelhamid Mehri Constantine-2 Année universitaire : 2020 / 2021

Faculté des NTIC

Département TLSI
Master 1 Génie Logiciel (GL)
Matière : Programmation Logique et Fonctionnelle (PLF)

TD N° 2

Exercice 1

Exprimez les quatre propositions suivantes dans la logique des prédicats.

(1) Les philosophes sont sérieux.
(2) quelques philosophes sont politiciens.
(3) Tout philosophe respecte Aristote.
(4) Certains philosophes respectent A. et S.

Exercice 2

1- Modéliser en logique propositionnel l'énoncé suivant : "il ne fait pas beau et je n'aime
pas avoir froid donc je n'irai pas à la plage".

2- Exprimer les connaissances suivantes sous forme de clauses de Horn

 X Y (Z P (f(X), Y, Z)  (U Q(X , U)  V R(Y, V)))

3- On se place dans un langage avec deux symboles de prédicat unaires P et Q. Soit la
formule :
 ∃ X, ∀Y, ∀Z, ((P(Y) => Q(Z)) => (P(X) => Q(X)))
Mettre la formule ¬F (non F) sous forme clausale.

Exercice 3

Soit l’énoncé suivant :

a. Les personnes qui ont la grippe ne doivent pas aller au travail.
b. Les personnes qui ont de la fièvre et qui toussent ont la grippe.
c. Ceux qui ont une température supérieure à 38 ont de la fièvre.
d. Ahmed tousse et a une température supérieure à 38.

On veut montrer que « Ahmed ne doit pas aller au travail ».

1- Représentez en logique des prédicats l’énoncé ci-dessus. Préciserez le vocabulaire

utilisé.
2- Mettre les formules sous forme de clauses de Horn.
3- Montrer que « Ahmed ne doit pas aller au travail » en utilisant la méthode de
résolution avec variables en précisant les différentes étapes.