logo

Yapay Zekada Çıkarım Kuralları

Çı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:

Yapay Zekada Çıkarım Kuralları

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:

Yapay Zekada Çıkarım Kuralları

Ö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:

Yapay Zekada Çıkarım Kuralları

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:

Yapay Zekada Çıkarım Kuralları

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:

Yapay Zekada Çıkarım Kuralları

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:

Yapay Zekada Çıkarım Kuralları

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:

Yapay Zekada Çıkarım Kuralları

Ö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:

Yapay Zekada Çıkarım Kuralları

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.

Yapay Zekada Çıkarım Kuralları

Ö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:

Yapay Zekada Çıkarım Kuralları

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:

Yapay Zekada Çıkarım Kuralları

Doğruluk Tablosuna Göre Kanıt:

Yapay Zekada Çıkarım Kuralları

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:

Yapay Zekada Çıkarım Kuralları

Doğruluk Tablosuna Göre Kanıt:

Yapay Zekada Çıkarım Kuralları