TechCodeview

Zaključak:

U umjetnoj inteligenciji potrebna su nam inteligentna računala koja mogu stvoriti novu logiku iz stare logike ili pomoću dokaza, tako da se stvaranje zaključaka na temelju dokaza i činjenica naziva zaključivanjem .

Pravila zaključivanja:

Pravila zaključivanja su predlošci za generiranje valjanih argumenata. Za izvođenje dokaza u umjetnoj inteligenciji primjenjuju se pravila zaključivanja, a dokaz je niz zaključaka koji vodi do željenog cilja.

U pravilima zaključivanja, implikacija među svim konektivima igra važnu ulogu. Slijede neke terminologije povezane s pravilima zaključivanja:

reagirati umetnuti stil

Implikacija:To je jedan od logičkih konektora koji se može prikazati kao P → Q. To je Booleov izraz.Razgovarati:Obrnuto od implikacije, što znači da prijedlog s desne strane ide na lijevu stranu i obrnuto. Može se napisati kao Q → P.Kontrapozitivno:Negacija suprotnosti naziva se kontrapozitivnom i može se prikazati kao ¬ Q → ¬ P.Inverzan:Negacija implikacije naziva se inverzna. Može se predstaviti kao ¬ P → ¬ Q.

Iz gornjeg izraza neke od složenih izjava su međusobno ekvivalentne, što možemo dokazati pomoću tablice istinitosti:

Stoga iz gornje tablice istine možemo dokazati da je P → Q ekvivalentno ¬ Q → ¬ P, a Q→ P ekvivalentno ¬ P → ¬ Q.

Vrste pravila zaključivanja:

1. Način postavljanja:

Pravilo Modus Ponens jedno je od najvažnijih pravila zaključivanja i kaže da ako su P i P → Q istiniti, tada možemo zaključiti da će Q biti istinit. Može se predstaviti kao:

Primjer:

Izjava-1: 'Ako sam pospan onda idem u krevet' ==> P→ Q
Izjava-2: 'Pospan sam' ==> P
Zaključak: 'Idem u krevet.' ==> P.
Dakle, možemo reći da, ako je P→ Q istinito i P je istinito, onda će Q biti istinito.

Tablica dokaza prema istini:

2. Metoda uklanjanja:

Modus Tollensovo pravilo kaže da ako je P→ Q istinito i ¬ Q je istinito, tada je ¬ P također će biti istina. Može se predstaviti kao:

Izjava-1: 'Ako sam pospan onda idem u krevet' ==> P→ Q
Izjava-2: 'Ne idem u krevet.'==> ~Q
Izjava-3: Što zaključuje da ' nisam pospana ' => ~P

Tablica dokaza prema istini:

3. Hipotetski silogizam:

Pravilo hipotetskog silogizma kaže da ako je P→R istinit kad god je P→Q istinit, i Q→R je istinit. Može se predstaviti kao sljedeća notacija:

Primjer:

Izjava-1: Ako imate moj kućni ključ, onda možete otključati moj dom. P→Q
Izjava-2: Ako možete otključati moj dom, onda možete uzeti moj novac. Q→R
Zaključak: Ako imate moj ključ od kuće, onda možete uzeti moj novac. P→R

Dokaz tablicom istine:

4. Disjunktivni silogizam:

Pravilo disjunktivnog silogizma navodi da ako je P∨Q istinit, a ¬P istinit, tada će Q biti istinit. Može se predstaviti kao:

Primjer:

šehzad poonawala

Izjava-1: Danas je nedjelja ili ponedjeljak. ==>P∨Q
Izjava-2: Danas nije nedjelja. ==> ¬P
Zaključak: Danas je ponedjeljak. ==> P

Dokaz tablicom istine:

5. Dodatak:

Pravilo zbrajanja jedno je od uobičajenih pravila zaključivanja i kaže da ako je P istinito, tada će P∨Q biti istinito.

Primjer:

Izjava: Imam sladoled od vanilije. ==> P
Izjava-2: Imam sladoled od čokolade.
Zaključak: Imam sladoled od vanilije ili čokolade. ==> (P∨Q)

Dokaz pomoću tablice istine:

6. Pojednostavljenje:

Pravilo pojednostavljenja navodi da ako P∧ Q istina je, dakle Q ili P također će biti istina. Može se predstaviti kao:

Dokaz pomoću tablice istine:

7. Razlučivost:

Pravilo razlučivanja navodi da ako su P∨Q i ¬ P∧R istiniti, tada će Q∨R također biti istiniti. Može se predstaviti kao

Dokaz pomoću tablice istine: