TechCodeview

Çıkarım:

Yapay zekada eski mantıktan veya kanıtlarla yeni mantık oluşturabilen akıllı bilgisayarlara ihtiyacımız var. dolayısıyla kanıtlardan ve gerçeklerden sonuç çıkarmak Çıkarım olarak adlandırılır .

Çıkarım kuralları:

Çıkarım kuralları, geçerli argümanlar oluşturmaya yönelik şablonlardır. Yapay zekada kanıt elde etmek için çıkarım kuralları uygulanır ve kanıt, istenen hedefe götüren sonuçların bir dizisidir.

Çıkarım kurallarında tüm bağlayıcılar arasındaki çıkarım önemli bir rol oynar. Çıkarım kurallarıyla ilgili bazı terminolojiler aşağıda verilmiştir:

java while koşulu

İma:P → Q şeklinde gösterilebilecek mantıksal bağlaçlardan biridir. Boole ifadesidir.Sohbet:Anlamın tersi, yani sağ taraftaki önermenin sol tarafa gitmesi ve bunun tersi anlamına gelir. Q → P şeklinde yazılabilir.Karşıt pozitif:Tersinin olumsuzluğu karşıt pozitif olarak adlandırılır ve ¬ Q → ¬ P olarak temsil edilebilir.Ters:Çıkarımın olumsuzluğuna ters denir. ¬ P → ¬ Q olarak temsil edilebilir.

Yukarıdaki terimden bazı bileşik ifadeler birbirine eşdeğerdir ve bunu doğruluk tablosunu kullanarak kanıtlayabiliriz:

Dolayısıyla yukarıdaki doğruluk tablosundan P → Q'nun ¬ Q → ¬ P'ye eşdeğer olduğunu ve Q→ P'nin ¬ P → ¬ Q'ya eşdeğer olduğunu kanıtlayabiliriz.

Çıkarım kuralı türleri:

1. Ayar Modu:

Modus Ponens kuralı, çıkarımın en önemli kurallarından biridir ve P ve P → Q doğruysa, Q'nun da doğru olacağı sonucunu çıkarabileceğimizi belirtir. Şu şekilde temsil edilebilir:

Örnek:

İfade-1: 'Uykum varsa yatarım' ==> P→ Q
İfade-2: 'Uykum var' ==> P
Sonuç: 'Yatağa gidiyorum.' ==> S.
Dolayısıyla, eğer P → Q doğruysa ve P doğruysa Q'nun doğru olacağını söyleyebiliriz.

Doğruluk tablosuna göre kanıt:

2. Kaldırma Yöntemi:

Modus Tollens kuralı, eğer P→Q doğruysa ve ¬ Q doğrudur, o halde ¬ P aynı zamanda doğru olacaktır. Şu şekilde temsil edilebilir:

Açıklama-1: 'Eğer uykum varsa o zaman yatarım' ==> P→ Q
Açıklama-2: 'Yatağa gitmiyorum.'==> ~Q
Açıklama-3: Bu da şu anlama geliyor' uykulu değilim ' => ~P

Doğruluk tablosuna göre kanıt:

3. Varsayımsal Kıyas:

Varsayımsal Kıyas kuralı, P→Q doğru olduğunda P→R doğruysa ve Q→R doğruysa belirtir. Aşağıdaki gösterimle temsil edilebilir:

Örnek:

Açıklama-1: Eğer evimin anahtarı sendeyse evimin kilidini açabilirsin. P→Q
Açıklama-2: Eğer evimin kilidini açabilirsen paramı alabilirsin. Soru→R
Çözüm: Eğer evimin anahtarı sendeyse paramı alabilirsin. P→R

Doğruluk tablosuna göre kanıt:

4. Ayırıcı Kıyaslama:

Ayırıcı kıyas kuralı, eğer P∨Q doğruysa ve ¬P doğruysa, o zaman Q'nun doğru olacağını belirtir. Şu şekilde temsil edilebilir:

Örnek:

c'de boole

Açıklama-1: Bugün Pazar veya Pazartesi. ==>P∨Q
Açıklama-2: Bugün Pazar değil. ==> ¬P
Çözüm: Bugün Pazartesi. ==> Soru

Doğruluk tablosuyla kanıt:

5. İlave:

Toplama kuralı ortak çıkarım kurallarından biridir ve şunu belirtir: Eğer P doğruysa, o zaman P∨Q da doğru olacaktır.

Örnek:

İfade: Vanilyalı dondurmam var. ==>P
Açıklama-2: Çikolatalı dondurmam var.
Çözüm: Vanilyalı veya çikolatalı dondurmam var. ==> (P∨Q)

Doğruluk Tablosuna Göre Kanıt:

6. Basitleştirme:

Basitleştirme kuralı şunu belirtir: P∧Q o halde doğrudur S veya P aynı zamanda doğru olacaktır. Şu şekilde temsil edilebilir:

Doğruluk Tablosuna Göre Kanıt:

7. Çözünürlük:

Çözünürlük kuralı, eğer P∨Q ve ¬ P∧R doğruysa, o zaman Q∨R'nin de doğru olacağını belirtir. Şu şekilde temsil edilebilir:

Doğruluk Tablosuna Göre Kanıt: