MANTIK VE MANTIK PROGRAMLAMA Yılmaz KILIÇASLAN. Sunu Planı Bir bilgisayım yöntemi olarak mantıksal çıkarım Prolog programlama dilinin temel yapıları Prolog.

Slides:



Advertisements
Benzer bir sunumlar
NESNEYE YÖNELİK PROGRAMLAMA Temel Kavramlar
Advertisements

Elektrik potansiyel enerji
Ayrık Yapılar Algoritma Analizi.
TümevarIMCILIK (İndüktİvİzm)
LİMİT.
KÜME DÜNYASINA GİDELİM
MANTIK Mantığın Konusu.
ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
Mantık(Lojik-Logic) Programlama Dilleri
100 SORUDA KAVRAM HARİTALARI İLE FONKSİYON ANALİZİ & MANTIK
ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
BAS-BIRAK OTOMATLARI (YIĞITLI ÖZDEVİNİRLER)
NESNEYE YÖNELİK PROGRAMLAMANIN TEMEL İLKELERİ GENEL BİR BAKIŞ
Sonlu Durum Makinesi M=(S, I, O, f, g, s0) S:durumlar kümesi
ÜNİTE 2: KILASİK MANTIK KONU KAVRAM ÇEŞİTLERİ.
MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
ÖĞRENMEDE BİLGİ Yılmaz KILIÇASLAN.
SEMANTİK VE DİZİMSEL ÇIKARIM
Mantıksal Tasarım Mantıksal Tasarım – Prof.Dr. Ünal Yarımağan – HÜ Bilgisayar Mühendisliği Bölümü.
ÖNERMELER MANTIĞI VE WUMPUS DÜNYASI Yılmaz KILIÇASLAN.
MANTIK PROGRAMLAMA TEMEL YAPILARI Yılmaz KILIÇASLAN.
SONLU OTOMATLARIN PROGRAMLANMASI
PROLOG PROGRAMLAMA DİLİNDE
FONKSİYONLAR.
NESNEYE-YÖNELİK PROGRAMLAMA
SONLU ELEMANLAR YÖNTEMİ
MANTIK BİLİMİNE GİRİŞ Yılmaz KILIÇASLAN.
DÜZENLİ GRAMERLER Yılmaz Kılıçaslan.
MANTIK PROGRAMLARININ TEMEL YAPILARI VE BİLGİSAYIM MODELİ Yılmaz KILIÇASLAN.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
BAĞLAMDAN BAĞIMSIZ GRAMERLER ÖZYİNELEMELİ GEÇİŞ AĞLARI (Chomsky Hiyerarşisi: Tip 2) Yılmaz Kılıçaslan.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ
BAĞLAMA DUYARLI GRAMERLER
BAĞLAMA DUYARLI GRAMERLER
BAĞLAMA DUYARLI GRAMERLER
ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
Bilgisayar Bilimlerinin Kuramsal Temelleri
FONKSİYON TARİHİ FONKSİYON
MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
SONLU DURUM OTOMATLARININ PROGRAMLANMASI
MANTIK VE MANTIK PROGRAMLAMA Yılmaz KILIÇASLAN.
Bilgisayar Bilimlerinin Kuramsal Temelleri
ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN. Önermeler Mantığı - Bağlaçlar Yalnızca doğruluk değerleri üzerinden fonksiyonel olarak tanımlanabilen bağlaçlar ve.
KESİRLER KONULAR: Kesirler Kesirlerin Okunuşu Kesir Çeşitleri Kesirlerin Karşılaştırılması ALIŞTIRMALAR:
MANTIK BİLİMİNE GİRİŞ VE ÖNERMELER MANTIĞI Yılmaz KILIÇASLAN.
KÜME ÇEŞİTLERİ 2. Sonlu ve Sonsuz Küme 1.Boş Küme 3. Evrensel Küme
MUSTAFA GÜLTEKİN Matematik A Şubesi.
Dr. Mehmet Dikmen BİL551 – YAPAY ZEKA MANTIK Dr. Mehmet Dikmen
ÖNERME ANALİZİ VE YÜKLEM MANTIĞI Yılmaz KILIÇASLAN.
Biçimsel Diller ve Soyut Makineler
Bilgisayar Bilimlerinin Kuramsal Temelleri
ARAŞTIRMA YÖNTEM VE TEKNİKLERİ
Mantığın Temel Kavramları
SONLU OTOMATLAR Yılmaz Kılıçaslan.
(Yapay) Zekâ -Tanımı ve Geçmişi- Yılmaz Kılıçaslan
Bulanık Mantık Bulanık Mantığın Temel Kavramları
4. UNİTE SEMBOLİK (MODERN) MANTIK
Bölüm 15: Mantıksal Programlama Dilleri
Adım Adım Algoritma.
TEMEL KURAM VE AÇMAZLARIYLA BİLGİSAYAR BİLİMİ - Sayılabilirlik - Yılmaz Kılıçaslan.
Programlama Temellerİ
Bölüm 1 : Genel Kavramlar
Eleştirel Bakış Hazırlayan= Fadime Aktürk
Prolog ile Mantık Programlamaya Giriş
Mantık Sistemleri ve Mantık Programlama
BİRLEŞİM VE ARAMA (UNIFICATION & SEARCH)
MANTIK Doğru düşünmenin kurallarını ortaya koyan bir disiplindir. Mantık, Arapça konuşmak, söylemek, dile getirme anlamlarına gelen “nutuk” kelimesinden.
ÖĞRENCİNİN; ADI: SOYADI: ÖĞETMENİN; ADI: SOYADI:
NİŞANTAŞI ÜNİVERSİTESİ
Sunum transkripti:

MANTIK VE MANTIK PROGRAMLAMA Yılmaz KILIÇASLAN

Sunu Planı Bir bilgisayım yöntemi olarak mantıksal çıkarım Prolog programlama dilinin temel yapıları Prolog programlama dilinde çıkarım kuralları

Mantık Bilimi Neyle Uğraşır? Mantık, akıl yürütmenin bilimi olarak tanımlanabilir. ZİHİNSEL TEMSİL GÖZLEMAKIL YÜRÜTME DIŞ DÜNYA ALGIALGI REFLEKSREFLEKS ✓P✓P ✓Q✓Q ? P ise Q ✓ P ise Q ✓P✓P ? Q ? P ✓ Q TümevarımlıÇıkarımTümevarımlıÇıkarım TümdengelimliÇıkarımTümdengelimliÇıkarım AbductiveÇıkarımAbductiveÇıkarım

Mantıktan Programlamaya... (Genel) Modus Ponens: 4 Tümdengelimli programlama: Tümevarımlı programalama: P  Q P Q P  Q P Q ✓ ✓ ? P  Q P Q ✓ ✓ ?

Matematikten Programlamaya... Her programı bir fonksiyon (F) olarak düşünelim: 5 Tümdengelimli programlama: IO F IO F Tümevarımlı programalama: IO F ? ✓ ✓ ✓ ✓ ?

Mantıktan Programlamaya... (Örnekler) Ali gelecek veya Ayşe gelecek. Ali gelmeyecek Ayşe gelecek. p  q ¬p¬p q ? Ali gelir ise Ayşe gelecek. Ali gelecek Ayşe gelecek. p  q p q Bütün öğrenciler gelecek. Ayşe bir öğrencidir Ayşe gelecek.  x[öğrenci(x)  gelecek(x)] öğrenci(ayşe) gelecek(ayşe) ? ?

Mantıktan Programlamaya... (Genel) ÖNCÜL_1... ÖNCÜL_N MANTIKSAL SONUÇ PROGRAM SORGU

Prolog’un Temel Yapıları Temel Yapılar Terimler Önermeler Gerçekler Sorgular KurallarDeğişkenler Sabitler Bileşik Terimler Örn: ayşe öğrenci Örn: X _ Örn: öğrenci(ayşe) Örn: öğrenci(ayşe). Örn: gelecek(X):- öğrenci(X). Örn: ?- gelecek(ayşe).

Prolog’un Çıkarım Kuralları Çıkarım Kuralları Özdeşlik (Identity) Genelleme (Generalization) Örnekleme (Instantiation) Modus Ponens Örn: öğrenci(ayşe) ?- öğrenci(ayşe). Örn: öğrenci(ayşe) ?- öğrenci(X). Örn: varlık(X) ?- varlık(ayşe). Örn: öğrenci(ayşe). gelecek(X):- öğrenci(X) ?- gelecek(ayşe).

Gerçeklerden oluşan bir Prolog Programı Eğer A = Bθ olan bir θ yer değiştirmesi varsa A, B’nin bir örneğidir.

Yer değiştirmeler Eğer A = Bθ olan bir θ yer değiştirmesi varsa A, B’nin bir örneğidir. C hem A’nın hem B’nin bir örneği ise A ve B’nin ortak örneğidir (common instance) denir. Diğer bir deyişle, C=Aθ 1 olan θ 1 ve θ 2 yer değiştirmeleri varsa sözdizimsel olarak Bθ 2 ’ye eştir.

Evrensel Modus Ponens Evrensel modus ponens yasası, R=(A←B 1,B 2, …, B n ) kuralından ve B’ 1. B’ 2.. B’ n. gerçeklerinden (facts) eğer, A’ ← B’ 1,B’ 2, …, B’ n R’nin bir örneği ise A’ sonucu çıkarılabilir.

Mantık Programının Tanımı Bir mantık programı sonlu kurallar kümesidir. Varoluş niceleyicisiyle nicelenmiş G hedefi (goal), eğer B 1,…, B n mantıksal sonuçlar ve A, G’nin örneği olduğu durumda A←B 1,B 2, …, B n, n ≥ 0 değişkensiz örneği (ground instance) P içinde bir cümlecik (clause) ise bir P programının mantıksal sonucudur.