Quick Access


Bu Dergi DOI ve Crosscheck üyesidir


Summary


Betimleyici Mantıklara Giriş
Yapay zekâ çalışmalarının merkezinde bulunan bilginin makinelerde nasıl temsil edileceği problemini çözmek için araştırmacılar doğal dile yakın ifade gücüne sahip ve berimsel karmaşıklıktan uzak formel sistemleri oluşturmaya odaklanır. Bu sistemlerden biri olan betimleyici mantıklar hem bilgisi sunulacak alanı iki ayrık yapıda -terminolojilerin ve alana ait özelleştirmelerin ayrı ayrı oluşturulduğu yapılarda- doğal dile yakın betimlemelerle sunar hem de karar verilebilir yapılarla alan bilgisini biçimselleştirirler. Berimsel ve ontolojik anlamda güçlü olan bu formel sistemlerin açık dünya varsayımını usavurmada uygulamaları, onlara sunulan enformasyon üzerinde farklı modeller üretebilme gücünü verir. Böylece betimleyici mantıklar ile oluşturulan sistemler yapay zekâ araştırmalarının en büyük hedeflerinden olan otomatikleştirilmiş bilgi çıkarımını destekleyecektir. Bu formel sistemlerin önemi ve kullanım alanı gün be gün artığından, amacımız hem felsefi mantık hem de ontoloji/bilgi mühendisliğine ilgi duyan sistematik felsefe araştırmacıları için betimleyici mantıklara bir giriş yapmak ve bu disiplineler arası araştırma alanını Türkçe olarak tanıtacak yazı dizisinin ilkini sunmaktır.

Keywords
Mantık, betimleyici mantıklar, bilgi temsili, bilgi tabanı, açık dünya varsayımı.

Advanced Search


Announcements

    Duyurular

    Beytulhikme pek çok indeks ve veritabanında dizinlenmektedir. Bunlardan bazıları şunlardır: Academic Journals Database • Akademia Sosyal Bilimler İndeksi (ASOS) • Arastirmax Sosyal Bilimler İndeksi • CiteFactor Academic Scientific Journals • EBSCO TOC Premier • European Reference Index for Humanities and Social Sciences (ERIH Plus) • Genamics Journal Seek • Index Islamicus • International Citation Index (ICI) • İSAM İlahiyat Makaleler Veritabanı • OCLC WorldCat • One Belt, One Road Reference Source • Philosopher’s Index • PhilPapers Index • Polska Bibliografia Naukowa (PBN) • Ulakbim Sosyal ve Beşeri Bilimler Veritabanı • Ulrich's Periodicals Directory • WoS - Emerging Sources Citation Index (ESCI).

     



Address :Ankara Sosyal Bilimler Üniversitesi Felsefe Bölümü, Ulus, ANKARA // Asos Eğitim Bilişim Danışmanlık Otomasyon Yayıncılık Reklam San. ve Tic. Ltd. Şti., ELAZIĞ
Telephone :0850-305-5523 Fax :
Email :beytulhikme2011@gmail.com

Web Yazılım & Programlama Han Yazılım Bilişim Hizmetleri