Exercice: Soient Les Prémisses Suivantes

COPYRIGHT @ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS
Exercice @ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS

COPYRIGHT
Soient les prémisses suivantes:
COPYRIGHT @ KIRMENE
– les chevaux MARZOUKI HIGHERque
sont plus rapides INSTITUE OF INFORMATICS
les chiens
COPYRIGHT @ – ilKIRMENE
existe unMARZOUKI
lévrier plusHIGHER
rapide INSTITUE
que tout lapin
OF INFORMATICS
COPYRIGHT @ – les lévriersMARZOUKI
KIRMENE sont des chiens
HIGHER INSTITUE OF INFORMATICS
COPYRIGHT @ – Harry
KIRMENE est un cheval HIGHER INSTITUE OF INFORMATICS
MARZOUKI
– Ralph est un lapin
COPYRIGHT @ KIRMENE
Peut-on MARZOUKI HIGHER INSTITUE OF INFORMATICS
déduire:
COPYRIGHT @ – Harry
KIRMENE est plus rapide HIGHER
MARZOUKI que Ralph ?
INSTITUE OF INFORMATICS
05/10/2020 38
Solution @ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS
COPYRIGHT
COPYRIGHT @ KIRMENE
Traduisons d'abord MARZOUKI
les phrases dans un langageHIGHER
prédicatif.INSTITUE
Ce langage LOF
doitINFORMATICS
posséder les
symboles suivants:
• variables individuelles: x, y, z
• constantes individuelles:
COPYRIGHT @ KIRMENE harry, ralph
MARZOUKI HIGHER INSTITUE OF INFORMATICS
COPYRIGHT @ KIRMENE
• prédicats unaires: MARZOUKI
cheval, chien, HIGHER INSTITUE OF INFORMATICS
lévrier, lapin
• prédicats binaires: plus_rapide
Nous écrivons @
COPYRIGHT les KIRMENE
traductions suivantes:
MARZOUKI HIGHER INSTITUE OF INFORMATICS
COPYRIGHT @ KIRMENE
(∀x)(∀y) ((cheval(x) MARZOUKI
∧ chien(y)) HIGHER
⇒ plus_rapide(x, y)) INSTITUE OF INFORMATICS
(∃y) (levrier(y) ∧ ((∀z) lapin(z) ⇒ plus_rapide(y, z)))
COPYRIGHT @⇒KIRMENE
(∀y) (levrier(y) chien(y)) MARZOUKI HIGHER INSTITUE OF INFORMATICS
COPYRIGHT
cheval(harry) @ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS
lapin(ralph) @ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS
COPYRIGHT
05/10/2020 39
COPYRIGHT
Nous ajoutons également un axiome (formule close) concernant le prédicat
plus_rapide:
COPYRIGHT
(∀x)(∀y)(∀z)@ KIRMENE
plus_rapide(x, MARZOUKI HIGHER
y) ∧ plus_rapide(y, z) ⇒INSTITUE OF INFORMATICS
plus_rapide(x, z)
COPYRIGHT
En un sens, @nous
KIRMENE
venons deMARZOUKI HIGHER
définir une théorie de la INSTITUE OF INFORMATICS
rapidité, supposée consistante
COPYRIGHT
et nous nous@ restreignons
KIRMENEaux MARZOUKI HIGHER
modèles de cette théorieINSTITUE
! OF INFORMATICS
COPYRIGHT
Nous pouvons@ KIRMENE
alors faire laMARZOUKI HIGHER
déduction suivante: INSTITUE
(où nous désignonsOF INFORMATICS
respectivement
COPYRIGHT
par: GU, PU,@ KIRMENE
GE et PE les MARZOUKI HIGHER INSTITUE
règles de: généralisation universelle, OF INFORMATICS
particularisation
universelle, généralisation existentielle et particularisation existentielle,
COPYRIGHT @ KIRMENE
par e∧ la règle : A ∧ B |= AMARZOUKI
ou la règle A ∧ HIGHER
B |= B, INSTITUE OF INFORMATICS
COPYRIGHT
et par i∧ la@ KIRMENE
règle: A ∧ B).
{A, B} |=MARZOUKI HIGHER INSTITUE OF INFORMATICS
05/10/2020 40
COPYRIGHT
COPYRIGHT @ KIRMENE
1. (∀x)(∀y) ((cheval(x) MARZOUKI
∧ chien(y)) HIGHER
⇒ plus_rapide(x, y)) INSTITUE OF INFORMATICS
PREM
COPYRIGHT
2. (∃y) (levrier(y) ∧ ((∀z) lapin(z)
@ KIRMENE ⇒ plus_rapide(y,
MARZOUKI HIGHER z))) INSTITUE OF INFORMATICS
PREM
3. (∀y) (levrier(y) ⇒ chien(y)) PREM
4. cheval(harry) PREM
5. lapin(ralph)@ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS
COPYRIGHT PREM
6. levrier(n) ∧ ((∀z) lapin(z) ⇒ plus_rapide(n, z)) PE, 2
COPYRIGHT
7. levrier(n) @ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS e∧, 6
8. levrier(n) ⇒@
COPYRIGHT chien(n)
KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS PU, 3
COPYRIGHT
9. chien(n) @ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS 7,8
COPYRIGHT @⇒
10. (∀z) lapin(z) plus_rapide(n,
KIRMENE z)
MARZOUKI HIGHER INSTITUE OF INFORMATICS e∧, 6
05/10/2020 41
COPYRIGHT
11. lapin(ralph) ⇒ plus_rapide(n, ralph) PU, 10
12. plus_rapide(n,
COPYRIGHT ralph)
@ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS MP, 5,11
13. (cheval(harry)
COPYRIGHT ∧ chien(n)) ⇒MARZOUKI
@ KIRMENE plus_rapide(harry,
HIGHERn) INSTITUE OF INFORMATICS PU, 1
COPYRIGHT @ ∧KIRMENE
14. cheval(harry) chien(n) MARZOUKI HIGHER INSTITUE OF INFORMATICS i∧, 4,9
COPYRIGHT @ KIRMENE
15. plus_rapide(harry, n) MARZOUKI HIGHER INSTITUE OF INFORMATICS MP,13,14
COPYRIGHT
16. (∀x)(∀y)(∀z)@plus_rapide(x,
KIRMENE MARZOUKI HIGHER
y) ∧ plus_rapide(y, z) ⇒INSTITUE OFz)INFORMATICS
plus_rapide(x, Axiome
COPYRIGHT @ KIRMENE
17. plus_rapide(harry, MARZOUKI
n) ∧ plus_rapide(n, HIGHER
ralph) INSTITUE OF
⇒ plus_rapide(harry, INFORMATICS
ralph) PU, 16
18. plus_rapide(harry,
COPYRIGHT n) ∧ plus_rapide(n,
@ KIRMENE MARZOUKI ralph)
HIGHER INSTITUE OF INFORMATICS i∧, 12,15
19. plus_rapide(harry, ralph) MP, 17,18
05/10/2020 42
COPYRIGHT
COPYRIGHT @ KIRMENE considérons
MARZOUKI les formules
HIGHER suivantes:
HG : (" x ("y ("z ((P(x,y)  P(y,z)) G(x,z)))))
COPYRIGHT @ KIRMENE MARZOUKI HP : ("x ($HIGHER
y P(y,x))) INSTITUE OF INFORMATICS
COPYRIGHT @ KIRMENE MARZOUKI C : ("x ($ yHIGHER
G(y,x))) INSTITUE OF INFORMATICS
COPYRIGHT @ KIRMENEDMARZOUKI : ("x ("z (P(z,fHIGHER INSTITUE OF INFORMATICS
(x)) G(z,x)))
F : ((HG  HP) C) = (((("x ("y("z ((P(x,y)  P(y,z)) G(x,z)))))  ("x ($ y P(y,x))))  ("x ($
COPYRIGHT @ KIRMENE MARZOUKI y G(y,x))))
COPYRIGHT @ KIRMENE
Proposer MARZOUKI
des interprétations possibles,HIGHER
en langageINSTITUE OFformules.
naturel, de ces INFORMATICS
05/10/2020 43
Interprétation
COPYRIGHT 1
@ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS
COPYRIGHT
Les individus@sont
KIRMENE
les êtresMARZOUKI HIGHER
humains. La relation INSTITUE
P(x,y) signifieOF
queINFORMATICS
x est le père
COPYRIGHT @ KIRMENE
de y. La relation MARZOUKI
G(x,y) signifie que x est HIGHER
un grand-pèreINSTITUE
de y. LaOF INFORMATICS
fonction f(… )
COPYRIGHT
associe à un@ KIRMENE
individu MARZOUKI HIGHER INSTITUE OF INFORMATICS
sa mère.
HG signifie @
COPYRIGHT alors : pour tous
KIRMENE êtres humains
MARZOUKI x, y, z, siINSTITUE
HIGHER (x est le père
OF de y et y est
INFORMATICS
COPYRIGHT
le père de z)@ KIRMENE
alors (x est unMARZOUKI
grand-père deHIGHER
z). INSTITUE OF INFORMATICS
HP signifie que
COPYRIGHT « pour toutMARZOUKI
@ KIRMENE individu x il existe
HIGHER un individu
INSTITUE y telOF
queINFORMATICS
y est le père
de x » soit, plus
COPYRIGHT simplement,
@ KIRMENE « tout individu
MARZOUKI a un père
HIGHER ».
COPYRIGHT @ «KIRMENE
C signifie que MARZOUKI
pour tout individu HIGHER
x il existe INSTITUE
un individu OF yINFORMATICS
y tel que est le
grand-père de x » soit, plus simplement, « tout individu a un grand-père ».
COPYRIGHT @ si
D signifie que KIRMENE MARZOUKI
z est le père de la mère de HIGHER
x alors zINSTITUE
est un grand OFpère
INFORMATICS
de x.
Ces quatre formules
COPYRIGHT @ KIRMENE sont vraies dans cetteHIGHER
MARZOUKI interprétation
COPYRIGHT
L’implication@FKIRMENE
: ((HG  HP) MARZOUKI
 C) est doncHIGHER INSTITUE
vraie dans OF INFORMATICS
cette interprétation.
05/10/2020 44
Interprétation
COPYRIGHT 1
COPYRIGHT @ KIRMENE
On remarquera que les deuxMARZOUKI
formules HPHIGHER INSTITUE
et HG sont OF INFORMATICS
loin de modéliser toutes
COPYRIGHT @ des
les propriétés KIRMENE
relationsMARZOUKI
G et P. On n’aHIGHER INSTITUE
pas dit que « le père OF INFORMATICS
de chaque
COPYRIGHT
individu est@ KIRMENE
unique MARZOUKI
», ni qu’« un individuHIGHER INSTITUE
x peut-être OF INFORMATICS
le grand-père d’un autre
z sans qu’il@
COPYRIGHT existe un individu
KIRMENE dont x soitHIGHER
MARZOUKI le père etINSTITUE
qui soit le père de z» (le
OF INFORMATICS
COPYRIGHT
grand-père @ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS
maternel).
05/10/2020 45
Interprétation
COPYRIGHT 2
Les individus sont
COPYRIGHT trois points a,b,c.
@ KIRMENE On interprète
MARZOUKI les prédicats
HIGHER par les relations
COPYRIGHT
suivantes: @ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS
COPYRIGHT @vraie
La relation P est KIRMENE MARZOUKI
pour les couples HIGHER
(a,b) (b,c) et (c,a) etINSTITUE OF INFORMATICS
est fausse pour
les autres. En d’autres
COPYRIGHT @ KIRMENEtermes, P(a,b), P(b,c), P(c,a)
MARZOUKI sont vraies,
HIGHER et toutesOF
INSTITUE les INFORMATICS
COPYRIGHT @ KIRMENE MARZOUKI
autres P(a,a),P(a,c),P(a,b),P(b,b),P(c,b) HIGHER
,P(c,c) sont fausses.INSTITUE OF INFORMATICS
La relation G est vraie pour les couples (b,a) (c,b) et (a,c) et est fausse pour
les autres. En d’autres
COPYRIGHT @ KIRMENEtermes, G(b,a), G(c,b), G(a,c)
MARZOUKI HIGHER sont vraies,
INSTITUEet toutes
OFlesINFORMATICS
COPYRIGHT @ KIRMENE MARZOUKI
autres G(a,a),G(c,a),G(b,a),G(b,b),G(b,c), HIGHER
G(c,c) INSTITUE OF INFORMATICS
sont fausses.
La fonction f est la fonction définie par f(a) = a, f(b) = b et f(c) = a.
En représentant@a KIRMENE
COPYRIGHT b et c par les MARZOUKI
points suivants, HIGHER
P(x,y) signifie « x précède
COPYRIGHT
immédiatement@y KIRMENE MARZOUKI
» et G(x,y) signifie HIGHER INSTITUE
« x suit immédiatement y ». OF INFORMATICS
05/10/2020 46
Interprétation
COPYRIGHT 2
La formule HP
COPYRIGHT @signifie
KIRMENE que tout point a unHIGHER
MARZOUKI prédécesseur immédiat,
INSTITUE OFetINFORMATICS
elle est vraie.
La formule HG
COPYRIGHT @ signifie
KIRMENE que MARZOUKI
pour tous points x,y,z, siINSTITUE
HIGHER x précède immédiatement
OF INFORMATICS
y et si y précède immédiatement z, alors x suit immédiatement z. Elle est
également vraie.
Finalement la@formule
COPYRIGHT KIRMENEC signifie que tout point
MARZOUKI HIGHERa un INSTITUE
successeur immédiat; elle est
OF INFORMATICS
également vraie.
COPYRIGHT L’implication
@ KIRMENE ((HP  HG)HIGHER
MARZOUKI  C) estINSTITUE
donc vraie OF
dansINFORMATICS
cette
interprétation.@ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS
COPYRIGHT
La formule D signifie que pour tout z et pour tout x, si z précède immédiatement
f(x), alors z suit immédiatement x. Elle est donc fausse: c précède f(a) = a sans que
c suive immédiatement
COPYRIGHT @ KIRMENE a. MARZOUKI HIGHER INSTITUE OF INFORMATICS
05/10/2020 47
Interprétation
COPYRIGHT 3
Les individus sont quatre points a,b,c,d.
P(x,y) signifie@
COPYRIGHT queKIRMENE
x précède MARZOUKI
immédiatement y sur le graphe.
COPYRIGHT
G(x,y) signifie@ KIRMENE
que MARZOUKIy HIGHER
x suit immédiatement INSTITUE OF INFORMATICS
sur le graphe.
La formule HP@signifie
COPYRIGHT KIRMENEque tout point a un prédécesseur
MARZOUKI HIGHER INSTITUEimmédiat,OFet INFORMATICS
elle
COPYRIGHT @ KIRMENE
vraie. La formule HG signifieMARZOUKI
que pour tousHIGHER INSTITUE
points x,y,z, OF INFORMATICS
si x précède immédiatement
y et si y précède immédiatement z, alors x suit immédiatement z. Elle est
fausse. Finalement
COPYRIGHT la formuleMARZOUKI
@ KIRMENE C signifie queHIGHER
tout pointINSTITUE
a un successeur immédiat.
OF INFORMATICS
COPYRIGHT @ KIRMENE
Elle est également MARZOUKI
vraie. L’implication ((HPHIGHER
 HG) INSTITUE
C) est doncOF INFORMATICS
vraie dans
COPYRIGHT a
@ KIRMENE MARZOUKI b
COPYRIGHT @ KIRMENE MARZOUKI d HIGHER INSTITUE
c OF INFORMATICS
05/10/2020 48
Interprétation
COPYRIGHT 4
COPYRIGHT
Les individus@ KIRMENE
sont MARZOUKI
quatre points a,b,c,d. HIGHER INSTITUE OF INFORMATICS
P(x,y) signifie@que
COPYRIGHT x précèdeMARZOUKI
KIRMENE immédiatement y sur leINSTITUE
HIGHER graphe précédent.
OF INFORMATICS
G(x,y) signifie que pour aller de x à y on rencontre exactement un point z
COPYRIGHT
différent de x @ KIRMENE
et de y. MARZOUKI HIGHER INSTITUE OF INFORMATICS
La formule HP
COPYRIGHT @signifie
KIRMENE que tout point a un HIGHER
MARZOUKI prédécesseur immédiat,
INSTITUE OFetINFORMATICS
elle
COPYRIGHT @ KIRMENE
vraie. La formule HG signifie MARZOUKI
que pour tousHIGHER INSTITUE
points x,y,z, OF INFORMATICS
si x précède
COPYRIGHT
immédiatement @ yKIRMENE MARZOUKI
et si y précède HIGHER
immédiatement INSTITUE
z, alors OF INFORMATICS
x suit immédiatement z.
Elle est vraie. Finalement la formule C signifie que tout point a un successeur
immédiat. @ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS
COPYRIGHT
COPYRIGHT @ KIRMENE
Elle est également MARZOUKI
vraie. L’implication ((HPHIGHER
 HG)  INSTITUE
C) est doncOFvraie
INFORMATICS
dans
05/10/2020 49
Interprétation
COPYRIGHT 5
COPYRIGHT
sont les nombresMARZOUKI HIGHER INSTITUE OF INFORMATICS
entiers positifs.
P(x,y) signifie@que
COPYRIGHT x = y + 1.MARZOUKI
KIRMENE Par exemple P(5,4)
HIGHER est vraie,
INSTITUEmais P(4,5) est fausse.
OF INFORMATICS
COPYRIGHT
G(x,y) signifie@que
KIRMENE
x = y + 2.MARZOUKI
Par exemple HIGHER
P(6,4) est INSTITUE
vraie, mais OF INFORMATICS
P(4,6) est fausse.
La formule HP
COPYRIGHT @signifie
KIRMENE alorsMARZOUKI
que pour tout HIGHER
entier y, ilINSTITUE
existe un entier x tel que x =
OF INFORMATICS
y + 1. Elle est@
COPYRIGHT vraie.
KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS
COPYRIGHT
La formule HG @ signifie
KIRMENE MARZOUKI
que pour HIGHER
tous entiers x,y,z, siINSTITUE
x = y +1 etOF z =INFORMATICS
y +1
alors z = x + 2.
COPYRIGHT @Elle est vraie.MARZOUKI HIGHER INSTITUE OF INFORMATICS
KIRMENE
COPYRIGHT
Finalement la@ KIRMENE
formule MARZOUKI
C signifie HIGHER
que pour tout entierINSTITUE OFentier
x, il existe un INFORMATICS
z tel que
COPYRIGHT
z = x + 2. Elle@estKIRMENE
vraie. MARZOUKI HIGHER INSTITUE OF INFORMATICS
L’implication@
COPYRIGHT ((HP  HG) MARZOUKI
KIRMENE C) est donc vraie
HIGHERdans cette interprétation.
05/10/2020 50
Interprétation
COPYRIGHT 6
COPYRIGHT
sont les nombresMARZOUKI HIGHER INSTITUE OF INFORMATICS
entiers positifs.
P(x,y) signifie@que
COPYRIGHT y = x + 1.MARZOUKI
KIRMENE Par exemple P(4,5)
HIGHER est vraie,
INSTITUEmais P(5,4) est fausse.
OF INFORMATICS
G(x,y) signifie que y = x + 2. Par exemple P(4,6) est vraie, mais P(6,4) est fausse.
COPYRIGHT
La formule HP @signifie
KIRMENE alorsMARZOUKI
que pour tout HIGHER
entier y, ilINSTITUE OF INFORMATICS
existe un entier x tel que y =
COPYRIGHT
x + 1. Elle est@ KIRMENE
fausse: pour yMARZOUKI HIGHER
= 0 un tel entier INSTITUE
positif n’existe pas.OF INFORMATICS
La formule HG
COPYRIGHT @ signifie
KIRMENE que pour tous entiers
MARZOUKI x,y,z, siINSTITUE
HIGHER y = x+1 et OFz = INFORMATICS
y +1
COPYRIGHT @Elle
alors z = x + 2. KIRMENE
est vraie.MARZOUKI HIGHER INSTITUE OF INFORMATICS
Finalement la@
COPYRIGHT formule
KIRMENE C signifie que pour tout
MARZOUKI entierINSTITUE
HIGHER x, il existe un
OFentier z tel que
INFORMATICS
COPYRIGHT
x = z + 2. Elle@estKIRMENE
fausse: pourMARZOUKI HIGHER
x = 0 il n’existe pas deINSTITUE OF INFORMATICS
tel entier positif.
L’implication@
COPYRIGHT ((HP  HG) MARZOUKI
KIRMENE C) est donc vraie dans cette
HIGHER interprétation.
05/10/2020 51
COPYRIGHT
COPYRIGHT Voici des paquets de groupe
@ KIRMENE de phrasesHIGHER
MARZOUKI à traduire INSTITUE
en logique desOFprédicats.
INFORMATICS
COPYRIGHT
1- @ KIRMENE MARZOUKI HIGHER 3- INSTITUE OF INFORMATICS
a) Quiconque@
COPYRIGHT sait lire est instruit
KIRMENE MARZOUKI HIGHER a) Tous les chiens à poils
INSTITUE OFras sont frileux
INFORMATICS
b) Les dauphins
COPYRIGHT ne sont pas instruits
@ KIRMENE MARZOUKI HIGHER b) Un chien est frileuxOF
INSTITUE seulement s'il est à
INFORMATICS
c) Certains dauphins
COPYRIGHT @ KIRMENE sont intelligents
MARZOUKI HIGHER poils ras INSTITUE OF INFORMATICS
d) Certains êtres intelligents ne savent pas c) Aucun chien à poils ras n'est frileux
lire d) Certains chiens à poils ras sont frileux
e) Flipper est un dauphin
COPYRIGHT
f) Le frère de@ KIRMENE
Flipper MARZOUKI HIGHER INSTITUE OF INFORMATICS
est intelligent
COPYRIGHT
2- @ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS
COPYRIGHT @ KIRMENE
a) Pierre se prend pour Napoléon MARZOUKI HIGHER INSTITUE OF INFORMATICS
b) Seuls les fous
COPYRIGHT se prennent pour
@ KIRMENE Napoléon HIGHER INSTITUE OF INFORMATICS
MARZOUKI
c) Pierre est fou
d) Quelques fous
COPYRIGHT sont courageux
05/10/2020 52

Exercice: Soient Les Prémisses Suivantes

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Exercice: Soient Les Prémisses Suivantes

Uploaded by

Copyright:

Available Formats

COPYRIGHT @ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS

Exercice @ KIRMENE MARZOUKI HIGHER INSTITUE OF INFORMATICS

You might also like