Inférence:

En intelligence artificielle, nous avons besoin d’ordinateurs intelligents capables de créer une nouvelle logique à partir de l’ancienne logique ou à partir de preuves. donc générer des conclusions à partir de preuves et de faits est appelé inférence .

Règles d'inférence :

Les règles d'inférence sont les modèles permettant de générer des arguments valides. Les règles d'inférence sont appliquées pour dériver des preuves en intelligence artificielle, et la preuve est une séquence de conclusion qui mène au but souhaité.

Dans les règles d’inférence, l’implication parmi tous les connecteurs joue un rôle important. Voici quelques terminologies liées aux règles d'inférence :

tableau en chiffres romains 1 100

Implication:C'est l'un des connecteurs logiques qui peuvent être représentés par P → Q. C'est une expression booléenne.Converser:L’inverse de l’implication, ce qui signifie que la proposition du côté droit va au côté gauche et vice-versa. Il peut s'écrire Q → P.Contrapositif :La négation de l'inverse est qualifiée de contrapositive et peut être représentée par ¬ Q → ¬ P.Inverse:La négation de l'implication est dite inverse. Il peut être représenté par ¬ P → ¬ Q.

À partir du terme ci-dessus, certaines des affirmations composées sont équivalentes les unes aux autres, ce que nous pouvons prouver à l'aide de la table de vérité :

Par conséquent, à partir de la table de vérité ci-dessus, nous pouvons prouver que P → Q est équivalent à ¬ Q → ¬ P, et Q→ P est équivalent à ¬ P → ¬ Q.

Types de règles d'inférence :

1. Mode de réglage :

La règle Modus Ponens est l’une des règles d’inférence les plus importantes et elle stipule que si P et P → Q sont vrais, alors nous pouvons en déduire que Q sera vrai. Il peut être représenté comme suit :

Exemple:

Énoncé-1 : « Si j'ai sommeil, je me couche » ==> P→ Q
Déclaration-2 : 'J'ai sommeil' ==> P
Conclusion : « Je me couche. » ==> Q.
Par conséquent, nous pouvons dire que si P → Q est vrai et que P est vrai alors Q sera vrai.

Preuve par table de vérité :

2. Mode de suppression :

La règle Modus Tollens stipule que si P → Q est vrai et ¬ Q est vrai, alors ¬ P sera également vrai. Il peut être représenté comme suit :

Déclaration-1 : 'Si j'ai sommeil, je me couche' ==> P→ Q
Déclaration-2 : 'Je ne vais pas au lit.'==> ~Q
Déclaration-3 : Ce qui en déduit que ' je n'ai pas sommeil ' => ~P

Preuve par table de vérité :

3. Syllogisme hypothétique :

La règle du syllogisme hypothétique stipule que si P → R est vrai chaque fois que P → Q est vrai, et Q → R est vrai. Il peut être représenté par la notation suivante :

Exemple:

Déclaration-1 : Si vous avez ma clé de maison, vous pouvez déverrouiller ma maison. P → Q
Déclaration-2 : Si vous parvenez à déverrouiller ma maison, vous pourrez prendre mon argent. Q→R
Conclusion: Si vous avez la clé de ma maison, vous pouvez prendre mon argent. P → R

Preuve par table de vérité :

4. Syllogisme disjonctif :

La règle du syllogisme disjonctif stipule que si P∨Q est vrai et que ¬P est vrai, alors Q sera vrai. Il peut être représenté comme suit :

Exemple:

contient du python

Déclaration-1 : Aujourd'hui, c'est dimanche ou lundi. ==>P∨Q
Déclaration-2 : Aujourd'hui, ce n'est pas dimanche. ==> ¬P
Conclusion: C'est lundi aujourd'hui. ==> Q

Preuve par table de vérité :

5. Ajout :

La règle d'addition est l'une des règles d'inférence courantes et elle stipule que si P est vrai, alors P∨Q sera vrai.

Exemple:

Déclaration: J'ai une glace à la vanille. ==>P
Déclaration-2 : J'ai une glace au chocolat.
Conclusion: J'ai une glace à la vanille ou au chocolat. ==> (P∨Q)

Preuve par Table de Vérité :

6. Simplification :

La règle de simplification stipule que si P∧Q c'est vrai, alors Q ou P sera également vrai. Il peut être représenté comme suit :

Preuve par Table de Vérité :

7. Résolution :

La règle de résolution stipule que si P∨Q et ¬ P∧R sont vrais, alors Q∨R sera également vrai. On peut le représenter comme

Preuve par Table de Vérité :