Prolog mantıksal programlama dili olmasına rağmen prosedürel programlamaya da izin vermektedir. Prolog doğruluğu önceden belirlenmiş gerçeklerden oluşur. Kesin olan gerçekler programa tek tek girilir, bunların arasında ilişkiler belirlenir, sistemden output(çıktı) alınacağı zaman bu ilişkiler göz önünde bulundurularak çıktı alınır. Prolog aynı zamanda çözümün ne olacağını değil problemin ne olduğunu tanımlar. Prolog programlama dilinde; -Nesneler hakkındaki>>>
Yazar Arşivleri: Ahmet Cevahir ÇINAR
17
Eki
Eki
Yapay zeka terimi ilk defa 1956’da kullanılmıştır. John McCarthy Dartmouth Konferansında ilk kez “yapay zeka” terimini bilgisayar terminolojisine sokmuştur.
Zeka insanın algılama, düşünme, muhakeme, yargılama gibi sezgisel becerilerini kullanarak doğadaki olayları çözümleme yeteneği diyebiliriz. Yapay zeka yukarıdaki özelliklere sahip olup, organik(biyolojik) olmayan sistemler olarak tanımlanabilir. Yapay zeka sistemleri, insan gibi düşünmesi istenen sistemlerdir. İnsan gibi karar verip, insanın olmadığı yerlerde karar verme yetisine sahip sistemlerdir.
“XOR-based arti ficial bee colony algorithm for binary optimization” başlıklı çalışma Mustafa Servet KIRAN ve Mesut GÜNDÜZ tarafından yapılmış olup “Turkish Journal of Electrical Engineering & Computer Sciences” dergisinde 2013 yılında basılan 21.sayısının 2307-2328.sayfalarında basılmıştır. Zhu ve Kwong [G. Zhu, S. Kwong, “Gbest-guided artifi cial bee colony algorithm for numerical function algorithm”, Applied Mathematics and Computation, Vol.>>>
“Parameter Adaptation for Differential Evolution in solving Very Large Scale Global Optimization” başlıklı çalışma Renee Seah tarafından 2,5 dakikada kısa ve öz bir şekilde İngilizce altyazılı olarak sunulmuştur. Sempozyumlarda ve kongrelerde hızlıca konuyu anlatmaya yönelik güzel bir örnek olabilir.
11
Eki
Eki
Bir sistemin davranışını matematik dilini kullanarak tanımlayan soyut modellere matematiksel model denir.
Benchmark Functions for Large-Scale Global Optimization(Büyük Ölçekli Küresel Optimizasyon için Kriter Fonksiyonları) Son yıllarda çok sayıda metasezgisel optimizasyon algoritması üretilmiştir. Simulated Annealing (SA), Evolutionary Algorithms (EAs), Differential Evolution (DE), Particle Swarm Optimization (PSO), Ant Colony Optimization (ACO) ve Estimation of Distribution Algorithms (EDAs) bunlardan bazılarıdır. Bu çözücüler büyük ve kompleks problemlerle karşılaştıkları zaman çözüm yeteneklerini>>>
Transpozesi ile tersi birbirine eşit olan matrise ortogonal matris denir. Özellikle döndürme işlemlerinde kullanılan matristir. Ortogonal matrislere bazı örnekler:
“GEZGİN SATICI PROBLEMİ İÇİN SEZGİSEL METOTLARIN PERFORMANS ANALİZİ” başlıklı çalışma Mustafa GERŞİL ve Asil ALKAYA tarafından yapılmış ve XI. Üretim Araştırmaları Sempozyumunda 23-24 Haziran 2011’de sunulmuştur. Çalışmada GSP; Evrimsel Algoritma, Benzetim Tavlaması ve Genetik Algoritma, Benzetim Tavlaması ve Rastgele Arama Algoritması çözülmüş, en iyi sonucu Evrimsel Algoritmanın verdiği belirlenmiştir. Çalışmayı indirmek için: gezgin-satici-problemi-icin-sezgisel-metotlarin-performans-analizi
SELÇUK ÜNİVERSİTESİ LİSANSÜSTÜ EĞİTİM VE ÖĞRETİM YÖNETMELİĞİ’nde beni ilgilendiren kısımlar… -Doktora programı, 60 AKTS krediden az olmamak koşuluyla en az 9 adet ders, seminer, uzmanlık alan dersi, yeterlik sınavı, tez önerisi, tez çalışmasından oluşur. -Doktora programı, dersler, seminer, uzmanlık alan dersi, diğer faaliyetler ve doktora tezi için en az 240 AKTS kredisinden oluşur. -Araştırma ve>>>