OpenCog

OpenCog, bir açık kaynak yapay zeka çerçevesi oluşturmayı amaçlayan bir projedir.OpenCog Prime, insan eşdeğeri yapay genel zeka insan eşdeğeri yapay genel zeka (AGI), tüm sistemin ortaya çıkan fenomen oluşturmak üzere tasarlanmış bir dizi etkileşimli bileşeni tanımlayan robot ve sanal somutlaşmış biliş için bir mimaridir. OpenCog Prime'ın tasarımı esas olarak Ben Goertzel 'in çalışması iken, OpenCog çerçevesi geniş tabanlı AGI araştırması için genel bir çerçeve olarak tasarlanmıştır. OpenCog kullanan araştırmalar dergilerde yayınlandı ve yıllık Yapay Genel Zeka Konferansı da dahil olmak üzere konferans ve çalıştaylarda sunuldu. OpenCog, GNU Affero Genel Kamu Lisansı koşulları altında yayınlanmaktadır.

OpenCog, asıl olarak Novamente LLC'nin tescilli "Novamente Cognition Engine" (NCE) kaynak kodunun 2008 yılında piyasaya sürülmesine dayanıyordu. Orijinal NCE kodu PLN kitabında tartışılmaktadır (ref aşağıda). OpenCog'un devam eden gelişimi, Yapay Genel Zeka Araştırma Enstitüsü (AGIRI), Google Summer of Code projesi, Hanson Robotics, SingularityNET ve diğerleri tarafından desteklenmektedir.

Bir grafik veritabanı, "atomları" tutan AtomSpace olarak adlandırılan (yani, terimler, atomik formül ler, cümleler ve ilişkiler) "değerleri" (değerlemeler veya yorumlar, atom başına anahtar-değer veritabanı lar) olarak düşünülebilir. Değerin bir örneği doğruluk değeri olabilir. Atomlar küresel olarak benzersizdir, değişmezdir ve indekslenir (aranabilir); değerler kısacık ve değişkendir.

Atomese olarak adlandırılan, genel bilgi temsili için kullanılan, kavramsal grafik ve anlamsal ağ 'ların yanı sıra, bu tür grafikleri işlemek için gereken kuralları (yeniden yazma anlamında) temsil etmek ve saklamak.

Bir tip alt sistemi 'ni kodlayan, tip yapıcı ve fonksiyon tipi' ler dahil olmak üzere önceden tanımlanmış atomların bir koleksiyonu. Bunlar değişken türlerini, terimleri ve ifadeleri belirtmek için kullanılır ve değişkenleri içeren genel grafiklerin yapısını belirtmek için kullanılır.

Hem işlevsel hem de zorunlu programlama stillerini kodlayan önceden tanımlanmış atomlar koleksiyonu. Bunlar, serbest değişken leri bağlı değişken lere bağlamak için lambda soyutlaması 'nı ve aynı zamanda [beta indirgemesini] gerçekleştirmek için içerir.

Genel bir grafik sorgu motorunun bir parçası olarak yerleşik bir doyurulabilirlik modülo teorileri çözücüyü kodlayan, grafik ve hipergraf desen eşlemesi gerçekleştirmek için önceden tanımlanmış atomların bir koleksiyonu (izomorfik alt grafik keşfi). Bu, yapılandırılmış bir sorgu dili (SQL) fikrini genel grafik sorguları alanına genelleştirir; bir grafiğin genişletilmiş bir biçimidir sorgu dili.

Bir ileri zincirleyici ve geri zincirleme dahil olmak üzere genel bir kural motoru, kuralları birbirine bağlayabilen. Kurallar, tam olarak grafik sorgu alt sisteminin grafik sorgularıdır ve bu nedenle, kural motoru belirsiz bir şekilde sorgu planı 'na benzer. Bayesci çıkarım veya bulanık mantık gibi farklı çıkarım motoru ları ve akıl yürütme sistemi türlerinin veya kısıtlama çözücü ler veya hareket planlayıcı lar pratik görevlerin uygulanmasına izin verecek şekilde tasarlanmıştır.

Ekonomik teoriye dayalı, ECAN olarak adlandırılan bir dikkat dağıtım alt sistemi. Bu alt sistem, çıkarım ve zincirleme sırasında karşılaşılan arama olasılıklarının birleşimsel patlamasını kontrol etmek için kullanılır.

Olasılıklı mantık ağı 'na (PLN) dayalı bir olasılıklı akıl yürütme motoru uygulaması. Mevcut uygulama, mantıksal çıkarım 'ın belirli kurallarını (modus ponens gibi) birbirine zincirlemek için ve her kesintiye bir olasılık ve güven atayan bazı çok özel matematiksel formüllerle birlikte kural motorunu kullanır. Bu alt sistem, Bayesci çıkarımın değiştirilmiş bir formuyla çalışan belirli bir tür ispat asistanı olarak düşünülebilir.

Meta-Optimize Edici Anlamsal Evrimsel Arama veya MOSES olarak adlandırılan olasılığa dayalı genetik program evrimi. Bu, görevleri yerine getiren kısa Atomese programları koleksiyonlarını keşfetmek için kullanılır; bunlar bir tür karar ağacı öğrenimi gerçekleştirerek bir tür karar ormanı veya daha doğrusu bunun bir genellemesiyle sonuçlanan bir tür olarak düşünülebilir.

Bağlantı Dilbilgisi 'nden oluşan ve kısmen hem Anlam-Metin Teorisi hem de Dick Hudson'ın Kelime Dilbilgisi nden ilham alan ve Atomese'de anlamsal ve sözdizimsel ilişkileri kodlayan doğal bir dil girdi sistemidir.

2008 yılında, daha önce Singularity Institute for Artificial Intelligence (SIAI) olarak adlandırılan Machine Intelligence Research Institute (MIRI) birkaç araştırmacı ve mühendise sponsor oldu. OpenCog'un 2008 ve 2009'da Google Summer of Code 'a katılmasından bu yana açık kaynak topluluğundan birçok katkı yapılmıştır. Şu anda MIRI artık OpenCog'u desteklememektedir. OpenCog, Hong Kong hükümeti, Hong Kong Polytechnic University, Jeffrey Epstein VI Foundation ve Hanson Robotics dahil olmak üzere çeşitli kaynaklardan fon ve destek almıştır. OpenCog projesi şu anda SingularityNET ve Hanson Robotics ile bağlantılıdır.

Diğer bilişsel mimari 'lere benzer şekilde, temel amaç, üç boyutlu avatar karakterler olan sanal insanlar yaratmaktır. Amaç, duygular, jestler ve öğrenme gibi davranışları taklit etmektir. Örneğin, yazılımdaki duygu modülü sadece programlandı çünkü insanların duyguları var. Yapay Genel Zeka, insanların zekasını simüle ettiği takdirde gerçekleştirilebilir.