Inferència:
En intel·ligència artificial, necessitem ordinadors intel·ligents que puguin crear nova lògica a partir de la lògica antiga o per evidència, per tant, generar les conclusions a partir d'evidències i fets s'anomena inferència .
Regles d'inferència:
Les regles d'inferència són les plantilles per generar arguments vàlids. Les regles d'inferència s'apliquen per obtenir proves en intel·ligència artificial, i la prova és una seqüència de la conclusió que condueix a l'objectiu desitjat.
En les regles d'inferència, la implicació entre tots els connectius juga un paper important. A continuació es mostren algunes terminologies relacionades amb les regles d'inferència:
matriu de cadenes en programació en c
Del terme anterior, algunes de les afirmacions compostes són equivalents entre si, cosa que podem demostrar mitjançant la taula de veritat:
Per tant, a partir de la taula de veritat anterior, podem demostrar que P → Q és equivalent a ¬ Q → ¬ P, i Q→ P és equivalent a ¬ P → ¬ Q.
Tipus de regles d'inferència:
1. Mode de configuració:
La regla de Modus Ponens és una de les regles d'inferència més importants, i afirma que si P i P → Q és certa, llavors podem inferir que Q serà certa. Es pot representar com:
Exemple:
Declaració-1: 'Si tinc son, vaig al llit' ==> P→ Q
Declaració-2: 'Tinc son' => P
Conclusió: 'Vaig a dormir'. ==> Q.
Per tant, podem dir que, si P→ Q és certa i P és certa, llavors Q serà certa.
Prova per taula de veritat:
2. Mètode d'eliminació:
La regla de Modus Tollens estableix que si P→ Q és certa i ¬ Q és certa, llavors ¬ P també serà cert. Es pot representar com:
Declaració-1: 'Si tinc son, me'n vaig al llit' ==> P→ Q
Declaració-2: 'No vaig al llit.'==> ~Q
Declaració-3: El que dedueix que ' No tinc son ' => ~P
Prova per taula de veritat:
3. Silogisme hipotètic:
La regla del silogisme hipotètic estableix que si P→R és certa sempre que P→Q és certa, i Q→R és certa. Es pot representar amb la notació següent:
Exemple:
Declaració-1: Si tens la meva clau de casa, pots desbloquejar la meva casa. P→Q
Declaració-2: Si pots desbloquejar la meva casa, em pots agafar els diners. Q→R
Conclusió: Si tens la meva clau de casa, pots agafar els meus diners. P→R
Prova per taula de veritat:
4. Silogisme disjuntiu:
La regla del sil·logisme disjuntiu estableix que si P∨Q és certa i ¬P és certa, llavors Q serà certa. Es pot representar com:
Exemple:
Arquitectura de 32 bits vs 64 bits
Declaració-1: Avui és diumenge o dilluns. ==>P∨Q
Declaració-2: Avui no és diumenge. ==> ¬P
Conclusió: Avui és dilluns. ==> Q
Prova per taula de veritat:
5. Addició:
La regla de l'addició és una de les regles d'inferència comuna, i afirma que si P és certa, llavors P∨Q serà certa.
Exemple:
Declaració: Tinc un gelat de vainilla. ==> P
Declaració-2: Tinc gelat de xocolata.
Conclusió: Tinc gelat de vainilla o xocolata. ==> (P∨Q)
Prova de la Taula de Veritat:
6. Simplificació:
La regla de simplificació estableix que si P∧ Q és cert, doncs Q o P també serà cert. Es pot representar com:
Prova de la Taula de Veritat:
7. Resolució:
La regla de resolució estableix que si P∨Q i ¬ P∧R són certes, llavors Q∨R també ho serà. Es pot representar com
Prova de la Taula de Veritat:
