Deducere:

În inteligența artificială, avem nevoie de computere inteligente care pot crea o nouă logică din vechea logică sau prin dovezi, astfel încât generarea concluziilor din dovezi și fapte este denumită Inferență .

Reguli de inferență:

Regulile de inferență sunt șabloanele pentru generarea de argumente valide. Regulile de inferență sunt aplicate pentru a obține dovezi în inteligența artificială, iar dovada este o secvență a concluziei care duce la scopul dorit.

În regulile de inferență, implicația dintre toate conexiunile joacă un rol important. Următoarele sunt câteva terminologii legate de regulile de inferență:

matrice de șiruri în limbaj c

Implicare:Este unul dintre conexiunile logice care pot fi reprezentate ca P → Q. Este o expresie booleană.Conversa:Reversul implicației, ceea ce înseamnă că propoziția din partea dreaptă merge în partea stângă și invers. Poate fi scris ca Q → P.Contrapozitiv:Negația conversației este denumită contrapozitivă și poate fi reprezentată ca ¬ Q → ¬ P.Invers:Negația implicației se numește inversă. Poate fi reprezentat ca ¬ P → ¬ Q.

Din termenul de mai sus, unele dintre afirmațiile compuse sunt echivalente între ele, ceea ce le putem demonstra folosind tabelul de adevăr:

Prin urmare, din tabelul de adevăr de mai sus, putem demonstra că P → Q este echivalent cu ¬ Q → ¬ P, iar Q→ P este echivalent cu ¬ P → ¬ Q.

Tipuri de reguli de inferență:

1. Modul de setare:

Regula Modus Ponens este una dintre cele mai importante reguli de inferență și afirmă că dacă P și P → Q este adevărat, atunci putem deduce că Q va fi adevărat. Poate fi reprezentat ca:

Exemplu:

Afirmația-1: „Dacă îmi este somn, mă culc” ==> P→ Q
Afirmația-2: „Mi-e somn” => P
Concluzie: „Mă duc la culcare”. ==> Î.
Prin urmare, putem spune că, dacă P→ Q este adevărat și P este adevărat, atunci Q va fi adevărat.

Dovada prin tabelul de adevăr:

2. Metoda de eliminare:

Regula Modus Tollens afirmă că dacă P→ Q este adevărat și ¬ Q este adevărat, atunci ¬ P va fi, de asemenea, adevărat. Poate fi reprezentat ca:

Declarația-1: „Dacă mi-e somn, mă duc la culcare” ==> P→ Q
Declarația-2: 'Nu mă duc la pat.'==> ~Q
Declarația-3: Ceea ce deduce că ' Eu nu sunt somnoros ' => ~P

Dovada prin tabelul de adevăr:

3. Silogism ipotetic:

Regula silogismului ipotetic afirmă că dacă P→R este adevărat ori de câte ori P→Q este adevărat, iar Q→R este adevărat. Poate fi reprezentat sub următoarea notație:

Exemplu:

Declarația-1: Dacă ai cheia de acasă, îmi poți debloca casa. P→Q
Declarația-2: Dacă îmi poți debloca casa, îmi poți lua banii. Q→R
Concluzie: Dacă ai cheia de acasă, poți să-mi iei banii. P→R

Dovada prin tabelul de adevăr:

4. Silogismul disjunctiv:

Regula silogismului disjunctiv spune că dacă P∨Q este adevărat și ¬P este adevărat, atunci Q va fi adevărat. Poate fi reprezentat ca:

Exemplu:

shehzad poonawala

Declarația-1: Astăzi este duminică sau luni. ==>P∨Q
Declarația-2: Astăzi nu este duminică. ==> ¬P
Concluzie: Astăzi este luni. ==> Î

Dovada prin tabelul de adevăr:

5. Adăugare:

Regula de adunare este una din regula de inferență comună și afirmă că dacă P este adevărat, atunci P∨Q va fi adevărat.

Exemplu:

Afirmație: Am o inghetata de vanilie. ==> P
Declarația-2: Am înghețată de ciocolată.
Concluzie: Am inghetata de vanilie sau ciocolata. ==> (P∨Q)

Dovada prin Tabelul de Adevăr:

6. Simplificare:

Regula simplificării prevede că dacă P∧ Q este adevărat, atunci Q sau P va fi de asemenea adevărat. Poate fi reprezentat ca:

Dovada prin Tabelul de Adevăr:

7. Rezoluție:

Regula rezoluției afirmă că dacă P∨Q și ¬ P∧R sunt adevărate, atunci Q∨R va fi de asemenea adevărată. Poate fi reprezentat ca

Dovada prin Tabelul de Adevăr: