• Bağış
  • bilgisayar felsefesi

    WOLG (Genelliğini Kaybetmeden)

    Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin de temellerini oluşturan matematik’te kullanılan bir tabirdir. İngilizcede “without loss of generality” kelimelerinin baş harflerinden oluşur ve Türkçede “genelliğini kaybetmeden” şeklinde kullanılabilir. Genelde matematiksel bir ispat yapılması veya bir çıkarım sırasında kullanılır. Buradaki genellik ile kastedilen bir ispattan veya çıkarımdan önceki adımda kabul edilen genel durumun, ispatın sonuna [...]

    Şadi Evren ŞEKER tarafından, 01/06/2010 tarihinde yazıldı. | Bilgisayar Matematiği, bilgisayar felsefesi | A yorum var
    Tags:

    Zamansal Mantıklarda Etki Alanı Yapısı (Temporal Domain Structure)

    Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin özellikle yapay zeka konusu altında yer alan ve zamansal modelleme / problem çözümü konularında kullanılan bir yapıdır. Bu yazıyı, zamansal mantıklar (temporal logic) üzerinde çalışan bir etki alanı sınıflandırması olarak düşünmek mümkündür. Yukarıdaki şekilde, bu seviyelendirme 3 katmanda gösterilmiştir. Buna göre bir zamansal mantığın (temporal logic) seviyesi, üzerine [...]

    Şadi Evren ŞEKER tarafından, 13/04/2010 tarihinde yazıldı. | bilgisayar felsefesi, yapay zeka (artificial intelligence) | A yorum var

    Cardinality (Sayısallık)

    Yazan : Şadi Evren ŞEKER 1. Rasyonel / Tamsayı ilişkisi 2. Sayılabilirlik (Countability) 3. Reel / Tamsayı ilişkisi Şayet aynı isme sayıp ERD (Entity relationship diagram) üzerindeki sayısallık konusu ile ilgili yazıyı arıyorsanız bu bağlantıdan erişebilirsiniz. Algoritma analizi (algorithm analysis) ve hesaplama teorisinde (theory of computation) sıkça kullanılan anlamıyla bir kümenin eleman sayısını belirtir. Ayrıca [...]

    İkinci Derece Mantık (Second Order Logic)

    Yazan : Şadi Evren ŞEKER Bilgisayar bilimleri de dahil olmak üzere, felsefe, matematik veya dilbilim gibi pek çok alanda kullanılan bir mantık modellemesinin ismidir. Buna göre modellenecek sistemdeki varlıklar ve bu varlıklar üzerine uygulanacak olan işlemler ayrı ayrı ele alınır ve sistemde modellenen hem varlıkların hem de işlemlerin geçerli olduğu bir etki alanından söz edilebilir. [...]

    Şadi Evren ŞEKER tarafından, 27/03/2010 tarihinde yazıldı. | bilgisayar felsefesi | A yorum var
    Tags: , , , ,

    Birinci Derece Mantık (First Order Logic)

    Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin de aralarında bulunduğu, başta felsefe olmak üzere, matematik ve dilbilim gibi alanlarda kullanılan bir mantık modelidir. Bu modelin özelliği kıyas ve tümden gelim yaklaşımına göre ispatlanabilir özellikte olmasıdır (deductive). Yani bir makine, veya matematiksel model tarafından bu mantık modelindeki gösterimlerin ispatlanması (verification) veya reddedilmesi (falsification) mümkündür. Birinci derece [...]

    Şadi Evren ŞEKER tarafından, 24/03/2010 tarihinde yazıldı. | Bilgisayar Matematiği, bilgisayar felsefesi | A yorum var

    Zeki Vekiller (Akıllı Ajanlar, Intelligent Agents, Zeki Etmenler )

    Yazan : Şadi Evren ŞEKER Zeki vekiller (etmenler, ajanlar) kavram olarak, bilgisayar bilimlerine, felsefe, biyoloji ve ekonomi alanındaki çalışmalardan sonra girmiştir. Bu alanlardaki anlamı ve kullanımı, genellikle herhangi bir işin farklı bir vekil tarafından yürütülmesi olarak anlaşılabilir. Bilgisayar bilimlerin açısından zeki kelimesi, bir vekilin herhangi bir işlemi belirli inisiyatifler kullanarak yerine getirmesidir. Örneğin zeki olmayan [...]

    Mere Paradoksu (Mere’s Paradox)

    Yazan : Şadi Evren ŞEKER Olasılık teorisinde kullanılan ve bir toplumun nüfusu ve yaşam standartları arasında bir çelişki oluşturan paradokstur. Paradoksun tanımında, bir toplumun refah seviyesinin yaşamaya yetecek kadar olması (yani olabilecek en düşük seviyede olması) ve nüfusunun azami seviyede olması (olabilecek en çok sayıda olması), topluluğun az nüfusa ve yüksek refah seviyesine sahip olmasına [...]

    Şadi Evren ŞEKER tarafından, 29/12/2009 tarihinde yazıldı. | bilgisayar felsefesi | A yorum var

    Güvercin Yuvası Kaidesi (Pigeonhole Principle)

    Yazan : Şadi Evren ŞEKER Bilgisayar bilimleri de dahil olmak üzere pek çok matematik temelli bilim ve mühendislik alanında kullanılan oldukça basit bir umdedir. İsmini güvercin yuvalarından alan bu kaideye göre yuva sayısından fazla güvercin varsa, ve bütün güvercinler bir yuvaya girecekse, en az bir yuvaya birden fazla güvercin girmek zorundadır. Bu durumu sembollerle göstermemiz [...]

    Şadi Evren ŞEKER tarafından, 10/12/2009 tarihinde yazıldı. | Bilgisayar Matematiği, algoritma analizi (teory of algorithms), bilgisayar felsefesi | A yorum var

    Satrançta Büyük Usta Problemi

    Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde özellikle veri güvenliği konusunda kullanılan sıfır bilgi ispatı (zero knowledge proof) örneklerinden birisidir. Orijinal ismi chess grandmaster problem olarak geçer. Problemi basitçe şu şekilde tanımlayabiliriz. Bir gün satrancı hiç bilmeyen (veya büyük usta seviyesinde bilmeyen) bir oyuncu kalkıp size bir büyük ustayı yeneceğini veya en azından beraber kalacağını [...]

    Şadi Evren ŞEKER tarafından, 15/09/2009 tarihinde yazıldı. | Veri Güvenliği(Cryptography), bilgisayar felsefesi | A yorum var

    Matematiksel Tümevarımın ikinci Teoremi (Second principle of mathematical induction)

    Yazan : Şadi Evren ŞEKER Temel olarak matematiksel tümevarımın kullandığı yaklaşıma benzer. Bir farkı ispatı bir seri veya seri üreten bir fonksiyon üzerinden değil de ayrı ayrı örnekler üzerine bina etmesidir.  Yani matematiksel tümevarım yönteminde aşağıdaki şekilde bir yazım mümkündür: Burada dikkat edilirse sayıların belirli bir üretici fonksiyondan çıkması ve sonucun bir fonksiyonda toparlanabilmesi hedeflenir. [...]

    Şadi Evren ŞEKER tarafından, 21/07/2009 tarihinde yazıldı. | Bilgisayar Matematiği, bilgisayar felsefesi | A yorum var

    Bağlam Yönelimli Programlama (Aspect Oriented Programming)

    Yazan : Şadi Evren ŞEKER Yazılım mühendisliğinde kullanılan bir programlama yaklaşımıdır. AOP olarak kısaltılmış halde de geçer. Türkçe literatüründe bağlam / cephe / kesit / görünüm yönelimli programlama kelimelerinin hepsi farklı kaynaklarda kullanılmıştır. 1990′lı yılların ortalarında özellikle JAVA ve nesne yönelimli programlama ihe ivme kazanmış bir yaklaşımdır. Kısaca aop’yi tanımlamak gerekirse bir program geliştirilmesi sırasında [...]

    Şadi Evren ŞEKER tarafından, 15/07/2009 tarihinde yazıldı. | Yazılım Mühendisliği (Software Engineering), bilgisayar felsefesi | A yorum var

    Gellish (Kontrollü Doğal Dil)

    Yazan : Şadi Evren ŞEKER Gellish dileri sınırları ve kuralları insanlar tarafından belirlenen ve istisanası bulunmayan dillerdir. Bu anlamda programlama dilleri de dahil olmak üzere çeşitli kullanım alanları vardır. Etimolojik olarak Genel Mühendislik Dili (Generic Engineering Language) kelimelerinin baş harflerinden oluşan kelime günümüzde mühendislik uygulamalarından farklı alanlarda da kullanılmaktadır. Genellikle karmaşaya yer verilmek istenmeyen açık [...]

    Şadi Evren ŞEKER tarafından, 29/06/2009 tarihinde yazıldı. | Doğal Dil İşleme (NLP), bilgisayar felsefesi | A yorum var

    Karar Problemi (Decision Problem)

    Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinin de içinde bulunduğu pek çok bilim ve mühendislik dalını yakından ilgilendiren hesaplanabilirlik teorisi (computability theory) konusundaki problemlerden birisidir. Problemi basitçe tanımlama gerekirse bir koşulun (ki biz buna karar ismini vereceğiz) sağlanıp sağlanamadığını evet-hayır şeklinde ikili olarak (duality) sorgulamaktır. Örneğin x gibi bir sayının ikiye tam bölünüp bölünememesi bir [...]

    Şadi Evren ŞEKER tarafından, 28/06/2009 tarihinde yazıldı. | Bilgisayar Matematiği, algoritma analizi (teory of algorithms), bilgisayar felsefesi | A yorum var

    Özyineli sayılabilir küme (Recursively Enumerable Sets)

    Yazan : Şadi Evren ŞEKER Hesaplanabilirlik teorisine (Computability Theory) bir sayı kümesi elemanlarının tamamının bir algoritma için çalışıp son bulma şartını sağlıyorsa özyineli sayılabilir küme olarak sınıflandırılır. Daha basit bir anlatımla kümede bulunan bütün elemanlar bir algoritma için, o algoritmanın bitmesini sağlayacak elemanlar olmalıdır. Daha akademik bir tanımla bir özyineli hesaplanabilir fonksiyon (Recursively Computable Function) [...]

    Şadi Evren ŞEKER tarafından, 25/06/2009 tarihinde yazıldı. | Bilgisayar Matematiği, algoritma analizi (teory of algorithms), bilgisayar felsefesi | A yorum var

    Hesaplanabilir Fonksiyon (Computable Function)

    Yazan : Şadi Evren ŞEKER Hesaplanabilirlik teorisinin (Computability Theory) temel taşlarından birisi olan özel bir fonksiyon (function) tipidir. Bu fonksiyonların özelliği herhangi bir formal dilbilgisi (formal grammer) yardımıyla açıklanmayan fonksiyonlar olmalarıdır. Genellikle karıştırıldıkları için karmaşıklık teorisi (complexity theory) ile hesaplanabilirlik teorisi (computability theory) arasındaki farkı bu fonksiyonlar üzerinde de vurguluamakta yarar vardır. Basitçe bir fonksiyonun [...]

    Şadi Evren ŞEKER tarafından, tarihinde yazıldı. | Bilgisayar Matematiği, algoritma analizi (teory of algorithms), bilgisayar felsefesi | A yorum var

    Özyineli Küme (Recursive Set)

    Yazan : Şadi Evren ŞEKER Hesaplanabilirlik teorisine (Computability Theory) göre bir doğal sayılardan oluşan bir kümedeki bütün elemanlar bir algoritmanın belirli bir zaman sonra sona ermesini sağlıyorsa bu kümeye özyineli küme ismi verilir. Şayet kümenin elemanlarından bir veya daha fazlası algoritmanın belirli bir zamanda bitmesini sağlamıyorsa bu kümeye hesaplanamaz (noncomputable) veya karar verilemez (undecidable) ismi [...]

    Şadi Evren ŞEKER tarafından, tarihinde yazıldı. | Bilgisayar Matematiği, algoritma analizi (teory of algorithms), bilgisayar felsefesi | A yorum var

    Anlamsal Bağ (Semantic Link)

    Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde yapay zeka konusunda özellikle de doğal dil işleme ile ilgili yapılan çalışmaların önemli bir kısmını anlambilim (sematic) kaplar. Kısaca bir metin veya ortamdan elde edilen bilginin anlamını çıkarmak ve bu anlamı kullanışlı hale getirmek anlambilimin (semantics) çalışma alanına girmektedir. Anlambilimsel bağlar ise bu çıkarımı ve gösterimi yapılan bilgilerin [...]

    Şadi Evren ŞEKER tarafından, 24/06/2009 tarihinde yazıldı. | Doğal Dil İşleme (NLP), bilgisayar felsefesi, yapay zeka (artificial intelligence) | A yorum var

    Küme Teorisi (Set Theory)

    Yazan : Şadi Evren ŞEKER Bilgisayar bilimleri de dahil olmak üzere pekçok bilim ve mühendisliğin kullandığı kümeler teorisinde göre bir küme basitçe boş veya belirli sayıda elamanı bulunan grubun ismidir. Buna göre bir kümenin elemanları bulunabilir ve ayrıca kümelere kolaylık olması için isimler verilebilir. Küme teorisine göre bir eleman bir kümede bir kere bulunabilir yani [...]

    Şadi Evren ŞEKER tarafından, tarihinde yazıldı. | Bilgisayar Matematiği, bilgisayar felsefesi | A yorum var

    Güç Kümesi (Kuvvet Kümesi, Power Set)

    Yazan : Şadi Evren ŞEKER Ayrık matematikte (Discrete Math) kullanılan bir terimdir. Basitçe bir kümenin boş küme de dahil olma üzere bütün altkümelerini içere kümedir. A2 olarak da gösterilir , A kümesinin kuvvet kümesi olarak okunur (bazı kaynaklarda güç kümesi olarak da geçer) A = {a, b} ise 2 {a, b}= {{a, b}, {a}, {b}, [...]

    Şadi Evren ŞEKER tarafından, tarihinde yazıldı. | Bilgisayar Matematiği, bilgisayar felsefesi | 1 yorum var

    Malumat Çıkarımı (Knowledge Retrieval)

    Yazan : Şadi Evren ŞEKER Malumat çıkarımı aslında bilişsel bilimin (cognitive science) çalışma alanlarından olmakla beraber insanlığın çok eskiden beri kendi adına yaptığı bir eylemin ismidir. Basitçe insanoğlunun gözlemleyerek, okuyarak, dinleyerek, düşünerek veya benzeri eylemlerle dış veya iç dünyasından bir malumat elde etme işlemidir. Bilgisayar bilimleri açısından bu eylemin önemi, bu eylemin bilgisayarlar tarafından yapılmasının [...]

    Şadi Evren ŞEKER tarafından, tarihinde yazıldı. | bilgisayar felsefesi, yapay zeka (artificial intelligence) | A yorum var

    Malümat İfadesi (Knowledge Representation)

    Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde oldukça önemli konulardan biriside işlenen veri, bilgi, malumat veya ifranın (data,information,knowledge, wisdom) gösterilmesi ve işlenebilmesidir. Temel olarak bilgisayar bilimlerinin yapay zeka konusunun araştırma alanına giren malumat ifadesi konusu “nasıl düşünüyoruz?” sorusuna da cevap aramaktadır. Aslında yapay zeka konusunda yapılan çalışmaların neredeyse tamamı insanı model alan ve insanın düşünce [...]

    Şadi Evren ŞEKER tarafından, 22/06/2009 tarihinde yazıldı. | bilgisayar felsefesi, yapay zeka (artificial intelligence) | A yorum var

    Pragma (Edimbilim, kullanımbilim, Fiili, Ameli)

    Yazan : Şadi Evren ŞEKER Genel olarak dildeki cümlelerin ve kelimelerin anlattıklarından daha ötede bulunan anlamı ifade eder. Örneğin bir kişiye “saatin var mı?” diye bir soru sorulursa buradaki anlam aslında saatin kaç olduğunun sorulmasıdır. Yani bu cümledeki pragmatik ifade saatin sorgulanmasıdır. Yukarıdaki bu soruya kişi “Evet var” şeklinde bir cevap verirse sorudaki pragmayı kaçırmış [...]

    Şadi Evren ŞEKER tarafından, 15/06/2009 tarihinde yazıldı. | Doğal Dil İşleme (NLP), bilgisayar felsefesi | A yorum var

    Haber (Predicate)

    Yazan : Şadi Evren ŞEKER Bilgisayar bilimlerinde önemli bir rol oynayan dilbilimi ve dil felsefesinin önemli unsurlarından birisidir. Bir cümlenin iki önemli unsurundan birisi olarak kabul edebiliriz. Haber-müpteda ilişkisi (Subject-Predicate) veya Özne-yüklem ilişkisi de denilebilir. İçerik 1. Haberin dilbilimsel incelemesi 2. Dilbiliminde haber sınıfları a. Hal haberleri b. kişisel haberler c. Nevi Haberler 3. Dağıtıcı [...]

    Şadi Evren ŞEKER tarafından, 07/05/2009 tarihinde yazıldı. | Doğal Dil İşleme (NLP), bilgisayar felsefesi | A yorum var

    Şekli Mantık (Kipler Mantığı, Modal Logic)

    Yazan : Şadi Evren ŞEKER Mantığın bir türü olan şekli mantığında şekiller (modal) bir kaziyenin (önerme) doğruluğunu göstermek için kullanılır. Genel olarak şekil mantığında gösterilen 3 tip şekil bulunur: olabilirlik (possibility) ihtimal (probability) gereklilik (necessity) Doğal dil açısından ve dilbilim gözüyle şekli mantığıa bakarsak, aslında yukarıdaki bu liste ve şekil mantığının dayanağı İngilizcede açıkça kullanılan [...]

    Şadi Evren ŞEKER tarafından, tarihinde yazıldı. | Doğal Dil İşleme (NLP), bilgisayar felsefesi | A yorum var

    Zamansal Mantık (Temporal Logic)

    Yazan : Şadi Evren ŞEKER Bilgisayar mühendisliğinin önemli parçalarından birisi de modellemedir. Çeşitli alanlarda veri modellemesi yapılan bilgisayar bilimlerinin, modellemeye ihtiyaç duyduğu bir konu da zaman modellemesidir. Yani kaziyelerin (önerme, predicate) ifade ettikleri zamanı modellemek için bir sistem geliştirilmesi gerekmektedir. Aslında antik yunan ve Aristo zamanından beri üzerinde çalışılan zaman modellemesi konusunda yapılan ilk çalışmalar [...]

    Şadi Evren ŞEKER tarafından, 06/05/2009 tarihinde yazıldı. | Doğal Dil İşleme (NLP), bilgisayar felsefesi | A yorum var