Secinājums:

Mākslīgajā intelektā mums ir vajadzīgi viedi datori, kas var radīt jaunu loģiku no vecās loģikas vai ar pierādījumiem, tāpēc secinājumu izdarīšanu no pierādījumiem un faktiem sauc par secinājumiem .

Secinājumu noteikumi:

Secinājumu kārtulas ir derīgu argumentu ģenerēšanas veidnes. Secinājumu likumi tiek piemēroti pierādījumu iegūšanai mākslīgajā intelektā, un pierādījums ir secinājumu secība, kas noved pie vēlamā mērķa.

Secinājumu noteikumos svarīga loma ir implikācijai starp visiem savienojumiem. Tālāk ir minētas dažas terminoloģijas, kas saistītas ar secinājumu veikšanas noteikumiem:

trešā normālā forma

Ietekme:Tas ir viens no loģiskajiem savienojumiem, ko var attēlot kā P → Q. Tā ir Būla izteiksme.Sarunāties:Implikācijas otrādi, kas nozīmē, ka labās puses priekšlikums iet uz kreiso pusi un otrādi. To var uzrakstīt kā Q → P.Kontrapozitīvs:Apgrieztā noliegums tiek saukts par kontrapozitīvu, un to var attēlot kā ¬ Q → ¬ P.Apgriezti:Implikācijas noliegumu sauc par apgriezto. To var attēlot kā ¬ P → ¬ Q.

No iepriekš minētā termina daži saliktie apgalvojumi ir līdzvērtīgi viens otram, ko varam pierādīt, izmantojot patiesības tabulu:

Tādējādi no iepriekš minētās patiesības tabulas mēs varam pierādīt, ka P → Q ir ekvivalents ¬ Q → ¬ P, un Q → P ir ekvivalents ¬ P → ¬ Q.

Secinājumu kārtulu veidi:

1. Iestatīšanas režīms:

Modus Ponens noteikums ir viens no svarīgākajiem secinājumu likumiem, un tas nosaka, ka, ja P un P → Q ir patiesi, tad mēs varam secināt, ka Q būs patiess. To var attēlot šādi:

Piemērs:

1. apgalvojums: 'Ja esmu miegains, tad eju gulēt' ==> P→ Q
2. paziņojums: 'Es esmu miegains' ==> P
Secinājums: 'Es eju gulēt.' ==> J.
Tādējādi mēs varam teikt, ka, ja P → Q ir patiess un P ir patiess, tad Q būs patiess.

Pierādīšanas pēc patiesības tabula:

2. Noņemšanas metode:

Modus Tollens noteikums nosaka, ka, ja P→ Q ir patiess un ¬ Q ir patiess, tad ¬ P būs arī taisnība. To var attēlot šādi:

1. paziņojums: 'Ja esmu miegains, tad eju gulēt' ==> P→ Q
2. paziņojums: 'Es neeju uz gultu.'==> ~Q
3. paziņojums: No kā izriet, ka' Es neesmu miegains ' => ~P

Pierādīšanas pēc patiesības tabula:

3. Hipotētiskais siloģisms:

Hipotētiskā siloģisma noteikums nosaka, ka, ja P → R ir patiess, kad P → Q ir patiess, un Q → R ir patiess. To var attēlot kā šādu apzīmējumu:

Piemērs:

1. paziņojums: Ja jums ir mana mājas atslēga, jūs varat atslēgt manu māju. P→Q
2. paziņojums: Ja jūs varat atslēgt manu māju, varat paņemt manu naudu. Q→R
Secinājums: Ja jums ir mana mājas atslēga, varat paņemt manu naudu. P→R

Pierādījumu pēc patiesības tabula:

4. Disjunktīvs siloģisms:

Disjunktīvā siloģisma noteikums nosaka, ka, ja P∨Q ir patiess un ¬P ir patiess, tad Q būs patiess. To var attēlot šādi:

Piemērs:

32 bitu arhitektūra pret 64 bitu

1. paziņojums: Šodien ir svētdiena vai pirmdiena. ==>P∨Q
2. paziņojums: Šodien nav svētdiena. ==> ¬P
Secinājums: Šodien ir pirmdiena. ==> J

Pierādījums pēc patiesības tabulas:

5. Papildinājums:

Pievienošanas noteikums ir viens no izplatītākajiem secinājumiem, un tas nosaka, ka, ja P ir patiess, tad P∨Q būs patiess.

Piemērs:

Paziņojums, apgalvojums: Man ir vaniļas saldējums. ==> P
2. paziņojums: Man ir šokolādes saldējums.
Secinājums: Man ir vaniļas vai šokolādes saldējums. ==> (P∨Q)

Pierādījums pēc patiesības tabulas:

6. Vienkāršošana:

Vienkāršošanas noteikums nosaka, ka, ja P∧ Q tad tā ir taisnība Q vai P arī būs taisnība. To var attēlot šādi:

Pierādījums pēc patiesības tabulas:

7. Izšķirtspēja:

Izšķirtspējas noteikums nosaka, ka, ja P∨Q un ¬ P∧R ir patiesi, tad arī Q∨R būs patiess. To var attēlot kā

Pierādījums pēc patiesības tabulas: