Scribd
Importer
68 vues1 page

Programmation Logique et Fonctionnelle: TD 2

Transféré par

Ayoub Ben
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
68 vues1 page

Programmation Logique et Fonctionnelle: TD 2

Transféré par

Ayoub Ben
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

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.

Vous aimerez peut-être aussi