GERİ DÖN
Ders Öğretim Planı
| Dersin Kodu | Dersin Adı | Dersin Türü | Yıl | Yarıyıl | AKTS |
|---|---|---|---|---|---|
| 501008012023 | KNOWLEDGE REPRESENTATION | Seçmeli Ders Grubu | 4 | 7 | 5,00 |
Dersin Seviyesi
Lisans
Dersin Sunulduğu Dil
İngilizce
Dersin Amacı
Bilgi gösterimi kavram ve yöntemlerinin öğretilmesi. Ontoloji Mühendisliği, Yapay Us, Anlamsal Web ve Model Tabanlı Yazılım Mühendisliği gibi daha ileri derslerin/konuların kuramsal alt yapısının hazırlanması.
Dersi Veren Öğretim Görevlisi/Görevlileri
Dr. Öğr. Üyesi Ahmet Egesoy
Öğrenme Çıktıları
| 1 | Yapay zeka uygulamalarındaki gibi karmaşık ve soyut problemlerin çözümünde kullanılması gerekebilecek bilgi gösterimi yöntemlerinin öğrencilere kazandırılması. |
| 2 | Farklı bilgi türlerinin makinelerin anlayabileceği biçimde gösterebilme yeteneğinin sağlanması. |
| 3 | Öğrencilerin soyut veri yapılarını daha etkili ve bilinçli kullanmalarının sağlanması |
| 4 | Bilgi gösterimi yöntemlerinin yazılım geliştirmede kullanılmaya uygun bir biçimde özümsenmesinin sağlanması. |
| 5 | Öğrencilerin diller, modelleme ve bilginin doğası gibi, bilgisayar teknolojisini yakından ilgilendiren konularda felsefi derinliğe sahip ve tutarlı bir dünya görüşü oluşturmalarına yardımcı olmak. |
| 6 | Bilginin ne olduğunu daha iyi anlamak ve bilgi üzerinde çalışma konusunda daha yaratıcı fikirler üretebilmek. |
Öğretim Sistemi
Birinci Öğretim
Dersin Ön Koşulu Olan Dersler
Ders İçin Önerilen Diğer Hususlar
[Yok]
Dersin İçeriği
Bilginin Doğası, Önermeler Mantığı, Yüklemler Mantığı, Modal Mantık, Anlamsal Ağlar, Çerçeveler ve Nesneler, Türetim Kuralları, Ontolojiler, Belirsizlik Gösterimi, Doğal Dil
Haftalık Ayrıntılı Ders İçeriği
| Hafta | Konular (Teorik) | Öğretim Yöntem ve Teknikleri | Ön Hazırlık |
|---|---|---|---|
| 1 | Giriş: Bilgi Gösterimine Genel Bakış. Bilgi nedir Bilgi gösterimi nedir | ||
| 2 | Giriş: Bilgi Gösterimine Genel Bakış. Bilgi nedir Bilgi gösterimi nedir | ||
| 3 | Önermeler Mantığına Giriş. Mantık ve Biçimselleştirme. Çıkarsama ve İspat yöntemleri. | ||
| 4 | Çözümleyici çizelge ile ispat | ||
| 5 | Doğal çıkarsama ile ispat | ||
| 6 | Şartlı ispat | ||
| 7 | Olmayana ergi (Çelişki yoluyla kanıtlama) | ||
| 8 | Yüklemler Mantığı | ||
| 9 | ARA SINAV | ||
| 10 | Çözümleme yöntemi ile ispat | ||
| 11 | Modal Mantığa giriş. Kavramlar ve tipler | ||
| 12 | Kripke modelleri | ||
| 13 | Oyun teorisi ile modal mantık ispatı | ||
| 14 | C. S. Peirce 'ün alfa dili | ||
| 15 | C. S. Peirce 'ün beta dili | ||
| 16 | FİNAL SINAVI |
Ders Kitabı / Malzemesi / Önerilen Kaynaklar
Brachman, R., J., Levesque, H., J., Knowledge Representation and Reasoning, Morgan Kaufmann Publishers, Elsevier Inc., San Fransisco, 2004. •Rich, E., Knight, K., Shivashankar, B., N, Artificial Intelligence, 3rd ed., Tata McGraw-Hill, New Delhi, 2009. •Van’Harmelen, F. (ed), Lifschitz, V. (ed), Porter, B. (ed), Handbook of Knowledge Representation (Foundations of artificial Intelligence), Elsevier, 2008
Planlanan Öğrenme Aktiviteleri ve Metodları
Değerlendirme
| Yarıyıl (Yıl) İçi Etkinlikleri | Adet | Değer |
|---|---|---|
| Ara Sınav | 1 | 100 |
| Toplam | 100 | |
| Yarıyıl (Yıl) Sonu Etkinlikleri | Adet | Değer |
| Final Sınavı | 1 | 100 |
| Toplam | 100 | |
| Yarıyıl (Yıl) İçi Etkinlikleri | 40 | |
| Yarıyıl (Yıl) Sonu Etkinlikleri | 60 | |
Staj Durumu
İş Yükü Hesaplaması
| Etkinlikler | Sayısı | Süresi (saat) | Toplam İş Yükü (saat) |
|---|---|---|---|
| Ara Sınav | 1 | 2 | 2 |
| Final Sınavı | 1 | 2 | 2 |
| Derse Katılım | 14 | 3 | 42 |
| Bireysel Çalışma | 17 | 2 | 34 |
| Ara Sınav İçin Bireysel Çalışma | 1 | 30 | 30 |
| Final Sınavı içiin Bireysel Çalışma | 1 | 40 | 40 |
| Toplam İş Yükü (saat) | 150 | ||
Program ve Öğrenme Çıktıları İlişkisi
| PÇ 1 | |
| ÖÇ 1 | |
| ÖÇ 2 | |
| ÖÇ 3 | |
| ÖÇ 4 | |
| ÖÇ 5 | |
| ÖÇ 6 |
* Katkı Düzeyi : 1 Çok düşük 2 Düşük 3 Orta 4 Yüksek 5 Çok yüksek