http://swish.swi-prolog.org/ sayfasında bulunan Online Prolog derleyicisi ile aşağıdaki programı çalıştırarak çeşitli denemeler yaptım. Kodlar: parent(pam, bob). parent(tom, bob). parent(tom, liz). parent(bob, ann). parent(bob, pat). parent(pat,jim). predecessor(X, Z):-parent(X, Z). predecessor(X, Z):-parent(X, Y),predecessor(Y, Z). Sorgu: predecessor(tom, pat). Sonuç: Doğru. Çalışmalar sırasında tuttuğum not:
Yıllık Arşivler: 2016
Prolog’ta önemli olan doğal hayattaki cümleleri Prolog programına anlatmaktır. Bizim konuştuğumuz kelimeleri, cümleleri Prolog direkt olarak anlayamaz. Bu cümleleri bizim Prolog’un anlayacağı dile çevirmemiz gerekmektedir. Aşağıdaki örneklere bakacak olursak bunu görebiliriz: Bütün çocuklar kısadır. kisa(X):-cocuk(X). Bütün erkek çocuklar arabaları sever. sever(X,araba):-erkek(X),cocuk(X). Bütün çocukların annesi vardır. var(X,anne):-cocuk(X). Sebzeyi hiçbir çocuk sevmez. sevmez(X,Y):-sebze(Y), cocuk(X). Çocuğunu döven öğretmeni>>>
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>>>
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: