Záver:

V umelej inteligencii potrebujeme inteligentné počítače, ktoré dokážu vytvoriť novú logiku zo starej logiky alebo na základe dôkazov, takže vytváranie záverov z dôkazov a faktov sa nazýva inferencia .

Pravidlá vyvodzovania:

Odvodzovacie pravidlá sú šablóny na generovanie platných argumentov. Na odvodenie dôkazov v umelej inteligencii sa používajú pravidlá inferencie a dôkaz je postupnosť záverov, ktoré vedú k požadovanému cieľu.

V pravidlách odvodzovania hrá dôležitú úlohu implikácia medzi všetkými spojovacími prvkami. Nižšie sú uvedené niektoré terminológie súvisiace s pravidlami odvodzovania:

tvrdá väzba vs brožovaná väzba

Dôsledok:Je to jedno z logických spojív, ktoré možno znázorniť ako P → Q. Je to booleovský výraz.konverzovať:Opačná implikácia, čo znamená, že návrh na pravej strane prechádza na ľavú stranu a naopak. Dá sa napísať ako Q → P.Kontrapozitívne:Negácia konverzácie sa nazýva kontrapozitívna a môže byť reprezentovaná ako ¬ Q → ¬ P.Inverzná:Negácia implikácie sa nazýva inverzná. Môže byť reprezentovaný ako ¬ P → ¬ Q.

Z vyššie uvedeného termínu sú niektoré zložené výroky navzájom ekvivalentné, čo môžeme dokázať pomocou pravdivostnej tabuľky:

Z vyššie uvedenej pravdivostnej tabuľky teda môžeme dokázať, že P → Q je ekvivalentné ¬ Q → ¬ P a Q→ P je ekvivalentné ¬ P → ¬ Q.

Typy pravidiel vyvodzovania:

1. Režim nastavenia:

Pravidlo Modus Ponens je jedným z najdôležitejších pravidiel vyvodzovania a uvádza, že ak sú P a P → Q pravdivé, potom môžeme odvodiť, že Q bude pravdivé. Môže byť reprezentovaný ako:

Príklad:

Výrok-1: „Ak som ospalý, idem spať“ ==> P→ Q
Výrok-2: „Som ospalý“ ==> P
Záver: 'Idem do postele.' ==> Q.
Preto môžeme povedať, že ak P → Q je pravdivé a P je pravdivé, potom Q bude pravdivé.

Tabuľka dôkazu pravdy:

2. Spôsob odstránenia:

Pravidlo Modus Tollens hovorí, že ak P→Q je pravdivé a ¬ Q je pravda, potom ¬ P bude tiež pravda. Môže byť reprezentovaný ako:

Vyhlásenie-1: „Ak som ospalý, idem spať“ ==> P→ Q
Vyhlásenie-2: 'Nejdem do postele.'==> ~O
Vyhlásenie-3: Z čoho vyplýva, že ' Nie som ospalý ' => ~P

Tabuľka dôkazu pravdy:

3. Hypotetický sylogizmus:

Pravidlo hypotetického sylogizmu hovorí, že ak je P→R pravdivé, kedykoľvek je pravdivé P→Q, a Q→R je pravdivé. Môže byť reprezentovaný ako nasledujúci zápis:

Príklad:

Vyhlásenie-1: Ak máte môj kľúč od domu, môžete odomknúť môj dom. P→Q
Vyhlásenie-2: Ak dokážete odomknúť môj dom, môžete si vziať moje peniaze. Q→R
Záver: Ak máte môj kľúč od domu, môžete si vziať moje peniaze. P→R

Dôkaz podľa pravdivostnej tabuľky:

4. Disjunktívny sylogizmus:

Pravidlo disjunktívneho sylogizmu hovorí, že ak je P∨Q pravdivé a ¬P je pravdivé, potom Q bude pravdivé. Môže byť reprezentovaný ako:

Príklad:

json v príklade json

Vyhlásenie-1: Dnes je nedeľa alebo pondelok. ==>P∨Q
Vyhlásenie-2: Dnes nie je nedeľa. ==> ¬P
Záver: Dnes je pondelok. ==> Q

Dôkaz pravdivostnou tabuľkou:

5. Doplnenie:

Pravidlo sčítania je jedným zo všeobecných pravidiel odvodzovania a uvádza, že ak je P pravdivé, potom P∨Q bude pravdivé.

Príklad:

vyhlásenie: Mám vanilkovú zmrzlinu. ==> P
Vyhlásenie-2: Mám čokoládovú zmrzlinu.
Záver: Mám vanilkovú alebo čokoládovú zmrzlinu. ==> (P∨Q)

Dôkaz podľa tabuľky pravdy:

6. Zjednodušenie:

Zjednodušujúce pravidlo hovorí, že ak P∧ Q je teda pravda Q alebo P bude tiež pravda. Môže byť reprezentovaný ako:

Dôkaz podľa tabuľky pravdy:

7. Rozlíšenie:

Pravidlo rozlíšenia hovorí, že ak platí P∨Q a ¬ P∧R, potom bude pravdivé aj Q∨R. Môže byť reprezentovaný ako

Dôkaz podľa tabuľky pravdy: