PROLOG
PROLOG
Tanım
Yapay zeka araştırmalarında ve bilişsel modellemede kullanılan, mantıksal çıkarım ve birleştirme (unification) temelli yüksek seviyeli bir programlama dilidir.
Örnek Vaka / Uygulama
Bir bilişsel psikoloji laboratuvarında insan mantık yürütme hatalarını modelleyen bir araştırmacı, PROLOG kullanarak 'Eğer p ise q' kuralını ve tümdengelim kurallarını sisteme girer; sistem otomatik olarak veritabanındaki önermeler üzerinden geriye doğru zincirleme (backward chaining) yaparak olası çıkarımları ve çelişkileri test eder.
Derin Analiz
Bilişsel bilimler ve yapay zeka alanında PROLOG, insan beynindeki kurallara dayalı akıl yürütme süreçlerini simüle etmek için geliştirilmiş deklaratif bir dildir. Geleneksel prosedürel dillerden farklı olarak, programcı ne yapılacağını adım adım kodlamak yerine, nesneler arasındaki ilişkileri ve mantıksal kuralları tanımlar. Çıkarım mekanizması tümdengelim (deduction) mantığına dayanır; ancak pratik hesaplama kısıtlamaları ve geri izlemeyi (backtracking) kontrol eden 'kesme' (cut) operatörü gibi pragmatik uzlaşmalar nedeniyle matematiksel olarak her zaman kusursuz bir sesliliğe (soundness) sahip değildir. Dilin en büyük bilişsel ve hesaplamalı gücü, üretim sistemi (production system) uygulamalarında veri yapılarını eşleştiren gelişmiş birleştirme algoritmasından gelmektedir.
Etimoloji
Fransızca 'PROgrammation en LOGique' (Mantıksal Programlama) ifadesinin kısaltmasından türetilmiştir.
Karıştırmayın
Python veya C++ gibi imperatif (buyurgan) programlama dilleriyle karıştırılır; ayırt edici fark, PROLOG'un algoritma yazmaktan ziyade mantıksal ilişkileri ve kuralları tanımlayan deklaratif bir yapay zeka dili olmasıdır.
Keşfetmeye Devam Edin
Yapay Zeka
Yapay Zeka
Artificial İntelligence (AI)
İnsan zihninin bilişsel işlevlerini (öğrenme, akıl yürütme, problem çözme ve algılama) simüle etmeyi amaçlayan bilgisayar bilimi alt disiplinidir.
İncele
Tümdengelim
Tümdengelim
Deduction
Genel bir kural veya öncülden, mantıksal geçerlilik kurallarına bağlı olarak özel bir sonuç çıkarma süreci.
İncele