Išvada:

Dirbtiniame intelekte mums reikia išmaniųjų kompiuterių, galinčių sukurti naują logiką iš senos logikos arba remiantis įrodymais, todėl išvadų sudarymas iš įrodymų ir faktų vadinamas išvada .

Išvadų taisyklės:

Išvados taisyklės yra tinkamų argumentų generavimo šablonai. Dirbtinio intelekto įrodymams išvesti taikomos išvadų taisyklės, o įrodymas yra išvados seka, vedanti į norimą tikslą.

Išvadų taisyklėse svarbų vaidmenį atlieka visų jungčių reikšmė. Toliau pateikiami keli terminai, susiję su išvadų taisyklėmis:

java eilutės prisijungimas

Potekstė:Tai viena iš loginių jungčių, kurią galima pavaizduoti kaip P → Q. Tai Būlio išraiška.Pokalbis:Neatsižvelgiant į tai, kad dešinės pusės pasiūlymas pereina į kairę pusę ir atvirkščiai. Jis gali būti parašytas kaip Q → P.Prieštaringas:Konversijos neigimas vadinamas prieštaringu ir gali būti pavaizduotas kaip ¬ Q → ¬ P.Atvirkščiai:Implikacijos neigimas vadinamas atvirkštiniu. Jis gali būti pavaizduotas kaip ¬ P → ¬ Q.

Iš aukščiau pateikto termino kai kurie sudėtiniai teiginiai yra lygiaverčiai vienas kitam, ką galime įrodyti naudodami tiesos lentelę:

Taigi iš aukščiau pateiktos tiesos lentelės galime įrodyti, kad P → Q yra lygiavertis ¬ Q → ¬ P, o Q → P yra lygiavertis ¬ P → ¬ Q.

Išvadų taisyklių tipai:

1. Nustatymo režimas:

Modus Ponens taisyklė yra viena iš svarbiausių išvadų taisyklių, ir ji teigia, kad jei P ir P → Q yra teisingi, galime daryti išvadą, kad Q bus teisinga. Jis gali būti pavaizduotas taip:

Pavyzdys:

1 teiginys: „Jei esu mieguistas, einu miegoti“ ==> P→ Q
2 teiginys: „Aš mieguistas“ ==> P
Išvada: „Aš einu miegoti“. ==> Q.
Taigi galime pasakyti, kad jei P → Q yra tiesa, o P yra tiesa, tada Q bus tiesa.

Įrodinėjimo tiesos lentelė:

2. Pašalinimo būdas:

Modus Tollenso taisyklė teigia, kad jei P→ Q yra teisingas ir ¬ Q yra tiesa, tada ¬ P taip pat bus tiesa. Jis gali būti pavaizduotas taip:

1 teiginys: 'Jei esu mieguistas, einu miegoti' ==> P→ Q
2 teiginys: 'Aš neinu į lovą.'==> ~Q
3 teiginys: Kas leidžia daryti išvadą, kad' Aš nesu mieguistas ' => ~P

Įrodinėjimo tiesos lentelė:

3. Hipotetinis silogizmas:

Hipotetinio silogizmo taisyklė teigia, kad jei P → R yra tiesa, kai P → Q yra tiesa, o Q → R yra tiesa. Jis gali būti pavaizduotas tokiu užrašu:

Pavyzdys:

1 teiginys: Jei turite mano namų raktą, galite atrakinti mano namus. P → Q
2 teiginys: Jei galite atrakinti mano namus, galite pasiimti mano pinigus. Q→R
Išvada: Jei turite mano namų raktą, galite pasiimti mano pinigus. P → R

Įrodinėjimo tiesa lentelė:

4. Skiriamasis silogizmas:

Disjunkcinio silogizmo taisyklė teigia, kad jei P∨Q yra teisingas, o ¬P yra teisingas, tada Q bus tiesa. Jis gali būti pavaizduotas taip:

Pavyzdys:

base64 dekodavimas js

1 teiginys: Šiandien sekmadienis arba pirmadienis. ==>P∨Q
2 teiginys: Šiandien ne sekmadienis. ==> ¬P
Išvada: Šiandien yra pirmadienis. ==> Q

Įrodymas pagal tiesos lentelę:

5. Papildymas:

Sudėjimo taisyklė yra viena iš įprastų išvadų taisyklių, ir ji teigia, kad jei P yra tiesa, tada P∨Q bus teisinga.

Pavyzdys:

Pareiškimas: Turiu vanilinių ledų. ==> P
2 teiginys: Turiu šokoladinių ledų.
Išvada: Turiu vanilinių arba šokoladinių ledų. ==> (P∨Q)

Įrodymas pagal tiesos lentelę:

6. Supaprastinimas:

Supaprastinimo taisyklė nurodo, kad jei P∧ Q tai tiesa, tada Q arba P taip pat bus tiesa. Jis gali būti pavaizduotas taip:

Įrodymas pagal tiesos lentelę:

7. Rezoliucija:

Rezoliucijos taisyklė teigia, kad jei P∨Q ir ¬ P∧R yra teisingi, tada Q∨R taip pat bus teisingas. Jis gali būti pavaizduotas kaip

Įrodymas pagal tiesos lentelę: