63
Un peu de logique pour raisonner L3 informatique et MIAGE Univ. Lille Mikaël Salson [email protected]

L3 informatique et MIAGE Univ. Lille

  • Upload
    others

  • View
    2

  • Download
    0

Embed Size (px)

Citation preview

Page 1: L3 informatique et MIAGE Univ. Lille

Un peu de logique pour raisonnerL3 informatique et MIAGE

Univ. Lille

Mikaël [email protected]

Page 2: L3 informatique et MIAGE Univ. Lille

Pourquoi raisonner ?

On cherche à tirer des conclusions à par-tir des informations dont on dispose

Dwyer, 2017

Page 3: L3 informatique et MIAGE Univ. Lille

Pourquoi raisonner ?

On cherche à tirer des conclusions à par-tir des informations dont on dispose

Dwyer, 2017

Processus d’inférence

Page 4: L3 informatique et MIAGE Univ. Lille

Quelques modes d’inférence logique

Déduction Induction Abduction

Page 5: L3 informatique et MIAGE Univ. Lille

Quelques modes d’inférence logique

Déduction Induction Abduction

Mais on ne raisonne pas toujours selon la logique

Page 6: L3 informatique et MIAGE Univ. Lille

Raisonnement par déduction

On part d’une règle générale et d’une observa-tion/cause pour en déduire une conséquence

David, 1999

Page 7: L3 informatique et MIAGE Univ. Lille

Raisonnement par déduction

On part d’une règle générale et d’une observa-tion/cause pour en déduire une conséquence

David, 1999

Règle : A→ BObservation : A

Conséquence : B

Page 8: L3 informatique et MIAGE Univ. Lille

Raisonnement par déduction

On part d’une règle générale et d’une observa-tion/cause pour en déduire une conséquence

David, 1999

Règle : A→ BObservation : A

Conséquence : B

Page 9: L3 informatique et MIAGE Univ. Lille

Raisonnement par déduction

On part d’une règle générale et d’une observa-tion/cause pour en déduire une conséquence

David, 1999

Règle : A→ BObservation : A

Conséquence : B

Si la règle et l’observation sont vraies, laconséquence est nécessairement vraie

Page 10: L3 informatique et MIAGE Univ. Lille

Exemple de raisonnement par déduction

Les nombres pairs ne sont pas premiers. 6 est pair, il n’est donc pas premier

Page 11: L3 informatique et MIAGE Univ. Lille

Exemple de raisonnement par déduction

L’impact de l’humanité sur la biodiversité crée des zoonoses.Si nos impacts se poursuivent, d’autres zoonoses auront lieu.

Rapport de l’IPBES sur les pandémies

Page 12: L3 informatique et MIAGE Univ. Lille

Exemple de raisonnement par déduction

L’impact de l’humanité sur la biodiversité crée des zoonoses.Certaines zoonoses deviennent des pandémies.

Si nos impacts se poursuivent, le risque de nouvelles pandémies s’accroît.Rapport de l’IPBES sur les pandémies

Page 13: L3 informatique et MIAGE Univ. Lille

Des raisonnements qui ressemblent à des déductions. . .

a = b

ab = b2

ab− a2 = b2 − a2

a(b− a) = (b + a)(b− a)

a = b + a

a = a + a

a = 2a

1 = 2

Page 14: L3 informatique et MIAGE Univ. Lille

Des raisonnements qui ressemblent à des déductions. . .

a = b

ab = b2

ab− a2 = b2 − a2

a(b− a) = (b + a)(b− a)

a = b + a

a = a + a

a = 2a

1 = 2

Page 15: L3 informatique et MIAGE Univ. Lille

Des raisonnements qui ressemblent à des déductions. . .

a = b

ab = b2

ab− a2 = b2 − a2

a(b− a) = (b + a)(b− a)

a = b + a

a = a + a

a = 2a

1 = 2

Page 16: L3 informatique et MIAGE Univ. Lille

Des raisonnements qui ressemblent à des déductions. . .

a = b

ab = b2

ab− a2 = b2 − a2

a(b− a) = (b + a)(b− a)

a = b + a

a = a + a

a = 2a

1 = 2

Page 17: L3 informatique et MIAGE Univ. Lille

Des raisonnements qui ressemblent à des déductions. . .

a = b

ab = b2

ab− a2 = b2 − a2

a(b− a) = (b + a)(b− a)

a = b + a

a = a + a

a = 2a

1 = 2

Page 18: L3 informatique et MIAGE Univ. Lille

Des raisonnements qui ressemblent à des déductions. . .

a = b

ab = b2

ab− a2 = b2 − a2

a(b− a) = (b + a)(b− a)

a = b + a

a = a + a

a = 2a

1 = 2

Page 19: L3 informatique et MIAGE Univ. Lille

Des raisonnements qui ressemblent à des déductions. . .

a = b

ab = b2

ab− a2 = b2 − a2

a(b− a) = (b + a)(b− a)

a = b + a

a = a + a

a = 2a

1 = 2

Page 20: L3 informatique et MIAGE Univ. Lille

Des raisonnements qui ressemblent à des déductions. . .

a = b

ab = b2

ab− a2 = b2 − a2

a(b− a) = (b + a)(b− a)

a = b + a

a = a + a

a = 2a

1 = 2

Page 21: L3 informatique et MIAGE Univ. Lille

Syllogismes

Une déduction qui s’appuie sur deux pré-misses (l’une dite majeure et l’autre mineure)

Page 22: L3 informatique et MIAGE Univ. Lille

Syllogismes

Une déduction qui s’appuie sur deux pré-misses (l’une dite majeure et l’autre mineure)

Tous les humains sont mortels prémisse majeureSocrate est un humain prémisse mineure

Socrate est mortel conclusion

Page 23: L3 informatique et MIAGE Univ. Lille

Syllogismes

Une déduction qui s’appuie sur deux pré-misses (l’une dite majeure et l’autre mineure)

Toutes les molécules sont composées d’atomes majeureL’eau est une molécule mineure

L’eau est composée d’atomes conclusion

Page 24: L3 informatique et MIAGE Univ. Lille

Syllogismes

Une déduction qui s’appuie sur deux pré-misses (l’une dite majeure et l’autre mineure)

Tous les humains sont mortels majeureCertains êtres vivants sont des humains mineure

Certains êtres vivants sont mortels conclusionAttention à ne pas conclure plus que ce qu’on peut conclure

Page 25: L3 informatique et MIAGE Univ. Lille

Syllogismes

Une déduction qui s’appuie sur deux pré-misses (l’une dite majeure et l’autre mineure)

Tous les humains sont mortels majeureCertains êtres vivants sont des humains mineure

Certains êtres vivants sont mortels conclusionAttention à ne pas conclure plus que ce qu’on peut conclure

Page 26: L3 informatique et MIAGE Univ. Lille

Syllogismes

Une déduction qui s’appuie sur deux pré-misses (l’une dite majeure et l’autre mineure)

Toutes les abeilles volent majeureCertaines roches sont des abeilles mineure

Certaines roches volent conclusionSi les prémisses sont fausses on arrive à une conclusionfausse, même si le raisonnement est parfaitement valide

Page 27: L3 informatique et MIAGE Univ. Lille

Syllogismes

Une déduction qui s’appuie sur deux pré-misses (l’une dite majeure et l’autre mineure)

Toutes les abeilles volent majeureCertaines roches sont des abeilles mineure

Certaines roches volent conclusionSi les prémisses sont fausses on arrive à une conclusionfausse, même si le raisonnement est parfaitement valide

Page 28: L3 informatique et MIAGE Univ. Lille

Attention aux syllogismes qui n’en sont pas

Tous les chats mangent de la viandeMinou mange de la viande

Minou est un chatCollege of San Mateo

Page 29: L3 informatique et MIAGE Univ. Lille

Attention aux syllogismes qui n’en sont pas

Tous les chats mangent de la viandeMinou mange de la viande

Minou est un chatCollege of San Mateo

C’est une erreur de raisonnement !Celle de l’affirmation du conséquent

Règle ChatP

Mange de la viande

Q

Le fait d’observer Q ne dit rien sur P

Page 30: L3 informatique et MIAGE Univ. Lille

Test de sélection de Wason

D F 3 6Les cartes ont une lettre sur une face, un chiffre sur l’autre face

Quelles sont les deux cartes à retourner pour vérifier la règle« Si on a un D sur une face, alors on doit avoir un 3 sur l’autre face » ?

A. : D et F ; B. D et 3 ; C. D et 6 ; D. F et 3 ; E. F et 6.

Page 31: L3 informatique et MIAGE Univ. Lille

Test de sélection de Wason

D F 3 6Les cartes ont une lettre sur une face, un chiffre sur l’autre face

Quelles sont les deux cartes à retourner pour vérifier la règle« Si on a un D sur une face, alors on doit avoir un 3 sur l’autre face » ?

A. : D et F ; B. D et 3 ; C. D et 6 ; D. F et 3 ; E. F et 6.

Page 32: L3 informatique et MIAGE Univ. Lille

Attention aux syllogismes qui n’en sont pas

Lorsque je suis puni c’est que j’ai fait une bêtiseJe n’ai pas été puni

C’est donc que je n’ai pas fait de bêtiseCollege of San Mateo

Page 33: L3 informatique et MIAGE Univ. Lille

Attention aux syllogismes qui n’en sont pas

Lorsque je suis puni c’est que j’ai fait une bêtiseJe n’ai pas été puni

C’est donc que je n’ai pas fait de bêtiseCollege of San Mateo

C’est une erreur de raisonnement !Celle de la négation de l’antécédent

Règle PunitionP

Fait une bêtiseQ

Le fait d’observer l’opposé de P ne dit rien sur Q

En revanche si on observe l’inverse de Q, l’inverse de P est vrai

Page 34: L3 informatique et MIAGE Univ. Lille

Raisonnement par induction

Page 35: L3 informatique et MIAGE Univ. Lille

Induction : inférer une règle générale

À partir d’une observation et de sa consé-quence, en inférer une règle générale

David, 1999

Page 36: L3 informatique et MIAGE Univ. Lille

Induction : inférer une règle générale

À partir d’une observation et de sa consé-quence, en inférer une règle générale

David, 1999

Observation : AConséquence : B

Règle : A→ B

Page 37: L3 informatique et MIAGE Univ. Lille

Induction : inférer une règle générale

À partir d’une observation et de sa consé-quence, en inférer une règle générale

David, 1999

Observation : AConséquence : B

Règle : A→ B

De nombreuses fois

Page 38: L3 informatique et MIAGE Univ. Lille

Induction : inférer une règle générale

À partir d’une observation et de sa consé-quence, en inférer une règle générale

David, 1999

Observation : AConséquence : B

Règle : A→ B

De nombreuses fois

L’induction ne s’appuie que sur des données statistiquesIl n’y a pas de garantie que la règle inférée soit correcte !

Page 39: L3 informatique et MIAGE Univ. Lille

Exemple de raisonnement par induction

Toutes les vaches que j’ai vues ne volaient pas. Donc les vaches ne volent pas.

Page 40: L3 informatique et MIAGE Univ. Lille

Exemple de raisonnement par induction

Ce témoin a toujours été fiable, j’ai donc confiance dans son témoignage

Page 41: L3 informatique et MIAGE Univ. Lille

Exemple de raisonnement par induction

Cela fait 10 ans que je vis ici et il n’a jamais neigé.Il est très rare qu’il neige ici.

Page 42: L3 informatique et MIAGE Univ. Lille

Ne pas faire des inductions trop rapides

3 est impair et premier5 est impair et premier7 est impair et premier

donc 9 est impair et premier

Attention aux généralisations hâtives !

Page 43: L3 informatique et MIAGE Univ. Lille

Ne pas faire des inductions trop rapides

Les belges ne savent pas jouer aux échecs :j’avais un colloc’ belge et il était trop nul

Attention aux généralisations hâtives !

Page 44: L3 informatique et MIAGE Univ. Lille

Ne pas faire des inductions trop rapides

On n’observe pas de cas dans les urgences,l’épidémie n’est donc pas de retour

Attention aux généralisations hâtives !

Page 45: L3 informatique et MIAGE Univ. Lille

La déduction et l’induction sont utiles mais. . .

pas toujours utilisées dans la vie réelle,ne produisent pas de nouvelles connaissances

Page 46: L3 informatique et MIAGE Univ. Lille

Abduction : inférence vers l’explication la plus probable

À partir d’une conséquence et d’une règle gé-nérale en inférer la cause la plus probable

David, 1999

Page 47: L3 informatique et MIAGE Univ. Lille

Abduction : inférence vers l’explication la plus probable

À partir d’une conséquence et d’une règle gé-nérale en inférer la cause la plus probable

David, 1999

L’abduction ne garantit pas non plus de trouver la cause réelle,mais permet de créer de nouvelles hypothèses

Page 48: L3 informatique et MIAGE Univ. Lille

Exemples de raisonnement par abduction

— Patient·e: J’ai de la fièvre, mal à la tête et j’ai perdu l’odorat et le goût— Médecin : Je vous prescris un test pour le Covid-19

Page 49: L3 informatique et MIAGE Univ. Lille

Exemples de raisonnement par abduction

Au XIXe on se rend compte que l’orbite d’Uranus ne suit pas l’orbite prédite

On en arrive à l’hypothèse qu’il existe une huitième planètenon encore découverte (Neptune)

Douven, 2017

Page 50: L3 informatique et MIAGE Univ. Lille

Rasoir d’Ockham : privilégier l’explication la moins coûteuse

© shootthesundown.blogspot.fr

Un phénomène

Deux explications(au moins)

1. Lévitation 2. Trucage

Page 51: L3 informatique et MIAGE Univ. Lille

Rasoir d’Ockham : l’économie des hypothèses

Favoriser l’hypothèse qui ale moins recours à des théo-ries ne faisant pas consensus

Favoriser l’hypothèse la plus probable

Exemple : ne pas attribuer à la malhonnêteté ce que les biaiscognitifs peuvent expliquer (attention au biais d’intentionnalité !)

Page 52: L3 informatique et MIAGE Univ. Lille

© shootthesundown.blogspot.fr

© shootthesundown.blogspot.fr© shootthesundown.blogspot.fr

© shootthesundown.blogspot.fr© shootthesundown.blogspot.fr© shootthesundown.blogspot.fr

Page 53: L3 informatique et MIAGE Univ. Lille

Déduction, induction, abduction

Déductionrègle + observation/cause→ conséquence

Inductionobservation/cause + conséquence→ règle générale

Abductionrègle générale + conséquence→ observation/cause

Page 54: L3 informatique et MIAGE Univ. Lille

Déduction, induction, abduction

Déductionrègle + observation/cause→ conséquence

Inductionobservation/cause + conséquence→ règle générale

Abductionrègle générale + conséquence→ observation/cause

Règle : le sac contient des jetons rougesObservation : le jeton vient du sacConséquence : le jeton est rouge

Rapanta, 2018

Page 55: L3 informatique et MIAGE Univ. Lille

Estimation des probabilités

Une femme de 33 ans a suivi un cursus universitaire etest très engagée politiquement. Est-il plus probable :

A qu’elle soit banquière ?

B qu’elle soit banquière et active dans le mouvementféministe ?

Kahneman, 2016

Pour une personne vivant en France quelleest sa probabilité de décéder foudroyée ?

A 10 sur 1 million

B 1 sur 1 million

C 0,1 sur 1 million

D 0,01 sur 1 million

E 0,001 sur 1 million

Aux alentours de 0,2 sur 1 million

Page 56: L3 informatique et MIAGE Univ. Lille

Estimation des probabilités

Une femme de 33 ans a suivi un cursus universitaire etest très engagée politiquement. Est-il plus probable :

A qu’elle soit banquière ?

B qu’elle soit banquière et active dans le mouvementféministe ?

Kahneman, 2016

Mauvaise estimation de probabilité avec des conjonctions

Pour une personne vivant en France quelleest sa probabilité de décéder foudroyée ?

A 10 sur 1 million

B 1 sur 1 million

C 0,1 sur 1 million

D 0,01 sur 1 million

E 0,001 sur 1 million

Aux alentours de 0,2 sur 1 million

Page 57: L3 informatique et MIAGE Univ. Lille

Estimation des probabilités

Préférez-vous :

A gagner 45€ avec 80 % de chance ?

B gagner 30€ de manière certaine ?Kahneman, 2016

Pour une personne vivant en France quelleest sa probabilité de décéder foudroyée ?

A 10 sur 1 million

B 1 sur 1 million

C 0,1 sur 1 million

D 0,01 sur 1 million

E 0,001 sur 1 million

Aux alentours de 0,2 sur 1 million

Page 58: L3 informatique et MIAGE Univ. Lille

Estimation des probabilités

Préférez-vous :

A gagner 45€ avec 80 % de chance ?

B gagner 30€ de manière certaine ?Kahneman, 2016

Effet de certitudeOn préfère un gain certain (moins élevé) que probable (plus élevé)ou une perte probable (plus élevée) que certaine (moins élevée)

Pour une personne vivant en France quelleest sa probabilité de décéder foudroyée ?

A 10 sur 1 million

B 1 sur 1 million

C 0,1 sur 1 million

D 0,01 sur 1 million

E 0,001 sur 1 million

Aux alentours de 0,2 sur 1 million

Page 59: L3 informatique et MIAGE Univ. Lille

Estimation des probabilités

Pour une personne vivant en France quelleest sa probabilité de décéder foudroyée ?

A 10 sur 1 million

B 1 sur 1 million

C 0,1 sur 1 million

D 0,01 sur 1 million

E 0,001 sur 1 million

Aux alentours de 0,2 sur 1 million

Page 60: L3 informatique et MIAGE Univ. Lille

Estimation des probabilités

Pour une personne vivant en France quelleest sa probabilité de décéder foudroyée ?

A 10 sur 1 million

B 1 sur 1 million

C 0,1 sur 1 million

D 0,01 sur 1 million

E 0,001 sur 1 million

Aux alentours de 0,2 sur 1 million

Effet de possibilitéOn sur-estime les faibles probabilités

Page 61: L3 informatique et MIAGE Univ. Lille

Estimation des probabilités

Pour une personne vivant en France quelleest sa probabilité de décéder foudroyée ?

A 10 sur 1 million

B 1 sur 1 million

C 0,1 sur 1 million

D 0,01 sur 1 million

E 0,001 sur 1 million

Aux alentours de 0,2 sur 1 million

Un couple a déjà eu (par reproduction sexuée) un en-fant, un garçon. La femme est à nouveau enceinte. Quelle

est la probabilité que l’enfant attendu soit une fille ?

A 33 %

B 50 %

C 66 %

D 75 %

Page 62: L3 informatique et MIAGE Univ. Lille

Estimation des probabilités

Pour une personne vivant en France quelleest sa probabilité de décéder foudroyée ?

A 10 sur 1 million

B 1 sur 1 million

C 0,1 sur 1 million

D 0,01 sur 1 million

E 0,001 sur 1 million

Aux alentours de 0,2 sur 1 million

Un couple a déjà eu (par reproduction sexuée) un en-fant, un garçon. La femme est à nouveau enceinte. Quelle

est la probabilité que l’enfant attendu soit une fille ?

A 33 %

B 50 %

C 66 %

D 75 %

Erreur de dépendanceLes probabilités sont (a priori) indépenantes

Page 63: L3 informatique et MIAGE Univ. Lille

Un peu de logique pour raisonner

DéductionP → Q, or P, donc Q

InductionP puis Q (de nombreuses fois), donc P → Q

AbductionP → Q, or Q donc probablement P

Attention aux raisonnements fallacieux

Attention aux mauvaises évaluations de probabilité