BLG345E Seminer ve Eğitim: TPTP Dünyası – Otomatik Akıl Yürütme için Altyapı
İstanbul Teknik Üniversitesi · Bilgisayar ve Bilişim Fakültesi · İstanbul
Yayın: 13 Ekim 2026 · Toplandı: 5 saat önce
BLG345E Mantık ve Hesaplanabilirlik dersi kapsamında, Miami Üniversitesi Bilgisayar Bilimleri Profesörü Prof. Dr. Geoff Sutcliffe tarafından “TPTP Dünyası” başlıklı bir seminer ve eğitim düzenlenecektir. TPTP Dünyası, Otomatik Teorem İspatlama (ATP) topluluğunun araştırma, geliştirme ve uygulama süreçlerinde kullandığı köklü bir altyapıdır. Konuşmada TPTP Dünyası’nın temel özellikleri ve hizmetleri, başarılı uygulama örnekleri ve ATP’nin LLM gibi sembolik olmayan yapay zekâ sistemlerine güvenilir bir temel oluşturarak nörosembolik yapay zekâ sistemlerinin geliştirilmesindeki rolü ele alınacaktır.
📅 Tarih: 3 Kasım 2026, Salı
🕤 Saat: 09:30
📍 Yer: İTÜ Bilgisayar ve Bilişim Fakültesi, Ana Konferans Salonu
Katılım herkese açıktır.
Bu metin İstanbul Teknik Üniversitesi sitesinden otomatik olarak alınmıştır. Tarih, başvuru koşulları ve ekler için kaynağı esas alın.